Head

Prof. Dr. Heike Wehrheim 

Secretary

Marion Bramkamp

Uhlhornsweg 84 — Room A3 2-208

+49 441 798-2426

Arnab Sharma

Research interests

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

 

 

 

Publications

  • 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},
      archivePrefix = {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 = {Wed, 25 Nov 2020 00:00:00 +0100},
      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},
      archivePrefix = {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: 2021-04-30)