Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM.

Malte Mues, Julian Rschoff, Ben Hermann

Browse the full TAP paper archive.