Travelled to:1 × South Korea
2 × USA
Collaborated with:M.Huang H.Sun Y.Wang B.Chen W.Wang Y.Lu Z.Zhang C.Su
Talks about:vulner (3) improv (3) detect (3) model (2) structur (1) crashmak (1) accuraci (1) softwar (1) analysi (1) toward (1)
Person: Qingkai Zeng
DBLP: Zeng:Qingkai
Contributed to:
2015
20142010Wrote 5 papers:
- SEKE-2015-SunSWZ #analysis #data flow #detection #fault #integer #using
- Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis (HS, CS, YW, QZ), pp. 601–606.
- SEKE-2015-WangSZ #detection #execution #symbolic computation
- Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.
- SAC-2014-ChenZW #detection #named #testing
- Crashmaker: an improved binary concolic testing tool for vulnerability detection (BC, QZ, WW), pp. 1257–1263.
- SEKE-2010-HuangLZ #towards
- Towards a Structured Model for Software Vulnerabilities (MH, YL, QZ), pp. 543–547.
- SEKE-2010-ZhangZH #model checking #precise
- Some Improvements for More Precise Model Checking (ZZ, QZ, MH), pp. 106–112.