TY  - RPRT
TI  - Irreducible Tests for Space Mission Sequencing Software
AU  - Ferguson, Lisa
PY  - 2012
UR  - https://ntrs.nasa.gov/citations/20150005673
ID  - 20150005673
ER  -