TestEra: A Novel Framework for Automated Testing of Java Programs

TestEra: A Novel Framework for Automated Testing of Java Programs (2001)

by Darko Marinov , Sarfraz Khurshid

Citations:

82 - 26 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	TestEra: A Novel Framework for Automated Testing of Java Programs	SVM HeaderParse 0.1
AUTHOR NAME	Darko Marinov	user correction - Legacy Corrections
AUTHOR NAME	Sarfraz Khurshid	user correction - Legacy Corrections
ABSTRACT	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.	user correction - Legacy Corrections
YEAR	2001	user correction - Legacy Corrections
CITATIONS	28 found	ParsCit 1.0