Login / Signup
A Logical Approach to Generating Test Plans.
Tobias Morciniec
Andreas Podelski
Published in:
CoRR (2016)
Keyphrases
</>
test data
orders of magnitude
statistical tests
plan recognition
automatically generating
real time
learning algorithm
case study
multiscale
search algorithm
evolutionary algorithm
hidden markov models