BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
2 × India
5 × USA
Collaborated with:
M.L.Soffa S.D.Pattison D.E.Krutz ∅ X.Xie X.Li Y.Liu H.Chen B.C.0001 Y.L.0003
Talks about:
path (5) analysi (3) overflow (2) segment (2) sensit (2) driven (2) detect (2) demand (2) buffer (2) fault (2)

Person: Wei Le

DBLP DBLP: Le:Wei

Contributed to:

ISSTA 20152015
ICSE 20142014
MSR 20142014
ICSE 20132013
ISSTA 20112011
FSE 20102010
FSE 20082008
PASTE 20072007
FSE 20162016

Wrote 9 papers:

ISSTA-2015-XieLLLC #automation #multi #named #string #summary
S-looper: automatic summarization for multipath string loops (XX, YL, WL, XL, HC), pp. 188–198.
ICSE-2014-LeP #control flow #graph #interprocedural #multi #verification
Patch verification via multiversion interprocedural control flow graphs (WL, SDP), pp. 1047–1058.
MSR-2014-KrutzL #clone detection
A code clone oracle (DEK, WL), pp. 388–391.
ICSE-2013-Le #analysis
Segmented symbolic analysis (WL), pp. 212–221.
ISSTA-2011-LeS #analysis #detection #fault #generative
Generating analyses for detecting faults in path segments (WL, MLS), pp. 320–330.
FSE-2010-LeS #correlation #fault
Path-based fault correlations (WL, MLS), pp. 307–316.
FSE-2008-LeS #detection #named
Marple: a demand-driven path-sensitive buffer overflow detector (WL, MLS), pp. 272–282.
PASTE-2007-LeS #analysis #detection
Refining buffer overflow detection via demand-driven path-sensitive analysis (WL, MLS), pp. 63–68.
FSE-2016-XieCLLL #analysis #dependence #named #summary
Proteus: computing disjunctive loop summary via path dependency analysis (XX, BC0, YL0, WL, XL), pp. 61–72.
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.