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