A Practical Concolic Execution Technique for Large Scale Software Systems.

Hongliang Liang, Wenqing Yu, Lu Ai, Lin Jiang

Browse the full EASE paper archive.