TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts.
Chenyang MaWei SongJeff HuangPublished in: ESEC/SIGSOFT FSE (2023)
Keyphrases
- false positives
- false alarms
- detection algorithm
- object detection
- detection method
- automatic detection
- detection accuracy
- detection rate
- database
- data sets
- information retrieval
- detection scheme
- piecewise linear
- concurrency control
- transaction model
- transaction management
- supply chain
- data structure
- reinforcement learning
- decision making
- search engine
- real time