74529515
May 25, 1994
Jul 4, 1995
computer programs for automated white-box structural test-case generation dynamic software testability assessment, mutation, testing, mutation-adequate test-case generation, hardware-failure simulation, catastrophic event prediction, and dynamic software safety analysis
Electrical and Scientific Apparatus