Publication | Closed Access

An experiment in automatic generation of test suites for protocols with verification technology

EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware AnalysisFormal VerificationModel-based TestingVerification TechnologyTest OracleTest AutomationTest SuitesSystem TestingAutomatic GenerationComputer EngineeringComputer ScienceSoftware DesignProgram AnalysisSoftware TestingFormal Methods