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 × Italy
2 × USA
Collaborated with:
J.Sun Y.Liu S.Lin S.Qin C.Sun Y.Xue J.Wang M.Chandramohan J.S.0001 Y.L.0003 D.Sanán H.Hansen
Talks about:
learn (2) javascript (1) transform (1) interpol (1) behavior (1) backward (1) abstract (1) forward (1) classif (1) between (1)

Person: Hao Xiao


Contributed to:

ESEC/FSE 20152015
ISSTA 20152015
ASE 20132013
ASE 20172017

Wrote 4 papers:

ESEC-FSE-2015-SunXLLQ #abstraction #learning #named #testing #validation
TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.
ISSTA-2015-XueWLXSC #behaviour #classification #detection #javascript #modelling
Detection and classification of malicious JavaScript via attack behavior modelling (YX, JW, YL, HX, JS, MC), pp. 48–59.
ASE-2013-Xiao0LLS #learning #named #type system
TzuYu: Learning stateful typestates (HX, JS, YL, SWL, CS), pp. 432–442.
ASE-2017-LinSXLSH #invariant #named
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers (SWL, JS0, HX, YL0, DS, HH), pp. 793–803.

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.