… on the issue of class testing. Major problems in class testing derive from the presence of
instance variables and their effects on the behavior of methods defined in the class. A given …

… object testing. We present a novel approach to automated testing designed especially for
collection classes… partially models the states and transitions of the ClassUnder-Test (CUT) state/…

… of these classes makes reliability important, and testing plays a … testing of container classes
makes automated testing … approach for automated testing of container classes based on …

… Symbolic execution and automated deduction are used in [5] for the testing of classes
considered in isolation. The aim of this work is exercising the def-use pairs associated with the …

… A manual test is represented by a class, distinguished only by its inheritance from a specific
library class. The automated testing framework is able to detect such classes and then runs …

… class is derived from the base class. In a previous paper on testgraphs [ll], we address the
issue of testing derived classes … of test development by reusing base class tests and test code. …

… testing [16, 30] comprises of testing techniques that 1) divide the program’s input domain into
classes … the program for at least one input from each class. Thus, the problem of systematic …

… Using a custom class loader is not a viable option in the generated JUnit tests: Once a JUnit
file is generated, we cannot really make assumptions on how it will be used. For example, …

… a single test program for testing the behavior of object-oriented classes. The test program
can … specifications of the classes. With closed specifications, every class method is defined in …

… M is also effective in the absence of S, rendering our system viable for small classes, new
classes, and other scenarios in which a large corpus of student implementations may not yet …