Travelled to:1 × France
1 × Sweden
Collaborated with:D.Hao P.Cousot L.Zhang Y.Xiong L.Zhang B.Xie H.Mei H.Zhang G.Wang J.Han P.Sun L.Z.0023 J.Zhang Y.Bai X.He Q.Lin F.Gao Z.Xu Y.Dang D.Zhang
Talks about:program (2) generat (2) compil (2) test (2) metamorph (1) construct (1) polynomi (1) diversif (1) configur (1) abstract (1)
Person: Junjie Chen
DBLP: Chen:Junjie
Contributed to:
2015
201420162019
2019Wrote 6 papers:
- SAS-2015-ChenC #abstract domain
- A Binary Decision Tree Abstract Domain Functor (JC, PC), pp. 36–53.
- ASE-2014-ZhangCHXXZM #polynomial #search-based
- Search-based inference of polynomial metamorphic relations (JZ, JC, DH, YX, BX, LZ, HM), pp. 701–712.
- ASE-2016-ChenBHZ0XM #static analysis
- Supporting oracle construction via static analysis (JC, YB, DH, LZ, LZ, BX, HM), pp. 178–189.
- ASE-2019-ChenHLZHGXDZ #online #scalability
- Continuous Incident Triage for Large-Scale Online Service Systems (JC, XH, QL, HZ, DH, FG, ZX, YD, DZ), pp. 364–375.
- ASE-2019-ChenWHXZZ #compilation #generative
- History-Guided Configuration Diversification for Compiler Test-Program Generation (JC, GW, DH, YX, HZ, LZ), pp. 305–316.
- ESEC-FSE-2019-ChenHSZHZ #compilation #debugging #effectiveness #generative
- Compiler bug isolation via effective witness test program generation (JC, JH, PS, LZ, DH, LZ0), pp. 223–234.