A. Sharma, V. Melnikov, E. Hüllermeier, und 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{DBLP:conf/se/SharmaMHW23,
author = {Arnab Sharma and Vitalik Melnikov and Eyke H{\"{u}}llermeier and Heike Wehrheim},
editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
title = {Property-Driven Black-Box Testing of Numeric Functions},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {111--112},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/20.500.12116/40109},
timestamp = {Wed, 18 Jan 2023 17:44:00 +0100},
biburl = {https://dblp.org/rec/conf/se/SharmaMHW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
A. Sharma, V. Melnikov, E. Hüllermeier, und 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.
@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. -, und 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}
}
A. Sharma, C. Demir, A. -, und 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.
@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 und 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}
}
A. Sharma und 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.
@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}
}
A. Sharma und 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.
@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}
}
A. Sharma und 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.
@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}
}
S. Schneider, A. Sharma, H. Karl, und 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{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}
}
A. Sharma und H. Wehrheim, "Testing Balancedness of ML Algorithms" in Proc. Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019.
@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, und 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}
}
Dokument aufrufenA. Sharma, V. Melnikov, E. Hüllermeier, und 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.