Generating Checking Sequences for Nondeterministic Finite State Machines.

Alexandre Petrenko, Adenilso da Silva Simo, Nina Yevtushenko

Browse the full ICST paper archive.