Property-Driven Testing of Black-Box Functions.

Arnab Sharma Vitalik Melnikov Eyke Hüllermeier Heike Wehrheim

Published in: FormaliSE@ICSE (2022)

Keyphrases

black box
white box
test cases
integration testing
white box testing
black boxes
test data
data driven
software testing
rule extraction
testing process
neural network
test set
data sets
relational databases
test suite
feature extraction
decision trees
machine learning