Investigating Program Behavior Using the Texada LTL Specifications Miner.
Caroline LemieuxIvan BeschastnikhPublished in: ASE (2015)
Keyphrases
- bounded model checking
- model checking
- control flow
- software engineering
- transition systems
- data sets
- high level
- temporal logic
- human behavior
- linear time temporal logic
- delay insensitive
- execution traces
- concurrent systems
- program execution
- model checker
- behavior patterns
- formal verification
- formal specification
- data mining techniques
- case study
- information systems