Sign in

General LTL Specification Mining (T).

Caroline LemieuxDennis ParkIvan 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