@inproceedingsRichter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title=Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?, DOI=10.1145/3551349.3561156, booktitle=37th IEEE/ACM International Conference on Automated Software Engineering, publisher=ACM, author=Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike, year=2023 

@inproceedingsSchott_Pauck_2023, title=Benchmark Fuzzing for Android Taint Analyses, DOI=10.1109/scam55253.2022.00007, booktitle=2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), publisher=IEEE, author=Schott, Stefan and Pauck, Felix, year=2023 

@inproceedingsPauck_2023, title=Scaling Arbitrary Android App Analyses, DOI=10.1145/3551349.3561339, booktitle=37th IEEE/ACM International Conference on Automated Software Engineering, publisher=ACM, author=Pauck, Felix, year=2023 

@bookPauck_2023, title=Cooperative Android App Analysis, DOI=10.17619/UNIPB/1-1698, publisher=Paderborn University, author=Pauck, Felix, year=2023 

@bookKönig_2023, title=On the Membership and Correctness Problem for State Serializability and Value Opacity, author=König, Jürgen, year=2023 

@inproceedingsRichter_Wehrheim_2022, title=Learning Realistic Mutations: Bug Creation for Neural Bug Detectors, DOI=10.1109/ICST53961.2022.00027, booktitle=2022 IEEE Conference on Software Testing, Verification and Validation (ICST), author=Richter, Cedric and Wehrheim, Heike, year=2022, pages=162–173 

@inproceedingsRichter_Wehrheim_2022, title=TSSB-3M: Mining single statement bugs at massive scale, DOI=10.1145/3524842.3528505, booktitle=2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), author=Richter, Cedric and Wehrheim, Heike, year=2022, pages=418–422 

@inproceedingsDongol_Schellhorn_Wehrheim_2022, series=LIPIcs, title=Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement, volume=243, DOI=10.4230/LIPIcs.CONCUR.2022.31, booktitle=33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, publisher=Schloss Dagstuhl - Leibniz-Zentrum für Informatik, author=Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, editor=Klin, Bartek and Lasota, Slawomir and Muscholl, Anca, year=2022, pages=31:1–31:23, collection=LIPIcs 

@inproceedingsSharma_Demir_Ngonga Ngomo_Wehrheim, title=MLCHECK–Property-Driven Testing of Machine Learning Classifiers, booktitle=Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), publisher=IEEE, author=Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike 

@articleLuo_Pauck_Piskachev_Benz_Pashchenko_Mory_Bodden_Hermann_Massacci_2021, title=TaintBench: Automatic real-world malware benchmarking of Android taint analyses, DOI=10.1007/s10664-021-10013-5, journal=Empirical Software Engineering, author=Luo, Linghui and Pauck, Felix and Piskachev, Goran and Benz, Manuel and Pashchenko, Ivan and Mory, Martin and Bodden, Eric and Hermann, Ben and Massacci, Fabio, year=2021 

@bookSchott_2021, place=Paderborn, title=Android App Analysis Benchmark Case Generation, author=Schott, Stefan, year=2021 

@inproceedingsPauck_Wehrheim_2021, title=Jicer: Simplifying Cooperative Android App Analysis Tasks, DOI=10.1109/scam52516.2021.00031, booktitle=2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), author=Pauck, Felix and Wehrheim, Heike, year=2021 

@inproceedingsPauck_Wehrheim_2021, place=Bonn, title=Cooperative Android App Analysis with CoDiDroid, DOI=10.18420/SE2021_30 , booktitle=Software Engineering 2021, publisher=Gesellschaft für Informatik e.V., author=Pauck, Felix and Wehrheim, Heike, editor=Koziolek, Anne and Schaefer, Ina and Seidl, Christoph, year=2021, pages=83–84 

@inproceedingsSharma_Wehrheim, series=LNCS, title=Automatic Fairness Testing of Machine Learning Models, booktitle=Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), publisher=Springer, author=Sharma, Arnab and Wehrheim, Heike, collection=LNCS 

@bookMayer_2020, title=Optimierung von JMCTest beim Testen von Inter Method Contracts, publisher=Universität Paderborn, author=Mayer, Stefan, year=2020 

@inproceedingsBila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory, volume=12136, DOI=10.1007/978-3-030-50086-3‑3, booktitle=Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, publisher=Springer, author=Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Gotsman, Alexey and Sokolova, AnaEditors, year=2020, pages=39–58, collection=Lecture Notes in Computer Science 

@inproceedingsBeringer_Wehrheim_2020, title=Consistency Analysis of AUTOSAR Timing Requirements, DOI=10.5220/0009766600150026, booktitle=Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, publisher=ScitePress, author=Beringer, Steffen and Wehrheim, Heike, editor=van Sinderen, Marten and Fill, Hans-Georg and A. Maciaszek, LeszekEditors, year=2020, pages=15–26 

@inproceedingsBeyer_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework, volume=12476, DOI=10.1007/978-3-030-61362-4‑8, booktitle=Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, publisher=Springer, author=Beyer, Dirk and Wehrheim, Heike, editor=Margaria, Tiziana and Steffen, BernhardEditors, year=2020, pages=143–167, collection=Lecture Notes in Computer Science 

@bookWehrheim_Cabot_2020, series=Lecture Notes in Computer Science, title=Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, volume=12076, DOI=10.1007/978-3-030-45234-6, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 

@bookAhrendt_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], volume=12165, DOI=10.1007/978-3-030-50995-8, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science