Automatic Error Localization for Software Using Deductive Verification.
Robert KönighoferRonald ToeglRoderick BloemPublished in: Haifa Verification Conference (2014)
Keyphrases
- software systems
- hardware designs
- software design
- localization error
- software development
- model checking
- formal methods
- hypothesis formation
- data driven
- error rate
- object oriented
- semi automatic
- software quality
- localization algorithm
- commercial software
- formal verification
- software evolution
- software package
- generalization error
- software testing
- software maintenance
- neural network
- error bounds
- software architecture
- computer systems
- distributed systems
- source code
- artificial intelligence