Collaborated with:Y.L.0003 X.Xie X.Li Y.Li X.P.0001 W.Zhao S.Lin W.Le H.Chen Y.Xue C.Zhang L.Chen M.Chandramohan A.Tiu L.Zou K.Huang D.Zhou Y.Wang
Talks about:analysi (2) loop (2) fuzz (2) framework (1) versatil (1) loopster (1) disjunct (1) configur (1) summari (1) steelix (1)
Person: Bihuan Chen 0001
DBLP: 0001:Bihuan_Chen
Contributed to:
2016
2017
201820182019Wrote 6 papers:
- FSE-2016-XieCLLL #analysis #dependence #named #summary
- Proteus: computing disjunctive loop summary via path dependency analysis (XX, BC0, YL0, WL, XL), pp. 61–72.
- ESEC-FSE-2017-LiCCLLT #fuzzing #named
- Steelix: program-state based binary fuzzing (YL, BC0, MC, SWL, YL0, AT), pp. 627–637.
- ESEC-FSE-2017-XieCZLLL #analysis #named #termination
- Loopster: static loop termination analysis (XX, BC0, LZ, SWL, YL0, XL), pp. 84–94.
- ASE-2018-HuangCPZWLZ #difference #generative #named
- ClDiff: generating concise linked code differences (KH, BC0, XP0, DZ, YW, YL0, WZ), pp. 679–690.
- ESEC-FSE-2018-ChenLCXL #configuration management #framework #fuzzing #named
- FOT: a versatile, configurable, extensible fuzzing framework (HC, YL, BC0, YX, YL0), pp. 867–870.
- ESEC-FSE-2019-Zhang0C0Z #compilation #empirical #fault #integration #scalability
- A large-scale empirical study of compiler errors in continuous integration (CZ, BC0, LC, XP0, WZ), pp. 176–187.