Characterizing verification of bug fixes in two open source IDEs.
Rodrigo R. G. SouzaChristina ChavezPublished in: MSR (2012)
Keyphrases
- open source
- source code
- open source software
- model checking
- software projects
- software systems
- formal verification
- case study
- computer vision
- resource management
- software maintenance
- test generation
- signature verification
- development environments
- bug reports
- asynchronous circuits
- real world
- functional verification
- open source projects
- temporal logic
- distributed systems
- data model
- genetic algorithm