Publication | Closed Access

On fault coverage of tests for finite state specifications

Reliability EngineeringEngineeringSystem TestingProgram AnalysisAutomated ReasoningSoftware TestingVerificationFault CoverageFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationFault InjectionModel-based Testing