Keyphrases
- concurrency control
- database systems
- fault localization
- model based diagnosis
- dynamic allocation
- nested transactions
- transaction processing
- software testing
- concurrent programming
- execution traces
- java programs
- artificial intelligence
- concurrency control protocols
- real world
- novice programmers
- data flow
- search algorithm