CONCURRIT: a domain specific language for reproducing concurrency bugs.
Tayfun ElmasJacob BurnimGeorge C. NeculaKoushik SenPublished in: PLDI (2013)
Keyphrases
- software systems
- concurrency control
- source code
- database systems
- test cases
- data flow
- neural network
- dynamic allocation
- concurrent execution
- transaction processing
- expert systems
- software projects
- nested transactions
- search engine
- databases
- bug fix
- data model
- data streams
- computer vision
- integrity checking
- security vulnerabilities