Publications
Filter by
Open menu
2 results for
K. Nagin
The AGEDIS tools for model based testing
Alan Hartman
Kenneth Nagin
2004
UML Satellite Activities 2004
Projected state machine coverage for software testing
G. Friedman
A. Hartman
et al.
2002
ISSTA 2002