Wenguang Chen
Wenguang Chen
Home
Publications
Contact
Light
Dark
Automatic
Sequential bug
Do I Use the Wrong Definition? DeFuse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs
Software bugs, such as concurrency, memory and semantic bugs, can significantly affect system reliability. Although much effort has …
Yao Shi
,
Soyeon Park
,
Zuoning Yin
,
Shan Lu
,
Yuanyuan Zhou
,
Wenguang Chen
,
Weimin Zheng
PDF
Cite
DOI
URL
Cite
×