We present an approach for describing tests using non-deterministic test generation
programs. To write such programs, we introduce UDITA, a Java-based language with non …

This paper presents TestFul, an Eclipse plugin for the generation of tests for Java classes. It
is based on the idea of search-based testing, working both at class and method level. The …

Automated test generation for object-oriented software typically consists of producing
sequences of calls aiming at high code coverage. In practice, the success of this process …

The hidden states of objects create a barrier to designing and generating test data
automatically. For example, the state of an object has to be established indirectly through a …

This paper presents Korat, a novel framework for automated testing of Java programs. Given
a formal specification for a method, Korat uses the method precondition to automatically …

This tool paper presents an embodiment of TestEra-a framework developed in previous
work for specification-based testing of Java programs. To test a Java method, TestEra uses …

Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test
exercises only a subset of the functionality exercised by the system test. Augmenting a test …

This paper describes a technique that selects, from a large set of test inputs, a small subset
likely to reveal faults in the software under test. The technique takes a program or software …

Java Virtual Machine (JVM) provides the runtime environment for Java programs, which
allows Java to be" write once, run anywhere". JVM plays a decisive role in the correctness of …

This paper presents a specification-driven approach to test automation for GUI-based JAVA
programs as an alternative to the use of capture/replay. The NetBeans Jemmy library …