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 × Canada
1 × France
1 × India
1 × Italy
5 × USA
Collaborated with:
S.Khurshid C.S.Pasareanu S.Person N.Rungta L.Zhang M.Kim M.B.Dwyer G.Rothermel A.Filieri R.Qiu S.A.Khalek D.Marinov
Talks about:
symbol (5) execut (5) memoiz (3) test (3) increment (2) specif (2) check (2) tool (2) use (2) probabilist (1)

Person: Guowei Yang

DBLP DBLP: Yang:Guowei

Contributed to:

ICSE 20152015
ICSE 20142014
ISSTA 20142014
ICSE 20132013
FM 20122012
ISSTA 20122012
ASE 20112011
PLDI 20112011
ICSM 20092009
ASE 20152015

Wrote 10 papers:

ICSE-v1-2015-QiuYPK #composition #execution #symbolic computation
Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
ICSE-2014-YangKPR #difference #incremental
Property differencing for incremental checking (GY, SK, SP, NR), pp. 1059–1070.
ISSTA-2014-ZhangYRPK #invariant
Feedback-driven dynamic invariant discovery (LZ, GY, NR, SP, SK), pp. 362–372.
ICSE-2013-YangKP #execution #named #symbolic computation
Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
FM-2012-YangKK #formal method #lightweight #using
Specification-Based Test Repair Using a Lightweight Formal Method (GY, SK, MK), pp. 455–470.
ISSTA-2012-YangPK #execution #symbolic computation
Memoized symbolic execution (GY, CSP, SK), pp. 144–154.
ASE-2011-KhalekYZMK #alloy #java #named #source code #specification #testing #using
TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
PLDI-2011-PersonYRK #execution #incremental #symbolic computation
Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.
ICSM-2009-YangDR #model checking
Regression model checking (GY, MBD, GR), pp. 115–124.
ASE-2015-FilieriPY #execution #probability #quantifier #symbolic computation
Quantification of Software Changes through Probabilistic Symbolic Execution (N) (AF, CSP, GY), pp. 703–708.

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.