Robustness Testing of Intermediate Verifiers.

Yuting Chen Carlo A. Furia

Published in: ATVA (2018)

Keyphrases

data sets
machine learning
genetic algorithm
computer vision
wide range
digital libraries
software testing
real time
databases
artificial intelligence
feature selection
multimedia
image segmentation
search algorithm
medical images
test cases