No abstract

This paper discusses the use of genetic algorithms (GAs) for automatic software test data generation. This research extends previous work on dynamic test data generation where the problem of test data generation is reduced to one of minimizing a function Miller and Spooner, 1976, Korel, 1990]. In our work, the function is minimized by using one of two genetic algorithms in place of the local minimization techniques used in earlier research. We describe the implementation of our GA-based system, and examine the e ectiveness of this approach on a number of programs, one of which is signi cantly larger than those for which results have previously been reported in the literature. We also examine the e ect of program complexity on the test data generation problem by executing our system on a number of synthetic programs that have varying complexities.

No abstract

We describe ITS4, a tool for statically scanning security-critical C source code for vulnerabilities. Compared

No abstract