code: public static <I> Iterator<Word<I>> stateCoverIterator(DeterministicAutomaton<?, I, ?> automaton,
                                                             Collection<? extends I> inputs) {
          return new IncrementalStateCoverIterator<>(automaton, inputs, Collections.emptyList());
      }
docs: Returns an iterator for the sequences of a state cover. Sequences are computed lazily (i.e. as requested by the
  iterators {@link Iterator#next() next} method.
  
  @param automaton
  the automaton for which the cover should be computed
  @param inputs
  the set of input symbols allowed in the cover sequences
  @param <I>
  input symbol type
  
  @return an iterator for the input sequences of the cover.
  
  @see #stateCover(DeterministicAutomaton, Collection, Collection)