Generating Test Suites with Augmented Dynamic Symbolic Execution.

Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux

Browse the full TAP paper archive.