Login / Signup

Generating Test Suites with Augmented Dynamic Symbolic Execution.

Konrad JamrozikGordon FraserNikolai TillmannJonathan de Halleux
Published in: TAP@STAF (2013)
Keyphrases