TY  - RPRT
TI  - Automated Testcase Generation for Numerical Support Functions in Embedded Systems
AU  - Schumann, Johann
AU  - Schnieder, Stefan-Alexander
PY  - 2014
UR  - https://ntrs.nasa.gov/citations/20140013441
ID  - 20140013441
ER  -