C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim, “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?,”10.1145/3551349.3561156__2023, doi:10.1145/3551349.3561156 .
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

S. Schott and F. Pauck, “Benchmark Fuzzing for Android Taint Analyses,”10.1109/scam55253.2022.00007__2023, doi:10.1109/scam55253.2022.00007 .
LibreCat: /record/36848
DOI: 10.1109/scam55253.2022.00007

F. Pauck, “Scaling Arbitrary Android App Analyses,”10.1145/3551349.3561339__2023, doi:10.1145/3551349.3561339 .
LibreCat: /record/35427
DOI: 10.1145/3551349.3561339

F. Pauck, Cooperative Android App Analysis. Paderborn University, 2023.
LibreCat: /record/43108
DOI: 10.17619/UNIPB/1-1698

J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity. 2023.
LibreCat: /record/47833

C. Richter and H. Wehrheim, “Learning Realistic Mutations: Bug Creation for Neural Bug Detectors,”10.1109/ICST53961.2022.00027__in 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, pp. 162–173, doi:10.1109/ICST53961.2022.00027 .
LibreCat: /record/32590
DOI: 10.1109/ICST53961.2022.00027

C. Richter and H. Wehrheim, “TSSB-3M: Mining single statement bugs at massive scale,”10.1145/3524842.3528505__in 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418–422, doi:10.1145/3524842.3528505 .
LibreCat: /record/32591
DOI: 10.1145/3524842.3528505

B. Dongol, G. Schellhorn, and H. Wehrheim, “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement,”10.4230/LIPIcs.CONCUR.2022.31__in 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, 2022, vol. 243, p. 31:1–31:23, doi:10.4230/LIPIcs.CONCUR.2022.31 .
LibreCat: /record/45248
DOI: 10.4230/LIPIcs.CONCUR.2022.31

A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.”
LibreCat: /record/28350

L. Luo et al., “TaintBench: Automatic real-world malware benchmarking of Android taint analyses,”10.1007/s10664-021-10013-5__Empirical Software Engineering, 2021, doi:10.1007/s10664-021-10013-5 .
LibreCat: /record/27045
DOI: 10.1007/s10664-021-10013-5

S. Schott, Android App Analysis Benchmark Case Generation. Paderborn, 2021.
LibreCat: /record/22304

F. Pauck and H. Wehrheim, “Jicer: Simplifying Cooperative Android App Analysis Tasks,”10.1109/scam52516.2021.00031__2021, doi:10.1109/scam52516.2021.00031 .
LibreCat: /record/28199
DOI: 10.1109/scam52516.2021.00031

F. Pauck and H. Wehrheim, “Cooperative Android App Analysis with CoDiDroid,”10.18420/SE2021_30 __in Software Engineering 2021, 2021, pp. 83–84, doi:10.18420/SE2021_30  .
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning Models,” in Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS).
LibreCat: /record/19656

S. Mayer, Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn, 2020.
LibreCat: /record/19999

E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory,” in 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, 2020, vol. 12136, pp. 39–58.
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

S. Beringer and H. Wehrheim, “Consistency Analysis of AUTOSAR Timing Requirements,” in Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, 2020, pp. 15–26.
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” in 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, 2020, vol. 12476, pp. 143–167.
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

H. Wehrheim and J. Cabot, Eds., 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, vol. 12076. Springer, 2020.
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

W. Ahrendt and H. Wehrheim, Eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], vol. 12165. Springer, 2020.
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8

A. Sharma and H. Wehrheim, “Testing Monotonicity of Machine Learning Models,” CoRR, vol. abs/2002.12278, 2020.
LibreCat: /record/20279

S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for  RAR (Artifact),” Dagstuhl Artifacts Ser., vol. 6, no. 2, pp. 15:1-15:2, 2020.
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for  RAR,” in 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020, vol. 166, pp. 11:1-11:26.
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

C. Richter and H. Wehrheim, “Attend and Represent: A Novel View on Algorithm Selection for Software Verification,” in 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 2020, pp. 1016–1028.
LibreCat: /record/21018

W. Ahrendt and H. Wehrheim, Eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], vol. 12165. Springer, 2020.
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

J. F. Haltermann and H. Wehrheim, “Cooperative Verification via Collective Invariant Generation,” arXiv:2008.04551. 2020.
LibreCat: /record/17825

A. Sharma and H. Wehrheim, “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models,” in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
LibreCat: /record/16724

C. Richter, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Algorithm Selection for Software Validation Based on Graph Kernels,” Journal of Automated Software Engineering.
LibreCat: /record/16725

H. Karl, D. Kundisch, F. Meyer auf der Heide, and H. Wehrheim, “A Case for a New IT Ecosystem: On-The-Fly Computing,”10.1007/s12599-019-00627-x__Business &; Information Systems Engineering, vol. 62, no. 6, pp. 467–481, 2020, doi:10.1007/s12599-019-00627-x .
LibreCat: /record/13770
DOI: 10.1007/s12599-019-00627-x

F. Pauck, E. Bodden, and H. Wehrheim, “Reproducing Taint-Analysis Results with ReproDroid,”10.18420/SE2020_36__in Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, 2020, pp. 123–124, doi:10.18420/SE2020_36 .
LibreCat: /record/16214
DOI: 10.18420/SE2020_36

S. B. Schneider, A. Sharma, H. Karl, and H. Wehrheim, “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets,” in 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019, pp. 116--124.
LibreCat: /record/3287

A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in Proceedings of the Software Engineering Conference (SE), Stuttgart, 2019, vol. P-292, pp. 157–158.
LibreCat: /record/7752

S. Zhang, Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019.
LibreCat: /record/7623

A. Sharma and H. Wehrheim, “Testing Machine Learning Algorithms for Balanced Data Usage,” in IEEE International Conference on Software Testing, Verification and Validation (ICST), Xi’an, China, April, 2019, 2019, pp. 125--135.
LibreCat: /record/7635

J. F. Haltermann, Analyzing Data Usage in Array Programs. 2019.
LibreCat: /record/12885

F. Pauck and S. Zhang, “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up,” in 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.
LibreCat: /record/15838
DOI: 10.1109/asew.2019.00019

J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying Correctness of Persistent Concurrent Data Structures,” in Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, vol. 11800, pp. 179–195.
LibreCat: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

A. Russo, A. Schürr, and H. Wehrheim, “Editorial,” Formal Asp. Comput., vol. 31, no. 5, pp. 457–458, 2019.
LibreCat: /record/16216
DOI: 10.1007/s00165-019-00495-y

M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.
LibreCat: /record/16217
DOI: 10.1007/s00165-018-00477-6

D. Beyer and M.-C. Jakobs, “CoVeriTest: Cooperative Verifier-Based Testing,” in Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying Correctness of Persistent Concurrent Data Structures,” in Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.
LibreCat: /record/13993
DOI: 10.1007/978-3-030-30942-8‑12

M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.
LibreCat: /record/10011
DOI: 10.1007/s00165-018-00477-6

J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279.
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying  programs operationally,” in Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355–365.
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat: /record/10093
DOI: 10.18420/se2019-46

A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 157–158.
LibreCat: /record/10094
DOI: 10.18420/se2019-48

C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, 2019, vol. 11429, pp. 229–233.
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat: /record/10105

F. Pauck and H. Wehrheim, “Together Strong: Cooperative Android App Analysis,”10.1145/3338906.3338915__in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384, doi:10.1145/3338906.3338915 .
LibreCat: /record/10108
DOI: 10.1145/3338906.3338915

T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “When Are Software Verification Results Valid for Approximate Hardware?,”10.1007/978-3-030-31157-5_1__in Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20, doi:10.1007/978-3-030-31157-5_1 .
LibreCat: /record/13874
DOI: 10.1007/978-3-030-31157-5_1