Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)
DOI: 10.1109/ase.2001.989787
|View full text |Cite
|
Sign up to set email alerts
|

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, EstEra uses Alloy, a first-order relational language, and the Alloy Analyzer. Checking a program with TestEra involves modeling the correctness criteria f o r the program in Alloy and specifying abstraction and concretization translations between instances of Alloy models and Java da… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
157
0

Publication Types

Select...
4
2
2

Relationship

0
8

Authors

Journals

citations
Cited by 166 publications
(157 citation statements)
references
References 25 publications
0
157
0
Order By: Relevance
“…We take a relational view [8], [10], [11]: we view heapallocated data as rooted edge-labeled directed graphs, where nodes represent objects and edges represent fields. An edge labeled f from node o to v says that the f field of the object o points to the object v (or is null) or has the primitive value v. Mathematically, we treat this graph as a set of nodes and a collection of relations, one for each field.…”
Section: A Heap-allocated Data As An Edge-labeled Graphmentioning
confidence: 99%
See 2 more Smart Citations
“…We take a relational view [8], [10], [11]: we view heapallocated data as rooted edge-labeled directed graphs, where nodes represent objects and edges represent fields. An edge labeled f from node o to v says that the f field of the object o points to the object v (or is null) or has the primitive value v. Mathematically, we treat this graph as a set of nodes and a collection of relations, one for each field.…”
Section: A Heap-allocated Data As An Edge-labeled Graphmentioning
confidence: 99%
“…We believe this distinction, if adopted, can optimize Daikon's analysis too. Third, aDeryaft generates invariants in Alloy, which can directly be plugged into a variety of tools, such as the TestEra testing framework [8].…”
Section: A Dynamic Analysesmentioning
confidence: 99%
See 1 more Smart Citation
“…It was then adapted for C programs and refined with standard constraint programming techniques to target specific locations in the code regardless of the particular path executed [3], [4]. Constraint-based testing was extended to the exhaustive generation of structured inputs for Java programs [5], [6] and the constraint solving of structurally complex constraints [7]. An important work in the area is also the symbolic execution approach of Java PathFinder [8] where "lazy initialization" was proposed [9].…”
Section: Introductionmentioning
confidence: 99%
“…Formal methods and software testing are two techniques with this purpose. Many researchers have tried to combine these two techniques to take advantage of their most interesting aspects ( [1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16]). This combination can bring benefits such as reduction of development costs through the application of verification techniques in the initial development phases, when faults are cheaper to be fixed, and automatic generation of tests from formal specifications [17].…”
Section: Introductionmentioning
confidence: 99%