Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim. Property-Driven Testing of Black-Box Functions. In 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022. pages 113-123, IEEE, 2022. [doi]
@inproceedings{SharmaMHW22,
title = {Property-Driven Testing of Black-Box Functions},
author = {Arnab Sharma and Vitalik Melnikov and Eyke Hüllermeier and Heike Wehrheim},
year = {2022},
url = {https://ieeexplore.ieee.org/document/9796459},
researchr = {https://researchr.org/publication/SharmaMHW22},
cites = {0},
citedby = {0},
pages = {113-123},
booktitle = {10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022},
publisher = {IEEE},
isbn = {978-1-4503-9287-7},
}