Evaluating Symbolic Execution-Based Test Tools. - Lajos Cseppento; Zoltán Micskei (ICST, 2015)

Evaluating code-based test input generator tools. - Lajos Cseppento; Zoltán Micskei (Softw. Test. Verification Reliab., 2017)