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: Yang:Guowei
Contributed to:
20152014
20142013
20122012
2011
2011
20092015Wrote 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.