Publication | Closed Access

UIOE: a protocol test sequence generation method using the transition executability analysis (TEA)

Mutation-based TestingEngineeringRuntime VerificationProgram AnalysisSoftware TestingVerificationProtocol AnalysisFormal MethodsSoftware AnalysisSoftware EngineeringSystems EngineeringComputer EngineeringTest Data GenerationComputer ScienceFormal VerificationSoftware DesignSecurity Testing MethodTransition Executability Analysis