BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

SEKE 20152015
ASE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.