Publication Overview

Konrad Jamrozik and Gordon Fraser and Nikolai Tillmann and Jonathan De Halleux

Generating Test Suites with Augmented Dynamic Symbolic Execution

Published in: Proc. of the 7th International Conference on Tests and Proofs (TAP 2013)
Year: 2013
Volume: 7942
Pages: 152-167