Login / Signup
Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel.
Jia-Ju Bai
Julia Lawall
Shi-Min Hu
Published in:
ACM Trans. Comput. Syst. (2020)
Keyphrases
</>
linux kernel
databases
automatic detection
false positives
detection algorithm
real world
detection accuracy
contextual information
object oriented
database systems
operating system
detection method
context aware
context sensitive
false alarms
case study
bug fix