%0 Conference Paper %1 conf/icse-formalise/SharmaMHW22 %A Sharma, Arnab %A Melnikov, Vitalik %A Hüllermeier, Eyke %A Wehrheim, Heike %B FormaliSE@ICSE %D 2022 %E Hartmanns, Arnd %E Schaefer, Ina %E Gnesi, Stefania %E Plat, Nico %I ACM %K dblp %P 113-123 %T Property-Driven Testing of Black-Box Functions. %U http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2022.html#SharmaMHW22 %@ 978-1-4503-9287-7

@inproceedings{conf/icse-formalise/SharmaMHW22, added-at = {2022-07-26T00:00:00.000+0200}, author = {Sharma, Arnab and Melnikov, Vitalik and Hüllermeier, Eyke and Wehrheim, Heike}, biburl = {https://www.bibsonomy.org/bibtex/2912797c3b9d4e04ccbe3a86039620f46/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse-formalise/2022}, editor = {Hartmanns, Arnd and Schaefer, Ina and Gnesi, Stefania and Plat, Nico}, ee = {https://ieeexplore.ieee.org/document/9796459}, interhash = {d560698cc68092520b1366473aff28ec}, intrahash = {912797c3b9d4e04ccbe3a86039620f46}, isbn = {978-1-4503-9287-7}, keywords = {dblp}, pages = {113-123}, publisher = {ACM}, timestamp = {2024-04-09T20:56:57.000+0200}, title = {Property-Driven Testing of Black-Box Functions.}, url = {http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2022.html#SharmaMHW22}, year = 2022 }