Collaborated with:
S.Li T.Yu X.Liao J.Wang X.Liu Y.Liu
Talks about:
detect (2) error (2) without (1) cleanup (1) automat (1) ungrac (1) specif (1) input (1) handl (1) miss (1)
Person: Zhouyang Jia
DBLP: Jia:Zhouyang
Contributed to:
Wrote 2 papers:
- ASE-2019-JiaLYLWLL #debugging #detection #fault #specification
- Detecting Error-Handling Bugs without Error Specification Input (ZJ, SL, TY, XL, JW, XL, YL), pp. 213–225.
- ESEC-FSE-2019-JiaLYLW #automation #detection
- Automatically detecting missing cleanup for ungraceful exits (ZJ, SL, TY, XL, JW), pp. 751–762.