Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods.

Eric Lavillonnire, David Mentr, Denis Cousineau

Browse the full TAP paper archive.