Software model checking without source code.
Sagar ChakiJames IversPublished in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
- source code
- model checking
- software systems
- temporal logic
- open source
- software projects
- software maintenance
- formal verification
- formal specification
- open source software
- open source projects
- model checker
- software evolution
- computation tree logic
- static analysis
- symbolic model checking
- source files
- program understanding
- software engineers
- bug localization
- epistemic logic
- verification method
- version control
- free software
- mining software repositories
- impact analysis
- object oriented systems
- bounded model checking
- software artifacts
- maintenance activities
- software repositories
- alternating time temporal logic
- formal methods
- high level
- execution traces
- text files
- reactive systems
- legacy systems
- software design
- bug reports
- program comprehension
- case study
- artificial intelligence