Publication | Open Access
Testing abstract behavioral specifications
11
Citations
12
References
2014
Year
Formal SpecificationEngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerificationAbstract Behavioral SpecificationsTest AutomationFormal MethodsComputer ScienceSoftware AnalysisModel-based TestingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1