The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...