Travelled to:1 × Australia
1 × China
Collaborated with:J.Zhang X.Wang S.Dudoladov S.Schelter A.Katsifodimos S.Ewen K.Tzoumas V.Markl
Talks about:constraint (1) techniqu (1) recoveri (1) optimist (1) dataflow (1) generat (1) symbol (1) orient (1) execut (1) action (1)
Person: Chen Xu
DBLP: Xu:Chen
Contributed to:
2015
2004Wrote 2 papers:
- SIGMOD-2015-DudoladovXSKETM
- Optimistic Recovery for Iterative Dataflows in Action (SD, CX, SS, AK, SE, KT, VM), pp. 1439–1443.
- SEFM-2004-ZhangXW #constraints #execution #generative #symbolic computation #testing #theorem proving #using
- Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques (JZ, CX, XW), pp. 242–250.