On Handling Source Code Positions and Local Variables in LTL Software Model Checking.
Guillaume HétierHanifa BouchenebPublished in: ICSOFT (2018)
Keyphrases
- model checking
- source code
- temporal logic
- software systems
- bounded model checking
- open source
- formal verification
- software maintenance
- software projects
- program slicing
- formal specification
- linear temporal logic
- model checker
- software evolution
- static analysis
- source files
- open source projects
- formal methods
- free software
- text files
- verification method
- computation tree logic
- bug localization
- program understanding
- mining software repositories
- transition systems
- high level
- software engineers
- symbolic model checking
- concurrent systems
- software repositories
- software architecture
- software developers
- petri net
- maintenance activities
- software artifacts
- software quality
- visual basic
- legacy systems
- distributed systems
- bug reports