Publication | Closed Access
Testing object-oriented programs: from formal specification to test scenario generation
20
Citations
18
References
1998
Year
EngineeringSystem TestingProgram AnalysisSoftware TestingVerificationTest OracleFormal MethodsSoftware AnalysisTest AutomationSoftware EngineeringObject-oriented ProgramsTest Data GenerationModel-based TestingFormal VerificationSystem SoftwareSoftware DesignTest Generation
| Year | Citations | |
|---|---|---|
Page 1
Page 1