An Automata-Based Approach to Property Testing in Event Traces.

Hesham Hallal Sergiy Boroday Andreas Ulrich Alexandre Petrenko

Published in: TestCom (2003)

Keyphrases

event detection
cellular automata
news articles
artificial intelligence
event recognition
probabilistic automata
desirable properties
test cases
test set
data streams
temporal patterns
finite state machines
software testing
event driven
similarity measure
finite automata
tree automata
neural network