Static Specification Mining Using Automata-Based Abstractions.

Sharon Shoham Eran Yahav Stephen J. Fink Marco Pistoia

Published in: IEEE Trans. Software Eng. (2008)

Keyphrases

high level
text mining
data mining
mining algorithm
association mining
knowledge discovery
association rule mining
frequent patterns
dynamic constraints
database
provably correct
dynamic analysis
preprocessing
case study
artificial intelligence
learning algorithm
data sets