TY  - RPRT
TI  - Testing for Software Safety
AU  - Chen, Ken
AU  - Lee, Yann-Hang
AU  - Wong, W. Eric
AU  - Xu, Dianxiang
PY  - 2007
UR  - https://ntrs.nasa.gov/citations/20070031170
ID  - 20070031170
ER  -