Get started
Author

Liqian Chen

Observed names: Chen Liqian, Chen, Liqian, Li-Qian CHEN, Li-qian Chen, LiQian Chen
ORCID: 0000-0001-8084-8009
Observed ORCIDs: 0000-0001-8084-8009, 0009-0004-5479-1837
OpenAlex ID: A5019450472
A Sound Floating-Point Polyhedra Abstract Domain
2008 · Liqian Chen, Antoine Miné, et al. · Lecture notes in computer science · 84
Detecting numerical bugs in neural network architectures
2020 · Yuhao Zhang, Luyao Ren, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 65
PDF
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
2019 · Jianlin Li, Jiangchao Liu, et al. · Lecture notes in computer science · 56
PDF
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
2009 · Liqian Chen, Antoine Miné, et al. · Lecture notes in computer science · 54
Efficient automated repair of high floating-point errors in numerical libraries
2019 · Xin Yi, Liqian Chen, et al. · Proceedings of the ACM on Programming Languages · 49
PDF
How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques
2019 · Shangwen Wang, Ming Wen, et al. · Proceedings of the ... ACM-IEEE International Symposium on Empirical Software Engineering and Measurement/International Symposium on Empirical Software Engineering and Measurement · 33
PDF
An Abstract Domain to Discover Interval Linear Equalities
2010 · Liqian Chen, Antoine Miné, et al. · Lecture notes in computer science · 26
TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair
2022 · Deheng Yang, Xiaoguang Mao, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 24
PDF
Automated Program Repair by Using Similar Code Containing Fix Ingredients
2016 · Tao Ji, Liqian Chen, et al. · IEEE Annual Computer Software and Applications Conference (COMPSAC) · 24
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking
2013 · Xueguang Wu, Yanjun Wen, et al. · IEEE International Conference on Software Security and Reliability Companion · 23
Programming Languages and Systems
2011 · Chen, Liqian, Cousot, Patrick, et al. · Lecture notes in computer science · 21
One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair
2024 · Bo Lin, Shangwen Wang, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 20
Runtime Monitoring for Cyber-physical Systems: A Case Study of Cooperative Adaptive Cruise Control
2012 · Jianhui Mao, Liqian Chen · International Conference on Intelligent System Design and Engineering Application (ISDEA) · 20
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation
2021 · Pengfei Yang, Jianlin Li, et al. · Formal Aspects of Computing · 19
PDF
Understanding Merge Conflicts and Resolutions in Git Rebases
2020 · Tao Ji, Liqian Chen, et al. · IEEE International Symposium on Software Reliability Engineering (ISSRE) · 18
Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies
2017 · Xin Yi, Liqian Chen, et al. · Proceedings - Asia Pacific Software Engineering Conference/Proceedings · 15
Keep It Simple: Self-Adaptive Code Graph Simplification for Accurate Vulnerability Detection
2025 · Xin Peng, Shangwen Wang, et al. · IEEE Transactions on Software Engineering · 13
Divide-and-Conquer: Automating Code Revisions via Localization-and-Revision
2024 · Shangwen Wang, Bo Lin, et al. · ACM Transactions on Software Engineering and Methodology · 13
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization
2016 · Xueguang Wu, Liqian Chen, et al. · ACM Transactions on Embedded Computing Systems · 13
Linear Absolute Value Relation Analysis
2011 · Liqian Chen, Antoine Miné, et al. · Lecture notes in computer science · 13
Verifying Numerical Programs via Iterative Abstract Testing
2019 · Banghu Yin, Liqian Chen, et al. · Lecture notes in computer science · 11
Numerical static analysis of interrupt-driven programs via sequentialization
2015 · Xueguang Wu, Liqian Chen, et al. · International Conference on Embedded Software (EMSOFT) · 11
Fault Localization from the Semantic Code Search Perspective
2025 · Yihao Qin, Shangwen Wang, et al. · ACM Transactions on Software Engineering and Methodology · 10
PDF
An Abstract Domain to Infer Octagonal Constraints with Absolute Value
2014 · Liqian Chen, Jiangchao Liu, et al. · Lecture notes in computer science · 10
Input Validation for Neural Networks via Runtime Local Robustness Verification
2020 · Liu, Jiangchao, Chen, Liqian, et al. · arXiv (Cornell University) · 9
PDF
Works count: 114
Citation count: 820
H-index: 15
I10-index: 23
Year
Topic
Type