Publication | Closed Access

Dynamic test generation over ontology-based knowledge representation in authoring shell

Knowledge RepresentationEngineeringProgram AnalysisAutomated ReasoningSoftware TestingTest OracleTest AutomationFormal MethodsSoftware EngineeringTest Data GenerationTest Case DesignDynamic Test GenerationModel-based TestingSemanticsSemantic WebSoftware AnalysisSoftware Design