Travelled to:1 × USA
Collaborated with:Y.Wang Q.Zeng C.Su Y.Yang Y.J.0001 Z.Z.0002 Y.Wang H.Lu Y.Zhou B.Xu
Talks about:detect (2) accuraci (1) coverag (1) automat (1) analysi (1) vulner (1) symbol (1) static (1) signed (1) profil (1)
Person: Hao Sun
DBLP: Sun:Hao
Contributed to:
2015
2019Wrote 3 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.
- ASE-2019-YangJ0WSLZX #automation #self #test coverage
- Automatic Self-Validation for Code Coverage Profilers (YY, YJ0, ZZ0, YW, HS, HL, YZ, BX), pp. 79–90.