Automatic Test Data Generation Tool for Large- Scale Software Systems.
Adam Kolawa, Beth Strickland, A. Hicken · 1994
Abstract : The main Phase I goals were to: *Build a prototype of a TGS System which works with programs written in C. The prototype should have skeletons of the major algorithms which the tool will be using. *Assess if the approach which we proposed has a chance to become a real TGS tool, by running the prototype on chosen C programs. The goals of the Phase I were achieved. We produced a working prototype of the TgS tool. We implemented the major algorithms: *Symbolic execution, *Dynamic Data-Flow Analysis, *Function Minimization Methods, *Heuristics Random Input Generation.