Login / Signup
A formal approach to test scenarios generation based on guides.
Pavel D. Drobintsev
Vsevolod Kotlyarov
Alexander A. Letichevsky
Published in:
Autom. Control. Comput. Sci. (2014)
Keyphrases
</>
real world
machine learning
test data
learning scenarios
formal model
database
data sets
learning algorithm
computer vision
digital libraries
evolutionary algorithm
logic programs
test cases
statistical tests
formal analysis
formal models