Login / Signup
A new tool for random testability evaluation using simulation and formal proof.
Emmanuel Simeu
Anura Puissochet
Jean-Luc Rainard
Anne-Marie Tagant
Michel Poize
Published in:
VTS (1992)
Keyphrases
</>
formal proof
comparative evaluation
gold standard
numerical simulations
test data generation
simulation models
high fidelity
mathematical models
evaluation measures
simulation model
real time
empirical evaluation
digital libraries
multi agent
image sequences
computer vision
machine learning
databases
data sets