Publications
Engineering (QSE'25) . DOI: 10.18420/se2025-ws-17 Preprint: https://doi.org/10.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.1007/978-3-031-72044-4_9 BibTeX BIB (1 KB) AXA: Cross-Language Analysis [...] of Single-Language Analyses Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini In 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024) . DOI: https:/ …