Liqian Chen

According to our database, Liqian Chen authored at least 57 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Static analysis of linear absolute value equalities among variables of a program.

Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang

Sci. Comput. Program., 2023

Affine Disjunctive Invariant Generation with Farkas' Lemma.

Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li

CoRR, 2023

An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals.

Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Input Validation for Neural Networks via Local Robustness Verification.

Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Potential Solutions to Challenges in C Program Repair: A Practical Perspective.

Jifeng Xuan, Qi Xin, Liqian Chen, Xiaoguang Mao

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Grammar-based fuzz testing for microprocessor RTL design.

Dan Luo, Tun Li, Liqian Chen, Hongji Zou, Mingchuan Shi

Integr., 2022

Automated regression unit test generation for program merges.

Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang

Sci. China Inf. Sci., 2022

Using Fuzzing to Help Abstract Interpretation Based Program Verification.

Renjie Huang, Banghu Yin, Liqian Chen

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair.

Deheng Yang, Xiaoguang Mao, Liqian Chen, Xuezheng Xu, Yan Lei, David Lo, Jiayu He

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.

Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang

Proceedings of the Fundamental Approaches to Software Engineering, 2022

NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs.

Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.

Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang

Formal Aspects Comput., 2021

An Abstract Domain to Infer Linear Absolute Value Equalities.

Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Static Bound Analysis of Dynamically Allocated Resources for C Programs.

Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

On Enhancing Application-Ability Training in Discrete Mathematics.

Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao

Proceedings of the IEEE Frontiers in Education Conference, 2021

Making Rigorous Linear Programming Practical for Program Analysis.

Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Static Analysis of Resource Usage Bounds for Imperative Programs.

Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Hierarchical Analysis of Loops With Relaxed Abstract Transformers.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang

IEEE Trans. Reliab., 2020

Evolutionary Conflict Checking.

Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang

CoRR, 2020

Input Validation for Neural Networks via Runtime Local Robustness Verification.

Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang

CoRR, 2020

Detecting numerical bugs in neural network architectures.

Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Understanding Merge Conflicts and Resolutions in Git Rebases.

Tao Ji, Liqian Chen, Xin Yi, Xiaoguang Mao

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

2019

Efficient automated repair of high floating-point errors in numerical libraries.

Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji

Proc. ACM Program. Lang., 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang

CoRR, 2019

Verifying Numerical Programs via Iterative Abstract Testing.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot

Proceedings of the Static Analysis - 26th International Symposium, 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang

Proceedings of the Static Analysis - 26th International Symposium, 2019

How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques.

Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao

Proceedings of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2019

2018

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions.

Jiangchao Liu, Liqian Chen, Xavier Rival

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Identifying Supplementary Bug-fix Commits.

Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Analyzing Interrupt Handlers via Interprocedural Summaries.

Xueguang Wu, Liqian Chen, Ji Wang

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT.

Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Automated Repair of High Inaccuracies in Numerical Programs.

Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Quantitative Analysis of Learning Data in a Programming Course.

Yu Bai, Liqian Chen, Gang Yin, Xinjun Mao, Ye Deng, Tao Wang, Yao Lu, Huaimin Wang

Proceedings of the Database Systems for Advanced Applications, 2017

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies.

Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.

Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang

ACM Trans. Embed. Comput. Syst., 2016

Analyzing Math Library Functions via Summarization.

Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automated Program Repair by Using Similar Code Containing Fix Ingredients.

Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions).

Banghu Yin, Liqian Chen, Ji Wang

计算机科学, 2015

2014

Static analysis of lists by combining shape and numerical abstractions.

Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang

Sci. Comput. Program., 2014

Automatic recovery from resource exhaustion exceptions by collecting leaked resources.

Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei

J. Zhejiang Univ. Sci. C, 2014

Robustness Analysis of Floating-Point Programs by Self-Composition.

Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang

J. Appl. Math., 2014

An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters.

Xueguang Wu, Liqian Chen, Ji Wang

Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014

An Abstract Domain to Infer Octagonal Constraints with Absolute Value.

Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang

Proceedings of the Static Analysis - 21st International Symposium, 2014

2013

Leveraging specifications of subcomponents to mine precise specifications of composite components.

Ziying Dai, Xiaoguang Mao, Yan Lei, Liqian Chen

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking.

Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.

Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Finding related events for specification mining.

Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei, Yi Zhang

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures.

Longming Dong, Wei Dong, Liqian Chen

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs.

Longming Dong, Ji Wang, Liqian Chen

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs.

Longming Dong, Ji Wang, Liqian Chen

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Quantitative analysis for symbolic heap bounds of CPS software.

Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei

Comput. Sci. Inf. Syst., 2011

Linear Absolute Value Relation Analysis.

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot

Proceedings of the Programming Languages and Systems, 2011

2010

An Abstract Domain to Discover Interval Linear Equalities.

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot

Proceedings of the Verification, 2010

Simple and Precise Widenings for <i>H</i>-Polyhedra.

Axel Simon, Liqian Chen

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.

Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot

Proceedings of the Static Analysis, 16th International Symposium, 2009

2008

A Sound Floating-Point Polyhedra Abstract Domain.

Liqian Chen, Antoine Miné, Patrick Cousot

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008