Interactive Testing with HOL-TestGen

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

10.1007/11759744_7 ◽

2006 ◽

pp. 87-102 ◽

Cited By ~ 8

Author(s):

Achim D. Brucker ◽

Burkhart Wolff

Download Full-text