D. Marinov and S. Khurshid. TestEra: A Novel Framework for Testing Java Programs. 16th IEEE ASE 2001. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Macro and Micro Perspectives on Strategic Software Quality.. - Xie, Notkin (2002) (4 citations) (Correct)
.... similar approach is to model the negation of certain properties to be covered and generate the counterexamples as test cases [12] Application of mutation analysis in model checking can generate counterexamples as test cases to distinguish the variants from original specification [1] TestEra [20] models the correctness criteria for the program in Alloy, a first order relational language, and specifies abstraction and concretization translations between instances of Alloy models and Java data structures. It produces concrete Java inputs as test case counterexamples to violated correctness ....
D. Marinov and S. Khurshid. TestEra: A Novel Framework for Testing Java Programs. 16th IEEE ASE 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC