Compositional Dynamic Test Generation
From GradTurkey
[edit] Summary
This paper extends the work done in DART: Directed Automated Random Testing. DART explores all feasible program paths by generating test inputs and using constraint solving to find new inputs that exercise different code paths. Such analysis does not scale to large programs, and this work remedies that problem by narrowing the analysis to individual functions. The resulting analysis is turned into pre-conditions and post-conditions, which are then used in a static analysis of the larger program.
