This paper presents a technique for automatically generating test‐data to test exceptions.
The approach is based on the application of a dynamic global optimization based search for …

This paper presents the results of a three year research program to develop an automated
test-data generation framework to support the testing of safety-critical software systems. The …

One of the major costs in a software project is the construction of test-data. This paper
outlines a generalised test-case data generation framework based on optimisation …

This paper considers the problem of automatically generating tests from Z specifications
based on userdefined testing criteria. Automation is facilitated by formally specifying …

The Godzilla automatic test data generator is an integrated collection of tools that
implements a relatively new test data generation method—constraint-based testing—that is …

Mutation testing is a technique for testing software units that has great potential for improving
the quality of testing, and thereby increasing the ability to assure the high reliability of critical …

Abstract Design, execution and evaluation of tests for safety-critical systems require
considerable effort and skill and consume a large part of today's development costs. Due to …

One of the major costs in a software project is the construction of test-data. This paper
outlines a generalised test-case data generation framework based on optimisation …

This paper presents a new technique for automatically generating test data. The technique is
based on mutation analysis and creates test data that approximates relative-adequacy. The …

Background: Testing is an essential activity in safety-critical software development, following
high standards in terms of code coverage. Mutation testing allows assessing the …