Sign in
Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning.
Chao Li
Rui Chen
Boxiang Wang
Tingting Yu
Dongdong Gao
Mengfei Yang
Published in:
ISSTA (2022)
Keyphrases
</>
search space
computationally efficient
tree construction
cost effective
automatic detection
detection accuracy
computer vision
web services
object detection
data driven
detection algorithm
detection method
detection rate
false alarms
pruning method
effective pruning