Login / Signup
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications.
Nina Yevtushenko
Khaled El-Fakih
Anton Ermakov
Published in:
ICTSS (2016)
Keyphrases
</>
test sequences
hidden markov models
data sets
neural network
construction process
fully observable
high level
logic programs
test cases
sequential patterns
black box
finite state
delay insensitive