TestEra: a novel framework for automated testing of Java programs

By Darko Marinov, Sarfraz Khurshid. International Conference on Automated Software Engineering, 2001

315 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Korat: automated testing based on Java predicates (2002, methodology): “AA can also be used to check correctness of Java methods by writing method specifications as Alloy models and defining appropriate translations between Alloy instances and Java objects, as demonstrated in the TestEra framework [23].”
Test input generation with java PathFinder (2004, background): “Somerecent frameworks, most notably TestEra [35] and Korat [10,34], do support non-isomorphic generation of complex structures, such as red-black trees.”
NEZHA: Efficient Domain-Independent Differential Testing (2017, methodology): “TestEra [49] uses speciﬁcations to automatically generate test inputs for Java programs. lava [58] is a domain-speciﬁc language designed for specifying grammars that can be used to generate test inputs for testing Java VMs. Unlike N EZHA ’s guided approach, the input generation process of these…”
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations (2014, unknown): “Georgiev et al. carried out a study of certificate validation vulnerabilities caused by the incorrect use of SSL/TLS APIs, as opposed to flaws in the implementations of these APIs [31].”