Bridging Operator Semantic Inconsistencies: A Source-Level Cross-Framework Model Conversion Approach.

Liqian Chen

Xingpei Li Yan Lei Zhouyang Jia Yuanliang Zhang Haoran Liu Liqian Chen Wei Dong 0006 Shan-shan Li 0001 Bridging Operator Semantic Inconsistencies: A Source-Level Cross-Framework Model Conversion Approach. 2030-2052 2025 2 Proc. ACM Softw. Eng. FSE https://doi.org/10.1145/3729361 db/journals/pacmse/pacmse2.html#LiLJZLCDL25 streams/journals/pacmse

Guangsheng Fan Liqian Chen Banghu Yin Wenyu Zhang Peisen Yao Ji Wang 0001 Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. 663-685 2025 2 Proc. ACM Softw. Eng. ISSTA https://doi.org/10.1145/3728905 db/journals/pacmse/pacmse2.html#FanCYZYW25 streams/journals/pacmse

Shangwen Wang Bo Lin 0011 Liqian Chen Xiaoguang Mao Divide-and-Conquer: Automating Code Revisions via Localization-and-Revision. 58:1-58:26 2025 March 34 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/3697013 https://www.wikidata.org/entity/Q130838138 db/journals/tosem/tosem34.html#WangLCM25 streams/journals/tosem

Bo Lin 0011 Shangwen Wang Yihao Qin Liqian Chen Xiaoguang Mao Large Language Models-Aided Program Debloating. 2651-2670 2025 September 51 IEEE Trans. Software Eng. 9 https://doi.org/10.1109/TSE.2025.3594673 db/journals/tse/tse51.html#LinWQCM25 streams/journals/tse

Xin Peng 0010 Shangwen Wang Yihao Qin Bo Lin 0011 Liqian Chen Jieren Cheng Xiaoguang Mao Keep It Simple: Self-Adaptive Code Graph Simplification for Accurate Vulnerability Detection. 2744-2763 2025 October 51 IEEE Trans. Software Eng. 10 https://doi.org/10.1109/TSE.2025.3593515 db/journals/tse/tse51.html#PengWQLCCM25 streams/journals/tse

Jingxiang Tu Bo Lin 0011 Yihao Qin Shangwen Wang Liqian Chen Xiaoguang Mao Trace: Test Repair via Agent-based Context Extraction with LLMs. APSEC 2025 57-68 conf/apsec/2025 https://doi.org/10.1109/APSEC66846.2025.00017 db/conf/apsec/apsec2025.html#TuLQWCM25 streams/conf/apsec Bo Lin 0011 Shangwen Wang Yihao Qin Liqian Chen Xiaoguang Mao Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection. 3356-3370 2025 CCS https://doi.org/10.1145/3719027.3765049 conf/ccs/2025 db/conf/ccs/ccs2025.html#LinWQCM25 Minghao Li Liqian Chen Xinyu Wang Shifu Yang Yuan Zhou Ji Wang Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains. 358-378 2025 ICECCS https://doi.org/10.1007/978-3-032-00828-2_20 conf/iceccs/2025 db/conf/iceccs/iceccs2025.html#LiCWYZW25 streams/conf/iceccs Siyu Liu Liqian Chen Guangsheng Fan Banghu Yin Chun Huang Ji Wang Detecting Vector Container Errors in C++ Programs via Abstract Interpretation. 117-133 2025 ICFEM https://doi.org/10.1007/978-981-95-4213-0_7 conf/icfem/2025 db/conf/icfem/icfem2025.html#LiuCFYHW25 streams/conf/icfem Xin Yi 0002 Hengbiao Yu Liqian Chen Xiaoguang Mao Ji Wang 0001 Chun Huang 0006 Deheng Yang Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs. 1249-1260 2025 IPDPS https://doi.org/10.1109/IPDPS64566.2025.00113 conf/ipps/2025 db/conf/ipps/ipdps2025.html#YiYCM0HY25 Yihao Qin Shangwen Wang Bo Lin 0011 Xin Peng 0010 Sheng Ouyang Liqian Chen Xiaoguang Mao Let the Code Speak: Incorporating Program Dynamic State for Better Method-Level Fault Localization. 804-815 2025 ASE https://doi.org/10.1109/ASE63991.2025.00072 conf/kbse/2025 db/conf/kbse/ase2025.html#QinWLPOCM25 streams/conf/kbse Shiwen Yu Wanwei Liu Zengyu Liu Liqian Chen Ting Wang 0009 Naijun Zhan Ji Wang 0001 Learning Subject to Constraints via Abstract Gradient Descent. 214-230 2025 NeuS https://proceedings.mlr.press/v288/yu25a.html conf/neus/2025 db/conf/neus/neus2025.html#YuLLCWZW25 streams/conf/neus Jingyu Ke Hongfei Fu 0001 Hongming Liu Zhouyue Sun Liqian Chen Guoqiang Li 0001 Affine Disjunctive Invariant Generation with Farkas' Lemma. 187-213 2025 VMCAI (1) https://doi.org/10.1007/978-3-031-82700-6_9 conf/vmcai/2025-1 db/conf/vmcai/vmcai2025-1.html#KeFLSCL25 streams/conf/vmcai 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 SETTA Springer 2025 Lecture Notes in Computer Science 15469 978-981-96-0601-6 978-981-96-0602-3 https://doi.org/10.1007/978-981-96-0602-3 db/conf/setta/setta2024.html

Bo Lin 0011 Shangwen Wang Liqian Chen Xiaoguang Mao Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation. 2025 February abs/2502.03233 CoRR https://doi.org/10.48550/arXiv.2502.03233 db/journals/corr/corr2502.html#abs-2502-03233 streams/journals/corr

Bo Lin 0011 Shangwen Wang Yihao Qin Liqian Chen Xiaoguang Mao Large Language Models-Aided Program Debloating. 2025 March abs/2503.08969 CoRR https://doi.org/10.48550/arXiv.2503.08969 db/journals/corr/corr2503.html#abs-2503-08969 streams/journals/corr

Sheng Ouyang Yihao Qin Bo Lin 0011 Liqian Chen Xiaoguang Mao Shangwen Wang Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit Malicious Prompts. 2025 March abs/2503.17953 CoRR https://doi.org/10.48550/arXiv.2503.17953 db/journals/corr/corr2503.html#abs-2503-17953 streams/journals/corr

Bo Lin 0011 Shangwen Wang Yihao Qin Liqian Chen Xiaoguang Mao Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection. 2025 April abs/2504.16429 CoRR https://doi.org/10.48550/arXiv.2504.16429 db/journals/corr/corr2504.html#abs-2504-16429 streams/journals/corr

Xuran Cai Liqian Chen Hongfei Fu 0001 Invariant Generation for Floating-Point Programs via Constraint Solving. 2025 July abs/2507.15017 CoRR https://doi.org/10.48550/arXiv.2507.15017 db/journals/corr/corr2507.html#abs-2507-15017 streams/journals/corr

Xin Yi 0002 Hengbiao Yu Liqian Chen Xiaoguang Mao Ji Wang 0001 FPCC: Detecting Floating-Point Errors via Chain Conditions. 1504-1531 2024 8 Proc. ACM Program. Lang. OOPSLA2 https://doi.org/10.1145/3689764 https://www.wikidata.org/entity/Q130951359 db/journals/pacmpl/pacmpl8.html#YiYCM024

Shifu Yang Liqian Chen Banghu Yin Minghao Li Yuan Zhou Ji Wang 0001 Sound Floating-Point Neural Network Verification with MILP. 1-10 2024 APSEC https://doi.org/10.1109/APSEC65559.2024.00044 conf/apsec/2024 db/conf/apsec/apsec2024.html#YangCYLZW24 streams/conf/apsec Sheng Zou Liqian Chen Guangsheng Fan Renjie Huang Banghu Yin F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs. 19-26 2024 QuASoQ@APSEC https://ceur-ws.org/Vol-3864/quasoq-2024-paper-04.pdf conf/apsec/2024quasoq db/conf/apsec/quasoq2024.html#ZouCFHY24 Pei Liu Bo Lin 0011 Yihao Qin Cheng Weng Liqian Chen T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach. 2024 Internetware https://doi.org/10.1145/3671016.3672506 https://www.wikidata.org/entity/Q130905458 conf/internetware/2024 db/conf/internetware/internetware2024.html#LiuLQWC24 Cheng Weng Yihao Qin Bo Lin 0011 Pei Liu Liqian Chen MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention. 2024 Internetware https://doi.org/10.1145/3671016.3674807 https://www.wikidata.org/entity/Q130905994 conf/internetware/2024 db/conf/internetware/internetware2024.html#WengQLLC24 Bo Lin 0011 Shangwen Wang Ming Wen 0001 Liqian Chen Xiaoguang Mao One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. 1554-1566 2024 ISSTA https://doi.org/10.1145/3650212.3680381 conf/issta/2024 db/conf/issta/issta2024.html#LinW0CM24 Zengyu Liu Liqian Chen Wanwei Liu Ji Wang 0001 Synthesizing Boxes Preconditions for Deep Neural Networks. 1708-1719 2024 ISSTA https://doi.org/10.1145/3650212.3680393 conf/issta/2024 db/conf/issta/issta2024.html#LiuCL024 Xin Yi 0002 Hengbiao Yu Liqian Chen Xiaoguang Mao Ji Wang 0001 FPCC: Detecting Floating-Point Errors via Chain Conditions (Paper Artifact). 2024 August https://doi.org/10.5281/zenodo.13618683 Zenodo streams/repo/zenodo

Yihao Qin Shangwen Wang Yan Lei Zhuo Zhang 0007 Bo Lin 0011 Xin Peng 0010 Liqian Chen Xiaoguang Mao Fault Localization from the Semantic Code Search Perspective. 2024 abs/2411.17230 CoRR https://doi.org/10.48550/arXiv.2411.17230 db/journals/corr/corr2411.html#abs-2411-17230 streams/journals/corr

Bo Lin 0011 Shangwen Wang Liqian Chen Xiaoguang Mao There are More Fish in the Sea: Automated Vulnerability Repair via Binary Templates. 2024 abs/2411.18088 CoRR https://doi.org/10.48550/arXiv.2411.18088 db/journals/corr/corr2411.html#abs-2411-18088 streams/journals/corr

Xin Peng 0010 Shangwen Wang Yihao Qin Bo Lin 0011 Liqian Chen Xiaoguang Mao Keep It Simple: Towards Accurate Vulnerability Detection for Large Code Graphs. 2024 abs/2412.10164 CoRR https://doi.org/10.48550/arXiv.2412.10164 db/journals/corr/corr2412.html#abs-2412-10164 streams/journals/corr

Liqian Chen Dengping Wei Banghu Yin Ji Wang 0001 Static analysis of linear absolute value equalities among variables of a program. 102906 2023 225 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2022.102906 db/journals/scp/scp225.html#ChenWYW23

Jifeng Xuan Qi Xin Liqian Chen Xiaoguang Mao Potential Solutions to Challenges in C Program Repair: A Practical Perspective. 1963-1968 2023 ASE https://doi.org/10.1109/ASE56229.2023.00211 https://www.wikidata.org/entity/Q131126876 conf/kbse/2023 db/conf/kbse/ase2023.html#XuanXCM23 Jiangchao Liu Liqian Chen Antoine Miné Hengbiao Yu Ji Wang 0001 Input Validation for Neural Networks via Local Robustness Verification. 237-246 2023 QRS Companion https://doi.org/10.1109/QRS-C60940.2023.00090 conf/qrs/2023c db/conf/qrs/qrs2023c.html#LiuCMYW23 Han Xu Liqian Chen Guangsheng Fan Banghu Yin Ji Wang 0001 An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. 314-330 2023 SETTA https://doi.org/10.1007/978-981-99-8664-4_18 conf/setta/2023 db/conf/setta/setta2023.html#XuCFYW23

Hongming Liu Jingyu Ke Hongfei Fu 0001 Liqian Chen Guoqiang Li 0001 Affine Disjunctive Invariant Generation with Farkas' Lemma. 2023 abs/2307.13318 CoRR https://doi.org/10.48550/arXiv.2307.13318 db/journals/corr/corr2307.html#abs-2307-13318

Tao Ji Liqian Chen Xiaoguang Mao Xin Yi 0002 Jiahong Jiang Automated regression unit test generation for program merges. 1-2 2022 65 Sci. China Inf. Sci. 9 https://doi.org/10.1007/s11432-019-3020-4 db/journals/chinaf/chinaf65.html#JiCMYJ22

Dan Luo Tun Li 0002 Liqian Chen Hongji Zou Mingchuan Shi Grammar-based fuzz testing for microprocessor RTL design. 64-73 2022 86 Integr. https://doi.org/10.1016/j.vlsi.2022.05.001 db/journals/integration/integration86.html#LuoLCZS22

Banghu Yin Liqian Chen Jiangchao Liu Ji Wang 0001 Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. 3898-3909 2022 41 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 https://doi.org/10.1109/TCAD.2022.3197534 db/journals/tcad/tcad41.html#YinCLW22

Chenghu Ma Liqian Chen Xin Yi 0002 Guangsheng Fan Ji Wang 0001 NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. 338-347 2022 APSEC https://doi.org/10.1109/APSEC57359.2022.00046 conf/apsec/2022 db/conf/apsec/apsec2022.html#MaCYFW22 Liqian Chen Renjie Huang Dan Luo Chenghu Ma Dengping Wei Ji Wang 0001 Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. 92-101 2022 FASE https://doi.org/10.1007/978-3-030-99429-7_5 conf/fase/2022 db/conf/fase/fase2022.html#ChenHLMWW22 Deheng Yang Xiaoguang Mao Liqian Chen Xuezheng Xu Yan Lei David Lo 0001 Jiayu He TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair. 107:1-107:13 2022 ASE https://doi.org/10.1145/3551349.3556893 conf/kbse/2022 db/conf/kbse/ase2022.html#YangMCXL0H22 Renjie Huang Banghu Yin Liqian Chen Using Fuzzing to Help Abstract Interpretation Based Program Verification. 782-783 2022 QRS Companion https://doi.org/10.1109/QRS-C57518.2022.00133 conf/qrs/2022c db/conf/qrs/qrs2022c.html#HuangYC22

Pengfei Yang 0002 Jianlin Li Jiangchao Liu Cheng-Chao Huang Renjue Li Liqian Chen Xiaowei Huang 0001 Lijun Zhang 0001 Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. 407-435 2021 33 Formal Aspects Comput. 3 https://doi.org/10.1007/s00165-021-00548-1 https://www.wikidata.org/entity/Q131114000 db/journals/fac/fac33.html#YangLLHLCHZ21

Liqian Chen Taoqing Chen Guangsheng Fan Banghu Yin Static Analysis of Resource Usage Bounds for Imperative Programs. 580-581 2021 APSEC https://doi.org/10.1109/APSEC53868.2021.00077 conf/apsec/2021 db/conf/apsec/apsec2021.html#ChenCFY21 Tengbin Wang Liqian Chen Taoqing Chen Guangsheng Fan Ji Wang 0001 Making Rigorous Linear Programming Practical for Program Analysis. 57:1-57:17 2021 CP https://doi.org/10.4230/LIPIcs.CP.2021.57 conf/cp/2021 db/conf/cp/cp2021.html#WangCCFW21 Tun Li 0002 Wanwei Liu Liqian Chen Xiaoguang Mao On Enhancing Application-Ability Training in Discrete Mathematics. 1-5 2021 FIE https://doi.org/10.1109/FIE49875.2021.9637311 conf/fie/2021 db/conf/fie/fie2021.html#LiLCM21 Guangsheng Fan Taoqing Chen Banghu Yin Liqian Chen Tengbin Wang Ji Wang 0001 Static Bound Analysis of Dynamically Allocated Resources for C Programs. 390-400 2021 ISSRE https://doi.org/10.1109/ISSRE52982.2021.00048 conf/issre/2021 db/conf/issre/issre2021.html#FanCYCWW21 Liqian Chen Banghu Yin Dengping Wei Ji Wang 0001 An Abstract Domain to Infer Linear Absolute Value Equalities. 47-54 2021 TASE https://doi.org/10.1109/TASE52547.2021.00020 conf/tase/2021 db/conf/tase/tase2021.html#ChenYWW21

Banghu Yin Liqian Chen Jiangchao Liu Ji Wang 0001 Hierarchical Analysis of Loops With Relaxed Abstract Transformers. 203-215 2020 69 IEEE Trans. Reliab. 1 https://doi.org/10.1109/TR.2019.2925037 db/journals/tr/tr69.html#YinCLW20

Tao Ji Liqian Chen Xin Yi 0002 Xiaoguang Mao Understanding Merge Conflicts and Resolutions in Git Rebases. 70-80 2020 ISSRE https://doi.org/10.1109/ISSRE5003.2020.00016 conf/issre/2020 db/conf/issre/issre2020.html#JiCYM20 Yuhao Zhang 0005 Luyao Ren Liqian Chen Yingfei Xiong 0001 Shing-Chi Cheung Tao Xie 0001 Detecting numerical bugs in neural network architectures. 826-837 2020 ESEC/SIGSOFT FSE https://doi.org/10.1145/3368089.3409720 https://www.wikidata.org/entity/Q130950380 conf/sigsoft/2020 db/conf/sigsoft/fse2020.html#ZhangRC0C020 Liqian Chen Khalil Ghorbal Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2020, Virtual, USA, 17 November 2020 NSAD@SAS ACM 2020 978-1-4503-8187-1 https://doi.org/10.1145/3427762 db/conf/nsad/nsad2020.html

Jiangchao Liu Liqian Chen Antoine Miné Ji Wang 0001 Input Validation for Neural Networks via Runtime Local Robustness Verification. 2020 abs/2002.03339 CoRR https://arxiv.org/abs/2002.03339 db/journals/corr/corr2002.html#abs-2002-03339

Tao Ji Liqian Chen Xiaoguang Mao Xin Yi 0002 Jiahong Jiang Automated Regression Unit Test Generation for Program Merges. 2020 abs/2003.00154 CoRR https://arxiv.org/abs/2003.00154 db/journals/corr/corr2003.html#abs-2003-00154

Tao Ji Liqian Chen Xiaoguang Mao Xin Yi 0002 Jiahong Jiang Evolutionary Conflict Checking. 2020 abs/2009.10340 CoRR https://arxiv.org/abs/2009.10340 db/journals/corr/corr2009.html#abs-2009-10340

Xin Yi 0002 Liqian Chen Xiaoguang Mao Tao Ji Efficient automated repair of high floating-point errors in numerical libraries. 56:1-56:29 2019 3 POPL Proc. ACM Program. Lang. https://doi.org/10.1145/3290369 https://www.wikidata.org/entity/Q130951908 db/journals/pacmpl/pacmpl3.html#YiCMJ19

Shangwen Wang Ming Wen 0001 Liqian Chen Xin Yi 0002 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. 1-12 2019 ESEM https://doi.org/10.1109/ESEM.2019.8870172 conf/esem/2019 db/conf/esem/esem2019.html#WangWCYM19 Banghu Yin Liqian Chen Jiangchao Liu Ji Wang 0001 Patrick Cousot Verifying Numerical Programs via Iterative Abstract Testing. 247-267 2019 SAS https://doi.org/10.1007/978-3-030-32304-2_13 conf/sas/2019 db/conf/sas/sas2019.html#YinCL0C19 Jianlin Li Jiangchao Liu Pengfei Yang 0002 Liqian Chen Xiaowei Huang 0001 Lijun Zhang 0001 Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. 296-319 2019 SAS https://doi.org/10.1007/978-3-030-32304-2_15 conf/sas/2019 db/conf/sas/sas2019.html#LiLYCHZ19

Pengfei Yang 0002 Jiangchao Liu Jianlin Li Liqian Chen Xiaowei Huang 0001 Lijun Zhang 0001 Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. 2019 abs/1902.09866 CoRR http://arxiv.org/abs/1902.09866 db/journals/corr/corr1902.html#abs-1902-09866

Shangwen Wang Ming Wen 0001 Liqian Chen Xin Yi 0002 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. 2019 abs/1906.03447 CoRR http://arxiv.org/abs/1906.03447 db/journals/corr/corr1906.html#abs-1906-03447

Jiangchao Liu Liqian Chen Xavier Rival Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. 2311-2322 2018 37 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 https://doi.org/10.1109/TCAD.2018.2858462 db/journals/tcad/tcad37.html#LiuCR18

Tao Ji Jinkun Pan Liqian Chen Xiaoguang Mao Identifying Supplementary Bug-fix Commits. 184-193 2018 COMPSAC (1) https://doi.org/10.1109/COMPSAC.2018.00031 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2018.00031 conf/compsac/2018-1 db/conf/compsac/compsac2018-1.html#JiPCM18 Xueguang Wu Liqian Chen Ji Wang 0001 Analyzing Interrupt Handlers via Interprocedural Summaries. 246-262 2018 Symposium on Real-Time and Hybrid Systems https://doi.org/10.1007/978-3-030-01461-2_13 conf/birthday/zhou2017 db/conf/birthday/zhou2017.html#WuCW17 Xin Yi 0002 Liqian Chen Xiaoguang Mao Tao Ji Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies. 11-20 2017 APSEC https://doi.org/10.1109/APSEC.2017.7 https://doi.ieeecomputersociety.org/10.1109/APSEC.2017.7 conf/apsec/2017 db/conf/apsec/apsec2017.html#YiCMJ17 Yu Bai 0010 Liqian Chen Gang Yin Xinjun Mao Ye Deng Tao Wang 0006 Yao Lu 0003 Huaimin Wang 0001 Quantitative Analysis of Learning Data in a Programming Course. 436-441 2017 DASFAA Workshops https://doi.org/10.1007/978-3-319-55705-2_37 conf/dasfaa/2017w db/conf/dasfaa/dasfaa2017w.html#BaiCYMDWLW17 Xin Yi 0002 Liqian Chen Xiaoguang Mao Tao Ji Automated Repair of High Inaccuracies in Numerical Programs. 514-518 2017 ICSME https://doi.org/10.1109/ICSME.2017.45 https://doi.ieeecomputersociety.org/10.1109/ICSME.2017.45 conf/icsm/2017 db/conf/icsm/icsme2017.html#YiCMJ17 Jiahong Jiang Liqian Chen Xueguang Wu Ji Wang 0001 Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. 310-329 2017 VMCAI https://doi.org/10.1007/978-3-319-52234-0_17 conf/vmcai/2017 db/conf/vmcai/vmcai2017.html#JiangCWW17

Xueguang Wu Liqian Chen Antoine Miné Wei Dong 0006 Ji Wang 0001 Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. 70:1-70:26 2016 15 ACM Trans. Embed. Comput. Syst. 4 https://doi.org/10.1145/2914789 https://www.wikidata.org/entity/Q130984876 db/journals/tecs/tecs15.html#WuCMDW16

Tao Ji Liqian Chen Xiaoguang Mao Xin Yi 0002 Automated Program Repair by Using Similar Code Containing Fix Ingredients. 197-202 2016 COMPSAC https://doi.org/10.1109/COMPSAC.2016.69 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2016.69 conf/compsac/2016 db/conf/compsac/compsac2016.html#JiCMY16 Jiahong Jiang Liqian Chen Yanjun Wen Wei Dong 0006 Ling Wen Analyzing Math Library Functions via Summarization. 259-264 2016 QRS Companion https://doi.org/10.1109/QRS-C.2016.39 conf/qrs/2016c db/conf/qrs/qrs2016c.html#JiangCWDW16

Banghu Yin Liqian Chen Ji Wang 0001 基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). 32-37 2015 42 计算机科学 7 https://doi.org/10.11896/j.issn.1002-137X.2015.07.008 http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2015.07.008 db/journals/jsjkx/jsjkx42.html#YinC015

Liqian Chen Jiahong Jiang Banghu Yin Wei Dong 0006 Ji Wang 0001 Robustness Analysis of Floating-Point Programs by Self-Composition. 2014 2014 J. Appl. Math. https://doi.org/10.1155/2014/789213 https://www.wikidata.org/entity/Q59052389 db/journals/jam/jam2014.html#ChenJYDW14 789213:1-789213:12

Ziying Dai Xiaoguang Mao Liqian Chen Yan Lei Automatic recovery from resource exhaustion exceptions by collecting leaked resources. 622-635 2014 15 J. Zhejiang Univ. Sci. C 8 https://doi.org/10.1631/jzus.C1300352 db/journals/jzusc/jzusc15.html#DaiMCL14

Liqian Chen Renjian Li Xueguang Wu Ji Wang 0001 Static analysis of lists by combining shape and numerical abstractions. 320-342 2014 95 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2014.06.004 db/journals/scp/scp95.html#ChenLWW14

Liqian Chen Jiangchao Liu Antoine Miné Deepak Kapur Ji Wang 0001 An Abstract Domain to Infer Octagonal Constraints with Absolute Value. 101-117 2014 SAS https://doi.org/10.1007/978-3-319-10936-7_7 conf/sas/2014 db/conf/sas/sas2014.html#ChenLMKW14 Xueguang Wu Liqian Chen Ji Wang 0001 An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. 33-45 2014 conf/nsad/2014 NSAD https://doi.org/10.1016/j.entcs.2014.08.004 https://www.wikidata.org/entity/Q113317857 db/journals/entcs/entcs307.html#WuCW14 Ziying Dai Xiaoguang Mao Liqian Chen Yan Lei Yi Zhang Finding related events for specification mining. 1-2 2013 ISSRE (Supplemental Proceedings) https://doi.org/10.1109/ISSREW.2013.6688847 https://doi.ieeecomputersociety.org/10.1109/ISSREW.2013.6688847 conf/issre/2013w db/conf/issre/issre2013w.html#DaiMCLZ13 Liqian Chen Renjian Li Xueguang Wu Ji Wang 0001 Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. 1204-1210 2013 SAC https://doi.org/10.1145/2480362.2480589 https://www.wikidata.org/entity/Q130957890 conf/sac/2013 db/conf/sac/sac2013.html#ChenLWW13 Xueguang Wu Yanjun Wen Liqian Chen Wei Dong 0006 Ji Wang 0001 Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. 204-210 2013 SERE (Companion) https://doi.org/10.1109/SERE-C.2013.33 conf/ssiri/2013c db/conf/ssiri/sere2013c.html#WuWCDW13 Ziying Dai Xiaoguang Mao Yan Lei Liqian Chen Leveraging specifications of subcomponents to mine precise specifications of composite components. 162-171 2013 WCRE https://doi.org/10.1109/WCRE.2013.6671291 https://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671291 conf/wcre/2013 db/conf/wcre/wcre2013.html#DaiMLC13 Longming Dong Ji Wang 0001 Liqian Chen Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. 20-29 2012 APSEC https://doi.org/10.1109/APSEC.2012.35 conf/apsec/2012 db/conf/apsec/apsec2012.html#DongWC12 Longming Dong Ji Wang 0001 Liqian Chen Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. 197-200 2012 QSIC https://doi.org/10.1109/QSIC.2012.37 conf/qsic/2012 db/conf/qsic/qsic2012.html#DongWC12 Longming Dong Wei Dong 0006 Liqian Chen Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. 144-151 2012 SERE (Companion) https://doi.org/10.1109/SERE-C.2012.30 conf/ssiri/2012c db/conf/ssiri/sere2012c.html#DongDC12

Renjian Li Ji Wang 0001 Liqian Chen Wanwei Liu Dengping Wei Quantitative analysis for symbolic heap bounds of CPS software. 1251-1276 2011 8 Comput. Sci. Inf. Syst. 4 https://doi.org/10.2298/CSIS110302054L db/journals/comsis/comsis8.html#LiWCLW11

Liqian Chen Antoine Miné Ji Wang 0001 Patrick Cousot Linear Absolute Value Relation Analysis. 156-175 2011 ESOP https://doi.org/10.1007/978-3-642-19718-5_9 conf/esop/2011 db/conf/esop/esop2011.html#ChenMWC11 Axel Simon Liqian Chen Simple and Precise Widenings for <i>H</i>-Polyhedra. 139-155 2010 APLAS https://doi.org/10.1007/978-3-642-17164-2_11 conf/aplas/2010 db/conf/aplas/aplas2010.html#SimonC10 Liqian Chen Antoine Miné Ji Wang 0001 Patrick Cousot An Abstract Domain to Discover Interval Linear Equalities. 112-128 2010 VMCAI https://doi.org/10.1007/978-3-642-11319-2_11 conf/vmcai/2010 db/conf/vmcai/vmcai2010.html#ChenMWC10 Liqian Chen Antoine Miné Ji Wang 0001 Patrick Cousot Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. 309-325 2009 SAS https://doi.org/10.1007/978-3-642-03237-0_21 conf/sas/2009 db/conf/sas/sas2009.html#ChenMWC09 Liqian Chen Antoine Miné Patrick Cousot A Sound Floating-Point Polyhedra Abstract Domain. 3-18 2008 APLAS https://doi.org/10.1007/978-3-540-89330-1_2 conf/aplas/2008 db/conf/aplas/aplas2008.html#ChenMC08 Yu Bai 0010 Timothy Bourke Xuran Cai Taoqing Chen Jieren Cheng Shing-Chi Cheung Patrick Cousot Ziying Dai Ye Deng Longming Dong Wei Dong 0006 Guangsheng Fan Hongfei Fu 0001 Khalil Ghorbal Amir Kafshdar Goharshady Jiayu He Cheng-Chao Huang Chun Huang Chun Huang 0006 Renjie Huang Xiaowei Huang 0001 Tao Ji Zhouyang Jia Jiahong Jiang Deepak Kapur Jingyu Ke Yan Lei Guoqiang Li 0001 Jianlin Li Minghao Li Renjian Li Renjue Li Shanshan Li 0001Shan-shan Li 0001 Tun Li 0002 Xingpei Li Bo Lin 0011 Haoran Liu Hongming Liu Jiangchao Liu Pei Liu Siyu Liu Wanwei Liu Zengyu Liu David Lo 0001 Yao Lu 0003 Dan Luo Chenghu Ma Xiaoguang Mao Xinjun Mao Antoine Miné Sheng Ouyang Jinkun Pan Xin Peng 0010 Yihao Qin Luyao Ren Xavier Rival Mingchuan Shi Axel Simon Zhouyue Sun Jingxiang Tu Huaimin Wang 0001 Ji Wang Ji Wang 0001 Shangwen Wang Tao Wang 0006 Tengbin Wang Ting Wang 0009 Xinyu Wang Dengping Wei Ling Wen Ming Wen 0001 Yanjun Wen Cheng Weng Xueguang Wu Tao Xie 0001 Qi Xin Yingfei Xiong 0001 Han Xu Xuezheng Xu Jifeng Xuan Deheng Yang Pengfei Yang 0002 Shifu Yang Peisen Yao Xin Yi 0002 Banghu Yin Gang Yin Hengbiao Yu Shiwen Yu Naijun Zhan Lijun Zhang 0001 Wenyu Zhang Yi Zhang Yuanliang Zhang Yuhao Zhang 0005 Zhuo Zhang 0007 Yuan Zhou Hongji Zou Sheng Zou