Publications
48550/arXiv.2411.19177 2024 Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM Malte Mues, Julian Rüschoff, Ben Hermann In Tests and Proofs (TAP 2024) . DOI: https://doi.org/10 [...] Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini In 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024) . DOI: https://doi.org/10.1145/3691620.3696193 Artifact: [...] Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024) . DOI: https://doi.org/10.1145/3650212.3652114 Artifact: https://doi.org/10.5281/zenodo.10888532 …