Login / Signup
Hardness of Deriving Invertible Sequences from Finite State Machines.
Robert M. Hierons
Mohammad Reza Mousavi
Michael Kirkedal Thomsen
Uraz Cengiz Türker
Published in:
SOFSEM (2017)
Keyphrases
</>
finite state machines
hidden markov models
finite state automata
model checking
test sequences
regular expressions
mutation testing
digital circuits
phase transition
long sequences
learning theory
databases
data mining
np hardness
test cases
domain knowledge
data model