Sign in
Automatically detecting missing cleanup for ungraceful exits.
Zhouyang Jia
Shanshan Li
Tingting Yu
Xiangke Liao
Ji Wang
Published in:
ESEC/SIGSOFT FSE (2019)
Keyphrases
</>
automatically detecting
automatic detection
symbolic reasoning