Property-Driven Black-Box Testing of Numeric Functions.

Arnab Sharma Vitalik Melnikov Eyke Hüllermeier Heike Wehrheim

Published in: Software Engineering (2023)

Keyphrases

black box
white box
integration testing
test cases
white box testing
black boxes
rule extraction
software testing
hybrid systems
data driven
test data
testing process
semantic annotation