Publication | Open Access

An orchestrated survey of methodologies for automated software test case generation

Software MaintenanceEngineeringVerificationTest Data GenerationOrchestrated SurveySoftware EngineeringSoftware AnalysisFormal VerificationModel-based TestingTest AutomationSystems EngineeringDesignComputer ScienceSoftware DesignProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsTest Case DesignTest Evolution