SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM.

Malte Mues, Falk Howar, Simon Dierl

Browse the full SEFM paper archive.