UNICORN: a unified approach for localizing non-deadlock concurrency bugs.
Sangmin ParkRichard W. VuducMary Jean HarroldPublished in: Softw. Test. Verification Reliab. (2015)
Keyphrases
- software systems
- concurrency control
- source code
- database systems
- software projects
- transaction processing
- data flow
- nested transactions
- image processing
- test cases
- databases
- dynamic allocation
- object oriented languages
- root cause
- software engineering
- query processing
- expert systems
- multi agent systems
- multi agent
- decision making
- information systems
- concurrency control protocols
- computer vision
- machine learning
- real time