Toward More Effective Testing for High Assurance Systems (1997)

by H Hecht, M Hecht, D Wallace
Venue:In Proceedings of the 2nd IEEE High Assurance Systems Engineering Workshop