Static specification mining using automata-based abstractions.

Sharon Shoham Eran Yahav Stephen Fink Marco Pistoia

Published in: ISSTA (2007)

Keyphrases

high level
web mining
data mining
knowledge discovery
pattern mining
frequent patterns
mining algorithm
formal verification
reinforcement learning
itemsets
data mining methods
provably correct