TY  - RPRT
TI  - Automatic Testcase Generation for Flight Software
AU  - Bushnell, David Henry
AU  - Pasareanu, Corina
AU  - Mackey, Ryan M.
PY  - 2008
UR  - https://ntrs.nasa.gov/citations/20090026335
ID  - 20090026335
ER  -