QUARK: Empirical Assessment of Automaton-based Specification Miners.

David Lo Siau-Cheng Khoo

Published in: WCRE (2006)

Keyphrases

finite automaton
tree automata
high level
theoretical analysis
lower bound
risk assessment
formal specification
formal verification
real world
data mining
machine learning
decision making
web services
programming language
markov chain