Richter, Cedric, et al. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?”10.1145/3551349.3561156__37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561156.
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.”10.1109/scam55253.2022.00007__2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023, doi:10.1109/scam55253.2022.00007.
LibreCat: /record/36848
DOI: 10.1109/scam55253.2022.00007

Pauck, Felix. “Scaling Arbitrary Android App Analyses.”10.1145/3551349.3561339__37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561339.
LibreCat: /record/35427
DOI: 10.1145/3551349.3561339

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

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

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

Richter, Cedric, and Heike Wehrheim. “TSSB-3M: Mining Single Statement Bugs at Massive Scale.”10.1145/3524842.3528505__2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418–22, doi:10.1145/3524842.3528505.
LibreCat: /record/32591
DOI: 10.1145/3524842.3528505

Dongol, Brijesh, et al. “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.”10.4230/LIPIcs.CONCUR.2022.31__33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, edited by Bartek Klin et al., vol. 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 31:1–31:23, doi:10.4230/LIPIcs.CONCUR.2022.31.
LibreCat: /record/45248
DOI: 10.4230/LIPIcs.CONCUR.2022.31

Sharma, Arnab, et al. “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), IEEE.
LibreCat: /record/28350

Luo, Linghui, 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

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

Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.”10.1109/scam52516.2021.00031__2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021, doi:10.1109/scam52516.2021.00031.
LibreCat: /record/28199
DOI: 10.1109/scam52516.2021.00031

Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.”10.18420/SE2021_30 __Software Engineering 2021, edited by Anne Koziolek et al., Gesellschaft für Informatik e.V., 2021, pp. 83–84, doi:10.18420/SE2021_30 .
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

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

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

Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.”10.1007/978-3-030-50086-3‑3__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, edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58, doi:10.1007/978-3-030-50086-3‑3.
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.”10.5220/0009766600150026__Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:10.5220/0009766600150026.
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.”10.1007/978-3-030-61362-4‑8__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, edited by Tiziana Margaria and Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:10.1007/978-3-030-61362-4‑8.
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

Wehrheim, Heike, and Jordi Cabot, editors. 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, doi:10.1007/978-3-030-45234-6.
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

Ahrendt, Wolfgang, and Heike Wehrheim, editors. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165, Springer, 2020, doi:10.1007/978-3-030-50995-8.
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8

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

Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for10.4230/DARTS.6.2.15__RAR (Artifact).”10.4230/DARTS.6.2.15__Dagstuhl Artifacts Ser., vol. 6, no. 2, 2020, pp. 15:1-15:2, doi:10.4230/DARTS.6.2.15.
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for10.4230/LIPIcs.ECOOP.2020.11__RAR.”10.4230/LIPIcs.ECOOP.2020.11__34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, vol. 166, Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, 2020, pp. 11:1-11:26, doi:10.4230/LIPIcs.ECOOP.2020.11.
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

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

Ahrendt, Wolfgang, and Heike Wehrheim, editors. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165, Springer, 2020, doi:10.1007/978-3-030-50995-8.
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

Haltermann, Jan Frederik, and Heike Wehrheim. “Cooperative Verification via Collective Invariant Generation.” ArXiv:2008.04551, 2020.
LibreCat: /record/17825

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

Richter, Cedric, et al. “Algorithm Selection for Software Validation Based on Graph Kernels.” Journal of Automated Software Engineering, Springer.
LibreCat: /record/16725

Karl, Holger, et al. “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, Springer, 2020, pp. 467–81, doi:10.1007/s12599-019-00627-x.
LibreCat: /record/13770
DOI: 10.1007/s12599-019-00627-x

Pauck, Felix, et al. “Reproducing Taint-Analysis Results with ReproDroid.”10.18420/SE2020_36__Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, edited by Michael Felderer et al., Gesellschaft f\'22ur Informatik e.V., 2020, pp. 123–24, doi:10.18420/SE2020_36.
LibreCat: /record/16214
DOI: 10.18420/SE2020_36

Schneider, Stefan Balthasar, et al. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, 2019, pp. 116--124.
LibreCat: /record/3287

Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” Proceedings of the Software Engineering Conference (SE), vol. P-292, Gesellschaft für Informatik e.V. (GI), 2019, pp. 157–58.
LibreCat: /record/7752

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

Sharma, Arnab, and Heike Wehrheim. “Testing Machine Learning Algorithms for Balanced Data Usage.” IEEE International Conference on Software Testing, Verification and Validation (ICST), IEEE, 2019, pp. 125--135.
LibreCat: /record/7635

Haltermann, Jan Frederik. Analyzing Data Usage in Array Programs. 2019.
LibreCat: /record/12885

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

Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.”10.1007/978-3-030-30942-8‑12__Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek et al., vol. 11800, Springer, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8‑12.
LibreCat: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

Russo, Alessandra, et al. “Editorial.”10.1007/s00165-019-00495-y__Formal Asp. Comput., vol. 31, no. 5, 2019, pp. 457–58, doi:10.1007/s00165-019-00495-y.
LibreCat: /record/16216
DOI: 10.1007/s00165-019-00495-y

Fränzle, Martin, et al. “Editorial.”10.1007/s00165-018-00477-6__Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
LibreCat: /record/16217
DOI: 10.1007/s00165-018-00477-6

Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.”10.1007/978-3-030-16722-6_23__Fundamental Approaches to Software Engineering, 2019, doi:10.1007/978-3-030-16722-6_23.
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.”10.1007/978-3-030-30942-8‑12__Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8‑12.
LibreCat: /record/13993
DOI: 10.1007/978-3-030-30942-8‑12

Fränzle, Martin, et al. “Editorial.”10.1007/s00165-018-00477-6__Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
LibreCat: /record/10011
DOI: 10.1007/s00165-018-00477-6

König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.”10.1007/978-3-030-20652-9‑18__NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9‑18.
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

Doherty, Simon, et al. “Verifying10.1145/3293883.3295702__Programs Operationally.”10.1145/3293883.3295702__Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, ACM, 2019, pp. 355–65, doi:10.1145/3293883.3295702.
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.”10.18420/se2019-46__Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
LibreCat: /record/10093
DOI: 10.18420/se2019-46

Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.”10.18420/se2019-48__Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 157–58, doi:10.18420/se2019-48.
LibreCat: /record/10094
DOI: 10.18420/se2019-48

Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).”10.1007/978-3-030-17502-3_19__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, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

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

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

Isenberg, Tobias, et al. “When Are Software Verification Results Valid for Approximate Hardware?”10.1007/978-3-030-31157-5_1__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