9 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