Liqian Chen
发表
Ji Wang,
Patrick Cousot,
Liqian Chen,
2011,
ESOP.
Ming Wen,
Xiaoguang Mao,
Liqian Chen,
2019,
2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM).
Ji Wang,
Liqian Chen,
Xueguang Wu,
2017,
VMCAI.
Liqian Chen,
Axel Simon,
2010,
APLAS.
Yi Zhang,
Xiaoguang Mao,
Ziying Dai,
2013,
2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
pdf
Liqian Chen,
Xiaowei Huang,
Jianlin Li,
2019,
SAS.
Ji Wang,
Liqian Chen,
Ren-Jian Li,
2012
.
Xiaoguang Mao,
Liqian Chen,
Xin Yi,
2017,
2017 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Liqian Chen,
Ji Wang,
Longming Dong,
2012,
2012 19th Asia-Pacific Software Engineering Conference.
Xiaoguang Mao,
Liqian Chen,
Tao Ji,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Ji Wang,
Liqian Chen,
Banghu Yin,
2015,
计算机科学.
Liqian Chen,
Jiangchao Liu,
Ji Wang,
2020,
IEEE Transactions on Reliability.
Xiaoguang Mao,
Liqian Chen,
Xin Yi,
2019,
PACMPL.
Liqian Chen,
Yingfei Xiong,
Tao Xie,
2020,
ESEC/SIGSOFT FSE.
Ji Wang,
Liqian Chen,
Dengping Wei,
2011,
Comput. Sci. Inf. Syst..
Ji Wang,
Wei Dong,
Liqian Chen,
2013,
2013 IEEE Seventh International Conference on Software Security and Reliability Companion.
Liqian Chen,
Wei Dong,
Xueguang Wu,
2015,
2015 International Conference on Embedded Software (EMSOFT).
Ji Wang,
Liqian Chen,
Xueguang Wu,
2014,
Electron. Notes Theor. Comput. Sci..
Xiaoguang Mao,
Ziying Dai,
Liqian Chen,
2014,
Journal of Zhejiang University SCIENCE C.
Wei Dong,
Liqian Chen,
Ling Wen,
2016,
2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
Ji Wang,
Wei Dong,
Liqian Chen,
2016,
ACM Trans. Embed. Comput. Syst..
Liqian Chen,
Ji Wang,
Xueguang Wu,
2014,
Sci. Comput. Program..
Ji Wang,
Wei Dong,
Liqian Chen,
2014,
J. Appl. Math..
Xiaoguang Mao,
Liqian Chen,
Xin Yi,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Patrick Cousot,
Liqian Chen,
Antoine Miné,
2008,
APLAS.
Wei Dong,
Liqian Chen,
Longming Dong,
2012,
2012 IEEE Sixth International Conference on Software Security and Reliability Companion.
Ji Wang,
Patrick Cousot,
Liqian Chen,
2009,
SAS.
Liqian Chen,
Jiahong Jiang,
Xiaoguang Mao,
2020,
ArXiv.
Liqian Chen,
Jiangchao Liu,
Longming Dong,
2012,
2012 IEEE International Conference on Information Science and Technology.
Xiaoguang Mao,
Ziying Dai,
Liqian Chen,
2013,
2013 20th Working Conference on Reverse Engineering (WCRE).
Liqian Chen,
Ji Wang,
Longming Dong,
2012,
2012 12th International Conference on Quality Software.
Wei Dong,
Liqian Chen,
2012
.
Liqian Chen,
2017
.
Ji Wang,
Liqian Chen,
Jiangchao Liu,
2012,
2012 IEEE International Conference on Information Science and Technology.
Liqian Chen,
Jiangchao Liu,
Ji Wang,
2020,
ArXiv.
Liqian Chen,
Jianhui Mao,
Liqian Chen,
2012,
2012 Second International Conference on Intelligent System Design and Engineering Application.
Xiaoguang Mao,
Liqian Chen,
Xin Yi,
2016,
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
Ji Wang,
Patrick Cousot,
Liqian Chen,
2010,
VMCAI.
Patrick Cousot,
Liqian Chen,
Ji Wang,
2019,
SAS.
Liqian Chen,
Jiahong Jiang,
Xiaoguang Mao,
2020,
ArXiv.
Gang Yin,
Huaimin Wang,
Yu Bai,
2017,
DASFAA Workshops.
Deepak Kapur,
Liqian Chen,
Antoine Miné,
2014,
SAS.
Liqian Chen,
Ji Wang,
Xueguang Wu,
2013,
SAC '13.
Ji Wang,
Liqian Chen,
Xueguang Wu,
2018,
Symposium on Real-Time and Hybrid Systems.
Ji Wang,
Liqian Chen,
Wan-Wei Liu,
2011
.
Liqian Chen,
Yanjun Wen,
Ji Wang,
2021
.
Xiaoguang Mao,
Liqian Chen,
Tun Li,
2021,
2021 IEEE Frontiers in Education Conference (FIE).
Liqian Chen,
Jiangchao Liu,
Renjue Li,
2021,
Formal Aspects of Computing.
Liqian Chen,
Ji Wang,
Tengbin Wang,
2021,
CP.
Liqian Chen,
Banghu Yin,
Ji Wang,
2021,
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).