TestEra: Specification-Based Testing of Java Programs Using SAT - Concepedia

Concepedia

Publication | Closed Access

TestEra: Specification-Based Testing of Java Programs Using SAT

183

Citations

36

References

2004

Year

Sarfraz Khurshid, Darko Marinov

Automated Software Engineering

EngineeringProgram AnalysisSoftware TestingTest OracleFormal MethodsSoftware AnalysisSoftware EngineeringComputer ScienceSpecification-based TestingStatic Program AnalysisFormal VerificationSymbolic Execution

References

	Year	Citations

Page 1