TY  - RPRT
TI  - Formal methods for test case generation
AU  - Rushby, John
AU  - De Moura, Leonardo Mendonga
AU  - Hamon, Gregoire
PY  - 2011
UR  - https://ntrs.nasa.gov/citations/20110004217
ID  - 20110004217
ER  -