Travelled to:1 × Belgium
1 × Canada
1 × Switzerland
1 × The Netherlands
2 × Hungary
2 × USA
Collaborated with:A.Roychoudhury J.Yi Z.Liang H.D.T.Nguyen H.D.T.Nguyen S.Chandra S.H.Tan M.N.Ngo T.Sun K.Vaswani W.N.Sumner F.Qin M.Zheng X.Zhang
Talks about:chang (5) softwar (3) program (3) contract (2) environ (2) evolv (2) approach (1) generat (1) express (1) analysi (1)
Person: Dawei Qi
DBLP: Qi:Dawei
Contributed to:
2013
2013
2012
2012
2011
2011
20102009Wrote 8 papers:
- ICSE-2013-NguyenQRC #analysis #named #program repair #semantics
- SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.
- ISSTA-2013-YiQTR #contract
- Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.
- FSE-2012-QiYR #contract
- Software change contracts (DQ, JY, AR), p. 22.
- WCRE-2012-QiSQZZR #execution #modelling
- Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
- ESEC-FSE-2011-QiNR
- Path exploration based on symbolic output (DQ, HDTN, AR), pp. 278–288.
- PASTE-2011-QiNSR
- Locating failure-inducing environment changes (DQ, MNN, TS, AR), pp. 29–36.
- ASE-2010-QiRL #evolution #generative #source code #testing
- Test generation to expose changes in evolving programs (DQ, AR, ZL), pp. 397–406.
- ESEC-FSE-2009-QiRLV #approach #debugging #evolution #named #source code
- Darwin: an approach for debugging evolving programs (DQ, AR, ZL, KV), pp. 33–42.