Testing mined specifications.

Mark Gabel Zhendong Su

Published in: SIGSOFT FSE (2012)

Keyphrases

databases
association rules
high level
database
data mining
decision making
software testing
delay insensitive
relational databases
software development
formal specification
functional requirements
specification language
formal verification
code generation