Publication | Closed Access
Automating unit and integration testing with partial oracles
12
Citations
20
References
2011
Year
EngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerificationTest OracleFormal MethodsTest AutomationSystems EngineeringSoftware AnalysisPartial OraclesIntegration TestingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1