Evaluating Symbolic Execution-Based Test Tools.

Lajos Cseppento, Zoltn Micskei

Browse the full ICST paper archive.