Arnab Sharma
Spezifikation und Modellierung von Softwaresystemen
Technischer Mitarbeiter - Wissenschaftlicher Mitarbeiter
- E-Mail:
- arnab.sharma@uni-paderborn.de
- Telefon:
- +49 5251 60-5388
- Web:
- Homepage
- Büroanschrift:
-
Pohlweg 51
33098 Paderborn - Raum:
- O4.131
Publikationen
Aktuelle Publikationen
Composition Analysis in Unknown Contexts
H. Wehrheim, E. Hüllermeier, S. Becker, M. Becker, C. Richter, A. Sharma, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 105–123.
Property-Driven Testing of Black-Box Functions
A. Sharma, V. Melnikov, E. Hüllermeier, H. Wehrheim, in: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–123.
MLCheck- Property-Driven Testing of Machine Learning Models
A. Sharma, C. Demir, A.-C. Ngonga Ngomo, H. Wehrheim, CoRR abs/2105.00741 (2021).
MLCHECK–Property-Driven Testing of Machine Learning Classifiers
A. Sharma, C. Demir, A.-C. Ngonga Ngomo, H. Wehrheim, in: Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), IEEE, n.d.
Automatic Fairness Testing of Machine Learning Models
Alle Publikationen anzeigen
A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer, n.d.