Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples.
Herbert RochaRaimundo S. BarretoLucas C. CordeiroArilo Dias NetoPublished in: IFM (2012)
Keyphrases
- counter examples
- bounded model checking
- formal verification
- model checking
- software systems
- source code
- temporal logic
- linear temporal logic
- programming skills
- bug localization
- root cause
- multi agent systems
- static analysis
- test cases
- software projects
- programming language
- programming environments
- software maintenance
- software development
- fully functional
- reactive systems
- program understanding
- software architecture
- computer systems
- orders of magnitude
- computer software
- maintenance activities
- security vulnerabilities
- programming course
- open source
- software components