Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM. - Malte Mues; Julian Rüschoff; Ben Hermann (TAP, 2024)