TestEra A Novel Framework for Testing Java Programs †

@inproceedings{Khurshid2003TestEraAN,
  title={TestEra A Novel Framework for Testing Java Programs †},
  author={Sarfraz Khurshid and Darko Marinov},
  year={2003}
}
TestEra is a novel framework for automated specification-based testing of Java programs. Given a formal specification for a method, TestEra uses the method precondition to automatically generate all nonisomorphic test inputs up to a given bound. TestEra executes the method on each test input, and uses the method postcondition as a test oracle to check the correctness of each output. TestEra allows users to give specifications as first-order logic formulae. As an enabling technology, TestEra… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 33 references

Richardson . Structural specificationbased testing : Automated support and experimental evaluation

  • Juei Chang, J. Debra
  • Proc . International Symposium on Software…
  • 2002

Similar Papers

Loading similar papers…