Decomposing software verification into off-the-shelf components: an application to CEGAR D Beyer, J Haltermann, T Lemberger, H Wehrheim Proceedings of the 44th International Conference on Software Engineering …, 2022 | 16 | 2022 |
Parallel program analysis via range splitting J Haltermann, MC Jakobs, C Richter, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2023 | 6 | 2023 |
CoVEGI: Cooperative verification via externally generated invariants J Haltermann, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2021 | 6 | 2021 |
Ranged Program Analysis via Instrumentation J Haltermann, MC Jakobs, C Richter, H Wehrheim International Conference on Software Engineering and Formal Methods, 145-164, 2023 | 4 | 2023 |
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? C Richter, J Haltermann, MC Jakobs, F Pauck, S Schott, H Wehrheim Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 3 | 2022 |
Information exchange between over-and underapproximating software analyses J Haltermann, H Wehrheim International Conference on Software Engineering and Formal Methods, 37-54, 2022 | 2 | 2022 |
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study J Haltermann, H Wehrheim 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 2 | 2022 |
JMCTest: Automatically Testing Inter-Method Contracts in Java P Börding, J Haltermann, MC Jakobs, H Wehrheim Testing Software and Systems: 30th IFIP WG 6.1 International Conference …, 2018 | 1 | 2018 |
Exchanging information in cooperative software validation J Haltermann, H Wehrheim Software and Systems Modeling, 1-25, 2024 | | 2024 |
Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification J Haltermann, MC Jakobs, C Richter, H Wehrheim Software Engineering 2024 (SE 2024), 157-158, 2024 | | 2024 |
Timeout Prediction for Software Analyses N Thoben, J Haltermann, H Wehrheim International Conference on Software Engineering and Formal Methods, 340-358, 2023 | | 2023 |
Variable Misuse Detection: Software Developers versus Neural Bug Detectors C Richter, J Haltermann, MC Jakobs, F Pauck, S Schott, H Wehrheim Gesellschaft für Informatik eV, 2023 | | 2023 |
Component-based CEGAR-Building Software Verifiers from Off-the-Shelf Components D Beyer, J Haltermann, T Lemberger, H Wehrheim Gesellschaft für Informatik eV, 2023 | | 2023 |
Unifying Cooperation of Over-and Under-Approximative Verification Techniques J Haltermann | | 2022 |
Cooperative Verification via Collective Invariant Generation J Haltermann, H Wehrheim arXiv preprint arXiv:2008.04551, 2020 | | 2020 |
Analyzing Usage of Data in Array Programs J Haltermann NWPT 2019, 33, 0 | | |