Publication | Closed Access

Automated flow graph-based testing of object-oriented software modules

Software MaintenanceFlow Graph-based TestingEngineeringProgram AnalysisObject-oriented ModelingSoftware TestingTest AutomationSoftware EngineeringComputer ScienceModel-based TestingSoftware AnalysisSystem SoftwareSoftware DesignFormal Verification