DMCA

Generating Test Suites with Augmented Dynamic Symbolic Execution ⋆

by Konrad Jamrozik , Gordon Fraser , Nikolai Tillman , Jonathan De Halleux