Travelled to:1 × Belgium
1 × India
1 × Switzerland
1 × USA
Collaborated with:E.R.Murphy-Hill Q.L.DuBose D.C.Shepherd K.Damevski K.Taneja T.Xie N.Tillmann
Talks about:refactor (3) manual (2) recommend (1) reconcil (1) automat (1) symbol (1) static (1) search (1) result (1) execut (1)
Person: Xi Ge
DBLP: Ge:Xi
Contributed to:
2014
201420122011Wrote 4 papers:
- CSMR-WCRE-2014-GeSDM #how #query #recommendation
- How the Sando search tool recommends queries (XG, DCS, KD, ERMH), pp. 425–428.
- ICSE-2014-GeM #automation #refactoring #validation
- Manual refactoring changes with automated refactoring validation (XG, ERMH), pp. 1095–1105.
- ICSE-2012-GeDM #automation #refactoring
- Reconciling manual and automatic refactoring (XG, QLD, ERMH), pp. 211–221.
- ICSE-2011-GeTXT #execution #named #symbolic computation #verification
- DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.