Andrea Bombarda, Angelo Gargantini. An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. pages 157-166, IEEE, 2020. [doi]
Abstract is missing.