Sound and Complete Concolic Testing for Higher-order Functions.

Shu-Hung You, Robert Bruce Findler, Christos Dimoulas

Browse the full ESOP paper archive.