default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLiqian Chen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[e1]Timothy Bourke
, Liqian Chen, Amir Kafshdar Goharshady:
Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings. Lecture Notes in Computer Science 15469, Springer 2025, ISBN 978-981-96-0601-6 [contents]- 2024
- [j15]Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang:
FPCC: Detecting Floating-Point Errors via Chain Conditions. Proc. ACM Program. Lang. 8(OOPSLA2): 1504-1531 (2024) - [c43]Sheng Zou, Liqian Chen, Guangsheng Fan, Renjie Huang, Banghu Yin:
F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs. QuASoQ@APSEC 2024: 19-26 - [c42]Pei Liu, Bo Lin, Yihao Qin, Cheng Weng, Liqian Chen:
T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach. Internetware 2024 - [c41]Cheng Weng, Yihao Qin, Bo Lin, Pei Liu, Liqian Chen:
MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention. Internetware 2024 - [c40]Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, Xiaoguang Mao:
One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. ISSTA 2024: 1554-1566 - [c39]Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang:
Synthesizing Boxes Preconditions for Deep Neural Networks. ISSTA 2024: 1708-1719 - [i8]Yihao Qin, Shangwen Wang, Yan Lei, Zhuo Zhang, Bo Lin, Xin Peng, Liqian Chen, Xiaoguang Mao:
Fault Localization from the Semantic Code Search Perspective. CoRR abs/2411.17230 (2024) - [i7]Bo Lin, Shangwen Wang, Liqian Chen, Xiaoguang Mao:
There are More Fish in the Sea: Automated Vulnerability Repair via Binary Templates. CoRR abs/2411.18088 (2024) - 2023
- [j14]Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang:
Static analysis of linear absolute value equalities among variables of a program. Sci. Comput. Program. 225: 102906 (2023) - [c38]Jifeng Xuan, Qi Xin, Liqian Chen, Xiaoguang Mao:
Potential Solutions to Challenges in C Program Repair: A Practical Perspective. ASE 2023: 1963-1968 - [c37]Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang:
Input Validation for Neural Networks via Local Robustness Verification. QRS Companion 2023: 237-246 - [c36]Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang:
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. SETTA 2023: 314-330 - [i6]Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li:
Affine Disjunctive Invariant Generation with Farkas' Lemma. CoRR abs/2307.13318 (2023) - 2022
- [j13]Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang:
Automated regression unit test generation for program merges. Sci. China Inf. Sci. 65(9): 1-2 (2022) - [j12]Dan Luo, Tun Li, Liqian Chen, Hongji Zou, Mingchuan Shi:
Grammar-based fuzz testing for microprocessor RTL design. Integr. 86: 64-73 (2022) - [j11]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): 3898-3909 (2022) - [c35]Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang:
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. APSEC 2022: 338-347 - [c34]Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang:
Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. FASE 2022: 92-101 - [c33]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: 107:1-107:13 - [c32]Renjie Huang, Banghu Yin, Liqian Chen:
Using Fuzzing to Help Abstract Interpretation Based Program Verification. QRS Companion 2022: 782-783 - 2021
- [j10]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): 407-435 (2021) - [c31]Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin:
Static Analysis of Resource Usage Bounds for Imperative Programs. APSEC 2021: 580-581 - [c30]Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang:
Making Rigorous Linear Programming Practical for Program Analysis. CP 2021: 57:1-57:17 - [c29]Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao:
On Enhancing Application-Ability Training in Discrete Mathematics. FIE 2021: 1-5 - [c28]Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang:
Static Bound Analysis of Dynamically Allocated Resources for C Programs. ISSRE 2021: 390-400 - [c27]Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang:
An Abstract Domain to Infer Linear Absolute Value Equalities. TASE 2021: 47-54 - 2020
- [j9]Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang:
Hierarchical Analysis of Loops With Relaxed Abstract Transformers. IEEE Trans. Reliab. 69(1): 203-215 (2020) - [c26]Tao Ji, Liqian Chen, Xin Yi, Xiaoguang Mao:
Understanding Merge Conflicts and Resolutions in Git Rebases. ISSRE 2020: 70-80 - [c25]Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie:
Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE 2020: 826-837 - [i5]Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang:
Input Validation for Neural Networks via Runtime Local Robustness Verification. CoRR abs/2002.03339 (2020) - [i4]Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang:
Automated Regression Unit Test Generation for Program Merges. CoRR abs/2003.00154 (2020) - [i3]Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang:
Evolutionary Conflict Checking. CoRR abs/2009.10340 (2020)
2010 – 2019
- 2019
- [j8]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): 56:1-56:29 (2019) - [c24]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: 1-12 - [c23]Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot:
Verifying Numerical Programs via Iterative Abstract Testing. SAS 2019: 247-267 - [c22]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: 296-319 - [i2]Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang:
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. CoRR abs/1902.09866 (2019) - [i1]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 abs/1906.03447 (2019) - 2018
- [j7]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): 2311-2322 (2018) - [c21]Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao:
Identifying Supplementary Bug-fix Commits. COMPSAC (1) 2018: 184-193 - [p1]Xueguang Wu, Liqian Chen, Ji Wang:
Analyzing Interrupt Handlers via Interprocedural Summaries. Symposium on Real-Time and Hybrid Systems 2018: 246-262 - 2017
- [c20]Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji:
Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies. APSEC 2017: 11-20 - [c19]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: 436-441 - [c18]Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji:
Automated Repair of High Inaccuracies in Numerical Programs. ICSME 2017: 514-518 - [c17]Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang:
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. VMCAI 2017: 310-329 - 2016
- [j6]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): 70:1-70:26 (2016) - [c16]Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi:
Automated Program Repair by Using Similar Code Containing Fix Ingredients. COMPSAC 2016: 197-202 - [c15]Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen:
Analyzing Math Library Functions via Summarization. QRS Companion 2016: 259-264 - 2015
- [j5]Banghu Yin, Liqian Chen, Ji Wang:
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). 计算机科学 42(7): 32-37 (2015) - 2014
- [j4]Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang:
Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. 2014: 789213:1-789213:12 (2014) - [j3]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): 622-635 (2014) - [j2]Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang:
Static analysis of lists by combining shape and numerical abstractions. Sci. Comput. Program. 95: 320-342 (2014) - [c14]Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang:
An Abstract Domain to Infer Octagonal Constraints with Absolute Value. SAS 2014: 101-117 - [c13]Xueguang Wu, Liqian Chen, Ji Wang:
An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. NSAD 2014: 33-45 - 2013
- [c12]Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei, Yi Zhang:
Finding related events for specification mining. ISSRE (Supplemental Proceedings) 2013: 1-2 - [c11]Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang:
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. SAC 2013: 1204-1210 - [c10]Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang:
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) 2013: 204-210 - [c9]Ziying Dai, Xiaoguang Mao, Yan Lei, Liqian Chen:
Leveraging specifications of subcomponents to mine precise specifications of composite components. WCRE 2013: 162-171 - 2012
- [c8]Longming Dong, Ji Wang, Liqian Chen:
Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. APSEC 2012: 20-29 - [c7]Longming Dong, Ji Wang, Liqian Chen:
Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. QSIC 2012: 197-200 - [c6]Longming Dong, Wei Dong, Liqian Chen:
Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. SERE (Companion) 2012: 144-151 - 2011
- [j1]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): 1251-1276 (2011) - [c5]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Linear Absolute Value Relation Analysis. ESOP 2011: 156-175 - 2010
- [c4]Axel Simon, Liqian Chen:
Simple and Precise Widenings for H-Polyhedra. APLAS 2010: 139-155 - [c3]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128
2000 – 2009
- 2009
- [c2]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325 - 2008
- [c1]Liqian Chen, Antoine Miné, Patrick Cousot:
A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
