TY  - RPRT
TI  - Model Based Analysis and Test Generation for Flight Software
AU  - Pasareanu, Corina S.
AU  - Schumann, Johann M.
AU  - Mehlitz, Peter C.
AU  - Lowry, Mike R.
AU  - Karsai, Gabor
AU  - Nine, Harmon
AU  - Neema, Sandeep
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20090036803
ID  - 20090036803
ER  -