TY  - RPRT
TI  - Experiments with Test Case Generation and Runtime Analysis
AU  - Artho, Cyrille
AU  - Drusinsky, Doron
AU  - Goldberg, Allen
AU  - Havelund, Klaus
AU  - Lowry, Mike
AU  - Pasareanu, Corina
AU  - Rosu, Grigore
AU  - Visser, Willem
AU  - Koga, Dennis
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20030014596
ID  - 20030014596
ER  -