Prioritized Variable-length Test Cases Generation for Finite State Machines.

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach

Browse the full ICST paper archive.