Concolic testing for functional languages.

Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas

Browse the full PPDP paper archive.