Contact

 Ulhornsweg 84 - Room A02 3-338

Arnab Sharma

Research interests

  • Validation of Machine Learning programs
  • Validation techniques of learned software
  • Validation of Regression programs

 

 

 

Publications

  • D. Leite, A. Silva, G. Casalino, A. Sharma, D. Fortunato, and A. -, "EGNN-C+: Interpretable Evolving Granular Neural Network and Application in Classification of Weakly-Supervised EEG Data Streams" CoRR, vol. abs/2402.17792.
    doi: 10.48550/ARXIV.2402.17792
  • [phdthesis] bibtex | Go to document Go to document
    A. Sharma, "Testing of machine learning algorithms and models" PhD Thesis , 2023.
  • [inproceedings] bibtex | Go to document Go to document
    A. Sharma, V. Melnikov, E. Hüllermeier, and H. Wehrheim, "Property-Driven Black-Box Testing of Numeric Functions" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.
  • [inproceedings] bibtex | Go to document Go to document
    A. Sharma, V. Melnikov, E. Hüllermeier, and H. Wehrheim, "Property-Driven Testing of Black-Box Functions" in Proc. 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, 2022.
    doi: 10.1145/3524482.3527657
  • A. Sharma, C. Demir, A. -, and H. Wehrheim, "MLCheck- Property-Driven Testing of Machine Learning Models" CoRR, vol. abs/2105.00741.
  • [inproceedings] bibtex | Go to document Go to document
    A. Sharma, C. Demir, A. -, and H. Wehrheim, "MLCHECK- Property-Driven Testing of Machine Learning Classifiers" in Proc. 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021, Pasadena, CA, USA, December 13-16, 2021, 2021.
    doi: 10.1109/ICMLA52953.2021.00123
  • A. Sharma and H. Wehrheim, "Testing Monotonicity of Machine Learning Models" CoRR, vol. abs/2002.12278.
  • [inproceedings] bibtex | Go to document Go to document
    A. Sharma and H. Wehrheim, "Higher income, larger loan? monotonicity testing of machine learning models" in Proc. ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, 2020.
    doi: 10.1145/3395363.3397352
  • [inproceedings] bibtex | Go to document Go to document
    A. Sharma and H. Wehrheim, "Automatic Fairness Testing of Machine Learning Models" in Proc. Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, 2020.
    doi: 10.1007/978-3-030-64881-7_16
  • [inproceedings] bibtex | Go to document Go to document
    A. Sharma and H. Wehrheim, "Testing Machine Learning Algorithms for Balanced Data Usage" in Proc. 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019, 2019.
    doi: 10.1109/ICST.2019.00022
  • [inproceedings] bibtex | Go to document Go to document
    S. Schneider, A. Sharma, H. Karl, and H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" in Proc. IFIP/IEEE International Symposium on Integrated Network Management, IM 2019, Washington, DC, USA, April 09-11, 2019, 2019.
  • [inproceedings] bibtex | Go to document Go to document
    A. Sharma and H. Wehrheim, "Testing Balancedness of ML Algorithms" in Proc. Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019.
    doi: 10.18420/SE2019-48
  • S. Schneider, A. Sharma, H. Karl, and H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" CoRR, vol. abs/1803.07007.
(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page