Property-Driven Cooperative Logging for Concurrency Bugs Replication.
Nuno MachadoPaolo RomanoLuís E. T. RodriguesPublished in: HotPar (2013)
Keyphrases
- cooperative
- software systems
- concurrency control
- distributed problem solving
- distributed databases
- fault tolerant
- multi agent
- cooperative learning
- source code
- dynamic allocation
- cooperating agents
- test cases
- data driven
- database systems
- fault tolerance
- software projects
- data flow
- root cause
- data model
- concurrent execution
- information retrieval