Publication | Closed Access

Test generation based on control and data dependencies within system specifications in SDL

EngineeringData DependenciesVerificationTest Data GenerationSoftware EngineeringSoftware AnalysisFormal VerificationModel-based TestingTest AutomationSystems EngineeringTest GenerationSystem TestingComputer EngineeringTest FrameworkSoftware DesignProgram AnalysisSoftware TestingFormal MethodsSystem SpecificationsSystem Software