M.: Play to test (2006)

by A Blass, Yu Gurevich, L Nachmanson, Veanes
Venue:Formal Approaches to Software Testing, Lect. Notes Comput. Sci