Login / Signup
From Temporal Models to Property-Based Testing.
Nasser Alzahrani
Maria Spichkova
Jan Olaf Blech
Published in:
CoRR (2017)
Keyphrases
</>
statistical models
decision trees
probabilistic model
temporal information
real world
statistical model
experimental data