W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini. Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application. In 21st International Computer Software and Applications Conference (COMPSAC 97), 11-15 August 1997, Washington, DC, USA. pages 522, IEEE Computer Society, 1997. [doi]