Concurrency Debugging with MaxSMT.
Miguel Terra-NevesNuno MachadoInês LynceVasco M. ManquinhoPublished in: AAAI (2019)
Keyphrases
- concurrency control
- model based diagnosis
- database systems
- data flow
- hardware designs
- nested transactions
- transaction processing
- java programs
- concurrent execution
- software development
- fine grained
- management system
- multiscale
- bayesian networks
- high level
- software testing
- concurrency control protocols
- data mining
- fault localization
- novice programmers
- execution traces
- databases