A Case Study of Concolic Testing Tools and their Limitations.

Xiao Qu, Brian Robinson

Browse the full ESEM paper archive.