Travelled to:1 × Belgium
1 × Singapore
1 × The Netherlands
1 × USA
Collaborated with:A.Roychoudhury D.Qi A.Banerjee J.A.Harlie K.Vaswani G.Bai J.Hao J.Wu Y.Liu A.Martin L.He Y.C.0001 H.Hu P.Su Y.Yang H.Huang J.Yan X.Jia D.Feng
Talks about:program (2) trust (2) evolv (2) debug (2) implement (1) platform (1) overflow (1) approach (1) softwar (1) generat (1)
Person: Zhenkai Liang
DBLP: Liang:Zhenkai
Contributed to:
2014
2010
2010
20092017Wrote 5 papers:
- FM-2014-BaiHWLLM #formal method #model checking #named #platform #towards
- TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.
- ASE-2010-QiRL #evolution #generative #source code #testing
- Test generation to expose changes in evolving programs (DQ, AR, ZL), pp. 397–406.
- FSE-2010-BanerjeeRHL #debugging #implementation
- Golden implementation driven software debugging (AB, AR, JAH, ZL), pp. 177–186.
- ESEC-FSE-2009-QiRLV #approach #debugging #evolution #named #source code
- Darwin: an approach for debugging evolving programs (DQ, AR, ZL, KV), pp. 33–42.
- ASE-2017-HeCHSLYHYJF #automation
- Automatically assessing crashes from heap overflows (LH, YC0, HH, PS, ZL, YY, HH, JY, XJ, DF), pp. 274–279.