Property-Driven Black-Box Testing of Numeric Functions

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]

Authors

Arnab Sharma

This author has not been identified. Look up 'Arnab Sharma' in Google

Vitalik Melnikov

This author has not been identified. Look up 'Vitalik Melnikov' in Google

Eyke Hüllermeier

This author has not been identified. Look up 'Eyke Hüllermeier' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google