Liqian Chen

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 41

Top Topics

Abstract Interpretation

Test Generation

Static Analysis

Top Venues

Publications

Pei Liu, Bo Lin, Yihao Qin, Cheng Weng, Liqian Chen
T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach. Internetware (2024)
Cheng Weng, Yihao Qin, Bo Lin, Pei Liu, Liqian Chen
MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention. Internetware (2024)
Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. SETTA (2023)
Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang
Static analysis of linear absolute value equalities among variables of a program. Sci. Comput. Program. 225 (2023)
Jifeng Xuan, Qi Xin, Liqian Chen, Xiaoguang Mao
Potential Solutions to Challenges in C Program Repair: A Practical Perspective. ASE (2023)
Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang
Input Validation for Neural Networks via Local Robustness Verification. QRS Companion (2023)
Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li
Affine Disjunctive Invariant Generation with Farkas' Lemma. CoRR (2023)
Renjie Huang, Banghu Yin, Liqian Chen
Using Fuzzing to Help Abstract Interpretation Based Program Verification. QRS Companion (2022)
Deheng Yang, Xiaoguang Mao, Liqian Chen, Xuezheng Xu, Yan Lei, David Lo, Jiayu He
TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair. ASE (2022)
Dan Luo, Tun Li, Liqian Chen, Hongji Zou, Mingchuan Shi
Grammar-based fuzz testing for microprocessor RTL design. Integr. 86 (2022)
Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. APSEC (2022)
Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang
Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. FASE (2022)
Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang
Automated regression unit test generation for program merges. Sci. China Inf. Sci. 65 (9) (2022)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin
Static Analysis of Resource Usage Bounds for Imperative Programs. APSEC (2021)
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects Comput. 33 (3) (2021)
Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang
An Abstract Domain to Infer Linear Absolute Value Equalities. TASE (2021)
Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao
On Enhancing Application-Ability Training in Discrete Mathematics. FIE (2021)
Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang
Making Rigorous Linear Programming Practical for Program Analysis. CP (2021)
Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang
Static Bound Analysis of Dynamically Allocated Resources for C Programs. ISSRE (2021)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
Hierarchical Analysis of Loops With Relaxed Abstract Transformers. IEEE Trans. Reliab. 69 (1) (2020)
Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang
Automated Regression Unit Test Generation for Program Merges. CoRR (2020)
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE (2020)
Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang
Evolutionary Conflict Checking. CoRR (2020)
Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang
Input Validation for Neural Networks via Runtime Local Robustness Verification. CoRR (2020)
Tao Ji, Liqian Chen, Xin Yi, Xiaoguang Mao
Understanding Merge Conflicts and Resolutions in Git Rebases. ISSRE (2020)
Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. SAS (2019)
Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao
How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques. CoRR (2019)
Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao
How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques. ESEM (2019)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
Verifying Numerical Programs via Iterative Abstract Testing. SAS (2019)
Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
Efficient automated repair of high floating-point errors in numerical libraries. Proc. ACM Program. Lang. 3 (POPL) (2019)
Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. CoRR (2019)
Jiangchao Liu, Liqian Chen, Xavier Rival
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao
Identifying Supplementary Bug-fix Commits. COMPSAC (1) (2018)
Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies. APSEC (2017)
Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
Automated Repair of High Inaccuracies in Numerical Programs. ICSME (2017)
Yu Bai, Liqian Chen, Gang Yin, Xinjun Mao, Ye Deng, Tao Wang, Yao Lu, Huaimin Wang
Quantitative Analysis of Learning Data in a Programming Course. DASFAA Workshops (2017)
Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. VMCAI (2017)
Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen
Analyzing Math Library Functions via Summarization. QRS Companion (2016)
Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi
Automated Program Repair by Using Similar Code Containing Fix Ingredients. COMPSAC (2016)
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Banghu Yin, Liqian Chen, Ji Wang
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). 计算机科学 42 (7) (2015)
Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
Static analysis of lists by combining shape and numerical abstractions. Sci. Comput. Program. 95 (2014)
Xueguang Wu, Liqian Chen, Ji Wang
An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. Electron. Notes Theor. Comput. Sci. 307 (2014)
Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei
Automatic recovery from resource exhaustion exceptions by collecting leaked resources. J. Zhejiang Univ. Sci. C 15 (8) (2014)
Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang
Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. 2014 (2014)
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
An Abstract Domain to Infer Octagonal Constraints with Absolute Value. SAS (2014)
Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei, Yi Zhang
Finding related events for specification mining. ISSRE (Supplemental Proceedings) (2013)
Ziying Dai, Xiaoguang Mao, Yan Lei, Liqian Chen
Leveraging specifications of subcomponents to mine precise specifications of composite components. WCRE (2013)
Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. SAC (2013)
Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) (2013)
Longming Dong, Wei Dong, Liqian Chen
Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. SERE (Companion) (2012)
Longming Dong, Ji Wang, Liqian Chen
Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. APSEC (2012)
Longming Dong, Ji Wang, Liqian Chen
Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. QSIC (2012)
Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei
Quantitative analysis for symbolic heap bounds of CPS software. Comput. Sci. Inf. Syst. 8 (4) (2011)
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
Linear Absolute Value Relation Analysis. ESOP (2011)
Axel Simon, Liqian Chen
-Polyhedra. APLAS (2010)
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
An Abstract Domain to Discover Interval Linear Equalities. VMCAI (2010)
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS (2009)
Liqian Chen, Antoine Miné, Patrick Cousot
A Sound Floating-Point Polyhedra Abstract Domain. APLAS (2008)