Towards random and enumerative testing for OCaml and WhyML properties.

Clotilde Erard Alain Giorgetti Jérome Ricciardi

Published in: Softw. Qual. J. (2022)

Keyphrases

test cases
integer programming
desirable properties
neural network
artificial intelligence
computer vision
data mining
multimedia
search algorithm
d objects
rough sets
structural properties