loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th IEEE International Conference on Automated Software Engineering (ASE'01)
TestEra: A Novel Framework for Automated Testing of Java Programs
San Diego, California
November 26-November 29
ISBN: 0-7695-1426-X
ASCII Text
x 
 
Darko Marinov, Sarfraz Khurshid, "TestEra: A Novel Framework for Automated Testing of Java Programs," Automated Software Engineering, International Conference on, pp. 22, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2001.989787,
author = {Darko Marinov and Sarfraz Khurshid},
title = {TestEra: A Novel Framework for Automated Testing of Java Programs},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1426-X},
pages = {22},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989787},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - TestEra: A Novel Framework for Automated Testing of Java Programs
SN - 0-7695-1426-X
SP
EP
A1 - Darko Marinov,
A1 - Sarfraz Khurshid,
PY - 2001
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
Darko Marinov, MIT Laboratory for Computer Science
Sarfraz Khurshid, MIT Laboratory for Computer Science
We present TestEra, a novel framework for automated testing of Java programs. TestEra automatically generates all non-isomorphic test cases, within a given input size, and evaluates correctness criteria. As an enabling technology, TestEra uses Alloy, a first-order relational language, and the Alloy Analyzer. Checking a program with TestEra involves modeling the correctness criteria for the program in Alloy and specifying abstraction and concretization translations between instances of Alloy models and Java data structures. TestEra produces concrete Java inputs as counterexamples to violated correctness criteria. This paper discusses TestEra?s analyses of several case studies: methods that manipulate singly linked lists and red-black trees, a naming architecture, and a part of the Alloy Analyzer.
Citation:
Darko Marinov, Sarfraz Khurshid, "TestEra: A Novel Framework for Automated Testing of Java Programs," ase, pp.22, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.