@inbookWehrheim_Hüllermeier_Becker_Becker_Richter_Sharma_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Composition Analysis in Unknown Contexts, volume=412, DOI=10.5281/zenodo.8068510, booktitle=On-The-Fly Computing -- Individualized IT-services in dynamic markets, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Wehrheim, Heike and Hüllermeier, Eyke and Becker, Steffen and Becker, Matthias and Richter, Cedric and Sharma, Arnab, editor=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, pages=105–123, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

@inproceedingsSharma_Melnikov_Hüllermeier_Wehrheim_2022, title=Property-Driven Testing of Black-Box Functions, booktitle=Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), publisher=IEEE, author=Sharma, Arnab and Melnikov, Vitaly and Hüllermeier, Eyke and Wehrheim, Heike, year=2022, pages=113–123 
LibreCat: /record/32311

@articleSharma_Demir_Ngonga Ngomo_Wehrheim_2021, title=MLCheck- Property-Driven Testing of Machine Learning Models, volume=abs/2105.00741, journal=CoRR, author=Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike, year=2021 
LibreCat: /record/25213

@inproceedingsSharma_Demir_Ngonga Ngomo_Wehrheim, title=MLCHECK–Property-Driven Testing of Machine Learning Classifiers, booktitle=Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), publisher=IEEE, author=Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike 
LibreCat: /record/28350

@inproceedingsSharma_Wehrheim, series=LNCS, title=Automatic Fairness Testing of Machine Learning Models, booktitle=Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), publisher=Springer, author=Sharma, Arnab and Wehrheim, Heike, collection=LNCS 
LibreCat: /record/19656

@articleSharma_Wehrheim_2020, title=Testing Monotonicity of Machine Learning Models, volume=abs/2002.12278, journal=CoRR, author=Sharma, Arnab and Wehrheim, Heike, year=2020 
LibreCat: /record/20279

@inproceedingsSharma_Wehrheim, title=Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models, booktitle=Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., publisher=ACM, author=Sharma, Arnab and Wehrheim, Heike 
LibreCat: /record/16724

@inproceedingsSchneider_Sharma_Karl_Wehrheim_2019, place=Washington, DC, USA, title=Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets, booktitle=2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), publisher=IFIP, author=Schneider, Stefan Balthasar and Sharma, Arnab and Karl, Holger and Wehrheim, Heike, year=2019, pages=116--124 
LibreCat: /record/3287

@inproceedingsSharma_Wehrheim_2019, place=Stuttgart, series=Lecture Notes in Informatics (LNI), title=Testing Balancedness of ML Algorithms, volume=P-292, booktitle=Proceedings of the Software Engineering Conference (SE), publisher=Gesellschaft für Informatik e.V. (GI), author=Sharma, Arnab and Wehrheim, Heike, year=2019, pages=157–158, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/7752

@inproceedingsSharma_Wehrheim_2019, place=Xi’an, China, title=Testing Machine Learning Algorithms for Balanced Data Usage, booktitle=IEEE International Conference on Software Testing, Verification and Validation (ICST), publisher=IEEE, author=Sharma, Arnab and Wehrheim, Heike, year=2019, pages=125--135 
LibreCat: /record/7635

@inproceedingsSharma_Wehrheim_2019, series=LNI, title=Testing Balancedness of ML Algorithms, volume=P-292, DOI=10.18420/se2019-48, booktitle=Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, publisher=GI, author=Sharma, Arnab and Wehrheim, Heike, editor=Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors, year=2019, pages=157–158, collection=LNI 
LibreCat: /record/10094
DOI: 10.18420/se2019-48