For numerical programs, or more generally for programs with floating-point data, it may be
that large savings of time and storage are made possible by using numerical maximization …

Software validation through testing will continue to be a very important tool for ensuring
correctness of large scale software systems. Automation of testing tools can greatly enhance …

Presents the design of the software system ADTEST (ADa TESTing), for generating test data
for programs developed in Ada83. The key feature of this system is that the problem of test …

An alternative approach to test-data generation based on actual execution of the program
under test, function-minimization methods and dynamic data-flow analysis is presented. Test …

Test data generation in program testing is the process of identifying a set of test data which
satisfies a given testing criterion. Existing pathwise test data generators proceed by …

An important problem that arises in path oriented testing is the generation of test data that
causes a program to follow a given path. In this paper, we present a novel program …

Symbolic execution is a classical program testing technique which evaluates a selected
control flow path with symbolic input data. A constraint solver can be used to enforce the …

This paper describes a system that attempts to generate test data for programs written in
ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of …

Symbolic execution is a popular technique for automatically generating test cases achieving
high structural coverage. Symbolic execution suffers from scalability issues since the …

Software testing is very labor intensive and expensive and accounts for a significant portion
of software system development cost. If the testing process could be automated, the cost of …