Concolic Execution and Test Case Generation in Prolog.

Germn Vidal

Browse the full LOPSTR paper archive.