Sikraken: Symbolic Execution using Constraint Logic Programming for Generating Test Inputs (Competition Contribution).

Christophe Meudec

Browse the full FASE paper archive.