Publications

2 results at ISSTA 2004

SABER: Smart analysis based error reduction
- - Darrell Reimer
  - Edith Schonberg
  - et al.
- 2004
- ISSTA 2004
The AGEDIS tools for model based testing
- - A. Hartman
  - K. Nagin
- 2004
- ISSTA 2004

SABER: Smart analysis based error reduction