ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs.
Sepideh KhoshnoodMarkus KusanoChao WangPublished in: ISSTA (2015)
Keyphrases
- constraint solving
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- repair actions
- root cause
- model based diagnosis
- constraint solver
- constraint satisfaction
- software systems
- constraint programming
- fault isolation
- concurrency control
- medical diagnosis
- fault diagnosis
- database systems
- fault detection
- source code
- constraint solvers
- software projects
- database design
- test cases
- search space
- search algorithm