Play to Test

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/11759744_3 ◽

2006 ◽

pp. 32-46 ◽

Cited By ~ 18

Author(s):

Andreas Blass ◽

Yuri Gurevich ◽

Lev Nachmanson ◽

Margus Veanes

Download Full-text