Fast detection of concurrency errors by state space traversal with randomization and early backtracking.
Pavel ParízekOndrej LhotákPublished in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
- state space
- false alarms
- search algorithm
- search space
- heuristic search
- data structure
- detection method
- object detection
- dynamical systems
- false positives
- automatic detection
- detection algorithm
- anomaly detection
- error detection
- markov decision processes
- data flow
- databases
- search tree
- concurrency control protocols
- detection rate
- event detection
- constraint satisfaction
- privacy preserving
- optimal policy
- database systems