论文

206 篇论文

2026

Experience Report: Insights from Deploying Educational Static Analysis in Introductory Programming Courses
FSE 2026CCF AKe Gong Jian Zhang
代码
Write Your Own Code Checker: An Automated Test-Driven Checker Development Approach with LLMs
ICSE 2026CCF AJun Liu*Yuanyuan Xie*Jiwei Yan Jinhao Huang Jun Yan Jian Zhang
PDF 代码

2024

Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems
TASE 2024CCF CSiqi WangChangwen LiTiantian Sun Fuqi Jia Rongjie Yan Jun Yan
Detecting Element Accessing Bugs in C++ Sequence Containers
ASE 2024CCF AZhilin Li Xutong Ma Mengze Hu Jun Yan
代码
DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates
ISSTA 2024Baoquan Cui Jiwei Yan Jian Zhang
代码
Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
ISSRE 2024CCF BJun Liu Jiwei Yan Yuanyuan Xie Jun Yan Jian Zhang
Investigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023CCF CMinghao Liu Rui Han Fuqi Jia Pei Huang Feifei MaHantao ZhangJian Zhang
代码
Panda: A Concurrent Scheduler for Compiler-Based Tools
ISSTA 2024Xutong Ma Jiwei Yan Jun Yan Jian Zhang
代码
Parallel Verification for δ-Equivalence of Neural Network Quantization
SAIV 2024（与 CAV 同期同地举办）Pei HuangYuting YangHaoze WuIeva DaukantasMin WuFuqi JiaClark Barrett

2023

Best Student Abstract Honorable Mention Award
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023Minghao Liu Pei Huang Fuqi Jia Fan ZhangYuchen SunShaowei CaiFeifei Ma Jian Zhang
代码
Detecting Exception Handling Bugs in C++ Programs
ICSE 2023CCF AHao Zhang Ji Luo Mengze Hu Jun Yan Jian ZhangZongyan Qiu
代码
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count
ASE 2023CCF AXutong Ma Jiwei Yan Hao Zhang Jun Yan Jian Zhang
代码
Detection of Java Basic Thread Misuses Based on Static Event Analysis
ASE 2023CCF ABaoquan Cui Miaomiao Wang Chi Zhang Jiwei Yan Jun Yan Jian Zhang
代码
ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps
ASE 2023Shixin ZhangShanna LiXi Deng Jiwei Yan Jun Yan
代码
ACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023CCF AFuqi Jia Rui Han Pei Huang Minghao Liu Feifei Ma Jian Zhang
代码
Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set
ICSE 2023CCF AJiwei Yan Miaomiao WangYepang LiuJun Yan Long Zhang
代码
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
ASE 2023Minghao Liu Kunhang Lv Pei Huang Rui Han Fuqi JiaYu ZhangFeifei Ma Jian Zhang
代码
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
ICSE 2023CCF ASuyue GuoXinyu WanWei YouBin LiangWenchang ShiYiwei ZhangJianjun HuangJian Zhang
PSMT: Satisfiability Modulo Theories Meets Probability Distribution
ASE 2023Fuqi Jia Rui Han Xutong Ma Baoquan Cui Minghao Liu Pei Huang Feifei Ma Jian Zhang
代码
Quantifying Robustness to Adversarial Word Substitutions
ECML-PKDD 2023CCF BYuting YangPei HuangJuao CaoFeifei Ma Jian ZhangJintao Li
Runtime Monitoring DNN-Based Perception
RV 2023Chih-Hong ChengMichael LuttenbergerRongjie Yan
Scope-based Compiler Differential Testing
QRS 2023CCF CRong QuJiangang HuangLong ZhangTianlu QiaoJian Zhang
Simulation-Based Validation for Autonomous Driving Systems
ISSTA 2023CCF AChangwen LiJoseph SifakisQiang WangRongjie Yan Jian Zhang
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NeurIPS 2023CCF AFuqi Jia Yuhang Dong Minghao Liu Pei Huang Feifei Ma Jian Zhang
Variable-strength combinatorial testing of exported activities based on misexposure prediction
JSS 2023CCF BXi Deng Jiwei Yan Shixin Zhang Jun Yan Jian Zhang
代码

CCF 分类依据第七版《中国计算机学会推荐国际学术会议和期刊目录》。