Automatic Error Localization for Software using Deductive Verification.
Robert KönighoferRonald ToeglRoderick BloemPublished in: CoRR (2014)
Keyphrases
- software development
- software design
- source code
- fully automatic
- software systems
- localization error
- software tools
- software architecture
- user interface
- semi automatic
- computer systems
- data sets
- software packages
- test cases
- error rate
- real time
- case study
- information systems
- abductive inference
- functional programs
- software platform
- hardware design
- neural network
- software package
- personal computer
- software projects
- face recognition
- data model
- model checking
- object oriented
- programming language