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'24 ( 2024). DOI: AXA: Cross-Language Analysis through Integration [...] 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: …