tm_db: A Generic Debugging Library for Transactional Programs.
Maurice HerlihyYossi LevPublished in: PACT (2009)
Keyphrases
- java programs
- hardware designs
- domain specific
- novice programmers
- high level programming
- program slicing
- fault tolerant
- computer programs
- application programs
- automatic programming
- model based diagnosis
- information systems
- neural network
- data sets
- programming environment
- fault localization
- answer sets
- db universal database
- execution traces
- case study