Wehrheim, H., Hüllermeier, E., Becker, S., Becker, M., Richter, C., &; Sharma, A. (2023). Composition Analysis in Unknown Contexts. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, &; H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 105–123). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.5281/zenodo.8068510 
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

Sharma, A., Melnikov, V., Hüllermeier, E., &; Wehrheim, H. (2022). Property-Driven Testing of Black-Box Functions. Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–123.
LibreCat: /record/32311

Sharma, A., Demir, C., Ngonga Ngomo, A.-C., &; Wehrheim, H. (2021). MLCheck- Property-Driven Testing of Machine Learning Models. CoRR, abs/2105.00741.
LibreCat: /record/25213

Sharma, A., Demir, C., Ngonga Ngomo, A.-C., &; Wehrheim, H. (n.d.). MLCHECK–Property-Driven Testing of Machine Learning Classifiers. Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA).
LibreCat: /record/28350

Sharma, A., &; Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine Learning Models. In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). Springer.
LibreCat: /record/19656

Sharma, A., &; Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. CoRR, abs/2002.12278.
LibreCat: /record/20279

Sharma, A., &; Wehrheim, H. (n.d.). Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM.
LibreCat: /record/16724

Schneider, S. B., Sharma, A., Karl, H., &; Wehrheim, H. (2019). Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM) (pp. 116--124). Washington, DC, USA: IFIP.
LibreCat: /record/3287

Sharma, A., &; Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In Proceedings of the Software Engineering Conference (SE) (Vol. P-292, pp. 157–158). Stuttgart: Gesellschaft für Informatik e.V. (GI).
LibreCat: /record/7752

Sharma, A., &; Wehrheim, H. (2019). Testing Machine Learning Algorithms for Balanced Data Usage. In IEEE International Conference on Software Testing, Verification and Validation (ICST) (pp. 125--135). Xi’an, China: IEEE.
LibreCat: /record/7635

Sharma, A., &; Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In S. Becker, I. Bogicevic, G. Herzwurm, &; S. Wagner (Eds.), Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 157–158). GI.https://doi.org/10.18420/se2019-48 
LibreCat: /record/10094
DOI: 10.18420/se2019-48