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

  • [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, pp. 113-123.
    @inproceedings{DBLP:conf/icse-formalise/SharmaMHW22,
      author = {Arnab Sharma and Vitalik Melnikov and Eyke H{\"{u}}llermeier and Heike Wehrheim},
      title = {Property-Driven Testing of Black-Box Functions},
      booktitle = {10th {IEEE/ACM} International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022},
      pages = {113--123},
      publisher = {{ACM}},
      year = {2022},
      url = {https://doi.org/10.1145/3524482.3527657},
      doi = {10.1145/3524482.3527657},
      timestamp = {Tue, 26 Jul 2022 16:41:54 +0200},
      biburl = {https://dblp.org/rec/conf/icse-formalise/SharmaMHW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • A. Sharma, C. Demir, A. -, and H. Wehrheim, "MLCheck- Property-Driven Testing of Machine Learning Models" CoRR, vol. abs/2105.00741, 2021.
    @article{DBLP:journals/corr/abs-2105-00741,
      author = {Arnab Sharma and Caglar Demir and Axel{-}Cyrille Ngonga Ngomo and Heike Wehrheim},
      title = {MLCheck- Property-Driven Testing of Machine Learning Models},
      journal = {CoRR},
      volume = {abs/2105.00741},
      year = {2021},
      url = {https://arxiv.org/abs/2105.00741},
      eprinttype = {arXiv},
      eprint = {2105.00741},
      timestamp = {Wed, 12 May 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2105-00741.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [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, pp. 738-745.
    @inproceedings{DBLP:conf/icmla/SharmaDNW21,
      author = {Arnab Sharma and Caglar Demir and Axel{-}Cyrille Ngonga Ngomo and Heike Wehrheim},
      editor = {M. Arif Wani and Ishwar K. Sethi and Weisong Shi and Guangzhi Qu and Daniela Stan Raicu and Ruoming Jin},
      title = {{MLCHECK-} Property-Driven Testing of Machine Learning Classifiers},
      booktitle = {20th {IEEE} International Conference on Machine Learning and Applications, {ICMLA} 2021, Pasadena, CA, USA, December 13-16, 2021},
      pages = {738--745},
      publisher = {{IEEE}},
      year = {2021},
      url = {https://doi.org/10.1109/ICMLA52953.2021.00123},
      doi = {10.1109/ICMLA52953.2021.00123},
      timestamp = {Tue, 01 Feb 2022 17:24:07 +0100},
      biburl = {https://dblp.org/rec/conf/icmla/SharmaDNW21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • A. Sharma and H. Wehrheim, "Testing Monotonicity of Machine Learning Models" CoRR, vol. abs/2002.12278, 2020.
    @article{DBLP:journals/corr/abs-2002-12278,
      author = {Arnab Sharma and Heike Wehrheim},
      title = {Testing Monotonicity of Machine Learning Models},
      journal = {CoRR},
      volume = {abs/2002.12278},
      year = {2020},
      url = {https://arxiv.org/abs/2002.12278},
      eprinttype = {arXiv},
      eprint = {2002.12278},
      timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2002-12278.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [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, pp. 200-210.
    @inproceedings{DBLP:conf/issta/SharmaW20,
      author = {Arnab Sharma and Heike Wehrheim},
      editor = {Sarfraz Khurshid and Corina S. Pasareanu},
      title = {Higher income, larger loan? monotonicity testing of machine learning models},
      booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
      pages = {200--210},
      publisher = {{ACM}},
      year = {2020},
      url = {https://doi.org/10.1145/3395363.3397352},
      doi = {10.1145/3395363.3397352},
      timestamp = {Wed, 15 Jul 2020 15:59:31 +0200},
      biburl = {https://dblp.org/rec/conf/issta/SharmaW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [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, pp. 255-271.
    @inproceedings{DBLP:conf/pts/SharmaW20,
      author = {Arnab Sharma and Heike Wehrheim},
      editor = {Valentina Casola and Alessandra De Benedictis and Massimiliano Rak},
      title = {Automatic Fairness Testing of Machine Learning Models},
      booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {12543},
      pages = {255--271},
      publisher = {Springer},
      year = {2020},
      url = {https://doi.org/10.1007/978-3-030-64881-7\_16},
      doi = {10.1007/978-3-030-64881-7\_16},
      timestamp = {Tue, 08 Dec 2020 15:44:14 +0100},
      biburl = {https://dblp.org/rec/conf/pts/SharmaW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [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, pp. 125-135.
    @inproceedings{DBLP:conf/icst/SharmaW19,
      author = {Arnab Sharma and Heike Wehrheim},
      title = {Testing Machine Learning Algorithms for Balanced Data Usage},
      booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification, {ICST} 2019, Xi'an, China, April 22-27, 2019},
      pages = {125--135},
      publisher = {{IEEE}},
      year = {2019},
      url = {https://doi.org/10.1109/ICST.2019.00022},
      doi = {10.1109/ICST.2019.00022},
      timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
      biburl = {https://dblp.org/rec/conf/icst/SharmaW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [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, pp. 116-124.
    @inproceedings{DBLP:conf/im/SchneiderSKW19,
      author = {Stefan Schneider and Arnab Sharma and Holger Karl and Heike Wehrheim},
      editor = {Joe Betser and Carol J. Fung and Alex Clemm and J{\'{e}}r{\^{o}}me Fran{\c{c}}ois and Shingo Ata},
      title = {Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets},
      booktitle = {{IFIP/IEEE} International Symposium on Integrated Network Management, {IM} 2019, Washington, DC, USA, April 09-11, 2019},
      pages = {116--124},
      publisher = {{IFIP}},
      year = {2019},
      url = {http://dl.ifip.org/db/conf/im/im2019/188490.pdf},
      timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/im/SchneiderSKW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [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, pp. 157-158.
    @inproceedings{DBLP:conf/se/SharmaW19,
      author = {Arnab Sharma and Heike Wehrheim},
      editor = {Steffen Becker and Ivan Bogicevic and Georg Herzwurm and Stefan Wagner},
      title = {Testing Balancedness of {ML} Algorithms},
      booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019},
      series = {{LNI}},
      volume = {{P-292}},
      pages = {157--158},
      publisher = {{GI}},
      year = {2019},
      url = {https://doi.org/10.18420/se2019-48},
      doi = {10.18420/se2019-48},
      timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/se/SharmaW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. Schneider, A. Sharma, H. Karl, and H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" CoRR, vol. abs/1803.07007, 2018.
    @article{DBLP:journals/corr/abs-1803-07007,
      author = {Stefan Schneider and Arnab Sharma and Holger Karl and Heike Wehrheim},
      title = {Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets},
      journal = {CoRR},
      volume = {abs/1803.07007},
      year = {2018},
      url = {http://arxiv.org/abs/1803.07007},
      eprinttype = {arXiv},
      eprint = {1803.07007},
      timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-1803-07007.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
(Changed: 09 May 2022)