From Temporal Models to Property-based Testing.

Nasser Alzahrani Maria Spichkova Jan Olaf Blech

Published in: ENASE (2017)

Keyphrases

probabilistic model
database
real time
statistical models
face recognition
temporal information
real world
machine learning
knowledge base
three dimensional
image sequences
test set
test cases
bayesian framework