Login / Signup
Advanced Ramsey-Based Büchi Automata Inclusion Testing.
Parosh Aziz Abdulla
Yu-Fang Chen
Lorenzo Clemente
Lukás Holík
Chih-Duo Hong
Richard Mayr
Tomás Vojnar
Published in:
CONCUR (2011)
Keyphrases
</>
cellular automata
test cases
real time
reinforcement learning
regular expressions
finite state
finite automata
databases
learning algorithm
artificial intelligence
expert systems
test data
information gain
software testing