Targeted property-based testing.

Andreas Löscher Konstantinos Sagonas

Published in: ISSTA (2017)

Keyphrases

test cases
databases
probabilistic model
neural network
machine learning
genetic algorithm
artificial intelligence
metadata
multimedia
image sequences
optimal solution
data model
hidden markov models
desirable properties