General LTL Specification Mining (T).

Caroline Lemieux Dennis Park Ivan Beschastnikh

Published in: ASE (2015)

Keyphrases

special case
knowledge discovery
closely related
mining algorithm
linear temporal logic
information systems
databases
data mining
knowledge base
case study
web mining
transition systems
bounded model checking