Collaborated with:
Z.Jia S.Li T.Yu 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: Xiangke Liao
DBLP: Liao:Xiangke
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.