Abstraction-driven Concolic Testing.

Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger

Browse the full VMCAI paper archive.