TY - JOUR AU - Sharma, Arnab AU - Wehrheim, Heike ID - 20279 JF - CoRR TI - Testing Monotonicity of Machine Learning Models VL - abs/2002.12278 ER - TY - JOUR AU - Dalvandi, Sadegh AU - Doherty, Simon AU - Dongol, Brijesh AU - Wehrheim, Heike ID - 21016 IS - 2 JF - Dagstuhl Artifacts Ser. TI - Owicki-Gries Reasoning for C11 RAR (Artifact) VL - 6 ER - TY - CONF AU - Dalvandi, Sadegh AU - Doherty, Simon AU - Dongol, Brijesh AU - Wehrheim, Heike ED - Hirschfeld, Robert ED - Pape, Tobias ID - 21017 T2 - 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference) TI - Owicki-Gries Reasoning for C11 RAR VL - 166 ER - TY - CONF AU - Richter, Cedric AU - Wehrheim, Heike ID - 21018 T2 - 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020 TI - Attend and Represent: A Novel View on Algorithm Selection for Software Verification ER - TY - GEN ED - Ahrendt, Wolfgang ED - Wehrheim, Heike ID - 21019 SN - 978-3-030-50994-1 TI - Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] VL - 12165 ER - TY - GEN AB - 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 AU - Haltermann, Jan Frederik AU - Wehrheim, Heike ID - 17825 T2 - arXiv:2008.04551 TI - Cooperative Verification via Collective Invariant Generation ER - TY - CONF AU - Sharma, Arnab AU - Wehrheim, Heike ID - 16724 T2 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). TI - Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models ER - TY - JOUR AU - Richter, Cedric AU - Hüllermeier, Eyke AU - Jakobs, Marie-Christine AU - Wehrheim, Heike ID - 16725 JF - Journal of Automated Software Engineering TI - Algorithm Selection for Software Validation Based on Graph Kernels ER - TY - JOUR AU - Karl, Holger AU - Kundisch, Dennis AU - Meyer auf der Heide, Friedhelm AU - Wehrheim, Heike ID - 13770 IS - 6 JF - Business & Information Systems Engineering TI - A Case for a New IT Ecosystem: On-The-Fly Computing VL - 62 ER - TY - CONF AU - Pauck, Felix AU - Bodden, Eric AU - Wehrheim, Heike ED - Felderer, Michael ED - Hasselbring, Wilhelm ED - Rabiser, Rick ED - Jung, Reiner ID - 16214 T2 - Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria TI - Reproducing Taint-Analysis Results with ReproDroid ER -