BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Yi:Qiuping

Contributed to:

ICSE 20152015
ICST 20152015
ESEC/FSE 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.