@misc{22304,
  author       = {{Schott, Stefan}},
  title        = {{{Android App Analysis Benchmark Case Generation}}},
  year         = {{2021}},
}

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

@inproceedings{21238,
  author       = {{Pauck, Felix and Wehrheim, Heike}},
  booktitle    = {{Software Engineering 2021}},
  editor       = {{Koziolek, Anne and Schaefer, Ina and Seidl, Christoph}},
  pages        = {{ 83--84 }},
  publisher    = {{Gesellschaft für Informatik e.V.}},
  title        = {{{Cooperative Android App Analysis with CoDiDroid}}},
  doi          = {{10.18420/SE2021_30 }},
  year         = {{2021}},
}

@inproceedings{19656,
  author       = {{Sharma, Arnab and Wehrheim, Heike}},
  booktitle    = {{Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)}},
  publisher    = {{Springer}},
  title        = {{{Automatic Fairness Testing of Machine Learning Models}}},
  year         = {{2020}},
}

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

@inproceedings{20274,
  author       = {{Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  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}},
  editor       = {{Gotsman, Alexey and Sokolova, Ana}},
  pages        = {{39--58}},
  publisher    = {{Springer}},
  title        = {{{Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}}},
  doi          = {{10.1007/978-3-030-50086-3\_3}},
  volume       = {{12136}},
  year         = {{2020}},
}

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

@inproceedings{20276,
  author       = {{Beyer, Dirk and Wehrheim, Heike}},
  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}}},
  editor       = {{Margaria, Tiziana and Steffen, Bernhard}},
  pages        = {{143--167}},
  publisher    = {{Springer}},
  title        = {{{Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}}},
  doi          = {{10.1007/978-3-030-61362-4\_8}},
  volume       = {{12476}},
  year         = {{2020}},
}

@proceedings{20277,
  editor       = {{Wehrheim, Heike and Cabot, Jordi}},
  isbn         = {{978-3-030-45233-9}},
  publisher    = {{Springer}},
  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}}},
  doi          = {{10.1007/978-3-030-45234-6}},
  volume       = {{12076}},
  year         = {{2020}},
}

@proceedings{20278,
  editor       = {{Ahrendt, Wolfgang and Wehrheim, Heike}},
  isbn         = {{978-3-030-50994-1}},
  publisher    = {{Springer}},
  title        = {{{Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}}},
  doi          = {{10.1007/978-3-030-50995-8}},
  volume       = {{12165}},
  year         = {{2020}},
}

@article{20279,
  author       = {{Sharma, Arnab and Wehrheim, Heike}},
  journal      = {{CoRR}},
  title        = {{{Testing Monotonicity of Machine Learning Models}}},
  volume       = {{abs/2002.12278}},
  year         = {{2020}},
}

@article{21016,
  author       = {{Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}},
  journal      = {{Dagstuhl Artifacts Ser.}},
  number       = {{2}},
  pages        = {{15:1--15:2}},
  title        = {{{Owicki-Gries Reasoning for C11 RAR (Artifact)}}},
  doi          = {{10.4230/DARTS.6.2.15}},
  volume       = {{6}},
  year         = {{2020}},
}

@inproceedings{21017,
  author       = {{Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}},
  booktitle    = {{34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)}},
  editor       = {{Hirschfeld, Robert and Pape, Tobias}},
  pages        = {{11:1--11:26}},
  publisher    = {{Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}},
  title        = {{{Owicki-Gries Reasoning for C11 RAR}}},
  doi          = {{10.4230/LIPIcs.ECOOP.2020.11}},
  volume       = {{166}},
  year         = {{2020}},
}

@inproceedings{21018,
  author       = {{Richter, Cedric and Wehrheim, Heike}},
  booktitle    = {{35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}},
  pages        = {{1016--1028}},
  publisher    = {{{IEEE}}},
  title        = {{{Attend and Represent: A Novel View on Algorithm Selection for Software Verification}}},
  year         = {{2020}},
}

@proceedings{21019,
  editor       = {{Ahrendt, Wolfgang and Wehrheim, Heike}},
  isbn         = {{978-3-030-50994-1}},
  publisher    = {{Springer}},
  title        = {{{Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}}},
  doi          = {{10.1007/978-3-030-50995-8}},
  volume       = {{12165}},
  year         = {{2020}},
}

@unpublished{17825,
  abstract     = {{Software verification has recently made enormous progress due to the
development of novel verification methods and the speed-up of supporting
technologies like SMT solving. To keep software verification tools up to date
with these advances, tool developers keep on integrating newly designed methods
into their tools, almost exclusively by re-implementing the method within their
own framework. While this allows for a conceptual re-use of methods, it
requires novel implementations for every new technique.
  In this paper, we employ cooperative verification in order to avoid
reimplementation and enable usage of novel tools as black-box components in
verification. Specifically, cooperation is employed for the core ingredient of
software verification which is invariant generation. Finding an adequate loop
invariant is key to the success of a verification run. Our framework named
CoVerCIG allows a master verification tool to delegate the task of invariant
generation to one or several specialized helper invariant generators. Their
results are then utilized within the verification run of the master verifier,
allowing in particular for crosschecking the validity of the invariant. We
experimentally evaluate our framework on an instance with two masters and three
different invariant generators using a number of benchmarks from SV-COMP 2020.
The experiments show that the use of CoVerCIG can increase the number of
correctly verified tasks without increasing the used resources}},
  author       = {{Haltermann, Jan Frederik and Wehrheim, Heike}},
  booktitle    = {{arXiv:2008.04551}},
  title        = {{{Cooperative Verification via Collective Invariant Generation}}},
  year         = {{2020}},
}

@inproceedings{16724,
  author       = {{Sharma, Arnab and Wehrheim, Heike}},
  booktitle    = {{Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).}},
  publisher    = {{ACM}},
  title        = {{{Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models}}},
  year         = {{2020}},
}

@article{16725,
  author       = {{Richter, Cedric and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike}},
  journal      = {{Journal of Automated Software Engineering}},
  publisher    = {{Springer}},
  title        = {{{Algorithm Selection for Software Validation Based on Graph Kernels}}},
  year         = {{2020}},
}

@article{13770,
  author       = {{Karl, Holger and Kundisch, Dennis and Meyer auf der Heide, Friedhelm and Wehrheim, Heike}},
  journal      = {{Business & Information Systems Engineering}},
  number       = {{6}},
  pages        = {{467--481}},
  publisher    = {{Springer}},
  title        = {{{A Case for a New IT Ecosystem: On-The-Fly Computing}}},
  doi          = {{10.1007/s12599-019-00627-x}},
  volume       = {{62}},
  year         = {{2020}},
}

@inproceedings{16214,
  author       = {{Pauck, Felix and Bodden, Eric and Wehrheim, Heike}},
  booktitle    = {{Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria}},
  editor       = {{Felderer, Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, Reiner}},
  pages        = {{123--124}},
  publisher    = {{Gesellschaft f{\"{u}}r Informatik e.V.}},
  title        = {{{Reproducing Taint-Analysis Results with ReproDroid}}},
  doi          = {{10.18420/SE2020_36}},
  year         = {{2020}},
}