An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines | IEEE Conference Publication | IEEE Xplore