Herbert Hecht Myron Hecht Dolores R. Wallace Toward More Effective Testing for High-Assurance Systems. 176-181 1997 conf/hase/1997 HASE http://dlib2.computer.org/conferen/hase/7971/pdf/79710176.pdf db/conf/hase/hase1997.html#HechtHW97