Travelled to:1 × Austria
1 × Italy
Collaborated with:J.H.0001 Z.Yang J.Liu C.Zhao C.Wang S.Guo
Talks about:postcondit (1) synergist (1) regress (1) explain (1) concurr (1) analysi (1) symbol (1) method (1) execut (1) causal (1)
Person: Qiuping Yi
DBLP: Yi:Qiuping
Contributed to:
2015
2015
2018Wrote 3 papers:
- ICSE-v1-2015-YiYLZW #analysis #testing
- A Synergistic Analysis Method for Explaining Failed Regression Tests (QY, ZY, JL, CZ, CW), pp. 257–267.
- ICST-2015-YiYGWLZ #execution #symbolic computation
- Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.
- ESEC-FSE-2018-YiH #concurrent #verification
- Concurrency verification with maximal path causality (QY, JH0), pp. 366–376.