Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim. Property-Driven Black-Box Testing of Numeric Functions. In Gregor Engels, Regina Hebig, Matthias Tichy, editors, Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn. Volume P-332 of LNI, pages 111-112, Gesellschaft für Informatik e.V., 2023. [doi]
Abstract is missing.