Publications

2 results for K. Nagin

The AGEDIS tools for model based testing
- - Alan Hartman
  - Kenneth Nagin
- 2004
- UML Satellite Activities 2004
Conference paper
Projected state machine coverage for software testing
- - G. Friedman
  - A. Hartman
  - et al.
- 2002
- ISSTA 2002
Conference paper