Collaborated with:M.G.0001 J.Sun X.Song Y.Wang X.Cheng C.Li Z.Gu H.Z.0002 G.Chen Y.J.0001
Talks about:analysi (3) static (2) infer (2) error (2) tool (2) reachabl (1) determin (1) pointer (1) automat (1) tsmart (1)
Person: Min Zhou 0001
DBLP: 0001:Min_Zhou
Contributed to:
20172019Wrote 4 papers:
- ASE-2017-ChengZS0S #automation #fault #integer #named #type inference
- IntPTI: automatic integer error repair with proper-type inference (XC, MZ0, XS, MG0, JS), pp. 996–1001.
- ASE-2017-WangZJS0S #optimisation #reachability #static analysis
- A static analysis tool with optimizations for reachability determination (YW, MZ0, YJ0, XS, MG0, JS), pp. 925–930.
- ASE-2019-Li0G00 #fault #named #specification #static analysis
- Ares: Inferring Error Specifications through Static Analysis (CL, MZ0, ZG, MG0, HZ0), pp. 1174–1177.
- ASE-2019-WangC00S #analysis #fault #memory management #named #pointer
- TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis (YW, GC, MZ0, MG0, JS), pp. 1170–1173.