Formal Methods and Software Engineering — 26th International Conference on Formal Engineering Methods, ICFEM 2025

Étienne André, Jingyi Wang, Naijun Zhan

Lecture Notes in Computer Science 16229, Springer 2026, ISBN 978-981-95-4212-3

Research Progress and Trends on Formal Verification of Artificial Intelligence Systems

Lei Bu, Liqian Chen, Yunwei Dong, Xiaowei Huang, Jianlin Li, Qin Li, Wanwei Liu, Wenjian Ruan, Fu Song, Youcheng Sun, Jingyi Wang, Min Wu, Zhiwu Xu, Bai Xue, Pengfei Yang, Xinping Yi, Lijun Zhang and Min Zhang

CCF 2019–2020 Progress Report on Chinese Computer Science and Technology, China Machine Press, pages 491–539, 2020

Hybrid Refinement Logic

Huan Sun, Jingyi Wang*, and Wenhai Wang

Journal of Software (accepted)

Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards

Hao Bu, Lin Huang, Tao Wei, and Jingyi Wang*

41st IEEE/ACM International Conference on Automated Software Engineering, Munich, Oct 2026

Rounding-Guided Backdoor Injection in Deep Learning Model Quantization

Xiangxiang Chen, Peixin Zhang, Jun Sun, Wenhai Wang, and Jingyi Wang*

Network and Distributed System Security Symposium, San Diego, Feb 2026 · arXiv

LLMQuA: Practical Backdoor Injection on Large Language Model Quantization

Xiangxiang Chen, Peixin Zhang, Jun Sun, Jin Song Dong, Wenhai Wang, and Jingyi Wang*

The Web Conference, Dubai, Apr 2026

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents

Zihan Liu, Ruinan Zeng, Dongxia Wang, Gengyun Peng, Xiaoxia Liu, Qiang Liu, Peiyu Liu, Wenhai Wang, Jingyi Wang

IEEE Transactions on Software Engineering (accepted) · arXiv · code

S-Eval: Towards Automated Safety Evaluation with Enhancement for Large Language Models

Xiaohan Yuan, Jinfeng Li, Dongxia Wang, Yuefeng Chen, Xiaofeng Mao, Longtao Huang, Jialuo Chen, Hui Xue, Wenhai Wang, Kui Ren and Jingyi Wang

ACM Transactions on Software Engineering and Methodology (accepted)

Prompting Frameworks for Large Language Models: A Survey

Xiaoxia Liu, Jingyi Wang, Jun Sun, Xiaohan Yuan, Guoliang Dong, Peng Di, Wenhai Wang, Dongxia Wang

ACM Computing Surveys · paper · code · AGI Summit best paper award

Synthesis of Sensor Deception Attacks against Security for Timed Supervisory Control Systems

Yitong Li, Huan Sun, Wenhai Wang and Jingyi Wang*

37th IEEE International Symposium on Software Reliability Engineering, Cyprus, Oct 2026

A Review on Software Formal Verification Empowered by Large Language Models

Cheng Wen, Zhi Ma, Junjie Hu, Jingyi Wang, Jie Su, Zhiwu Xu, Dugang Liu, Cong Tian, Shengchao Qin and Mengfei Yang

Journal of Software (accepted)

A2R: A Hybrid Activation-Attention Framework for Enhancing Large Language Model Reliability

Xuran Li, Jingyi Wang*, Xiaohan Yuan and Wenhai Wang

Expert Systems with Applications (accepted)

PRUNE: A Patching Based Repair Framework for Certifiable and Privacy-Robust Unlearning of Neural Networks

Xuran Li, Jingyi Wang*, Xiaohan Yuan and Peixin Zhang

Neural Networks (accepted)

Generalized Security-Preserving Refinement for Concurrent Systems

Huan Sun, David Sanan, Jingyi Wang*, Yongwang Zhao, Jun Sun and Wenhai Wang

32nd ACM Conference on Computer and Communications Security, Taipei, Oct 2025 · paper

Provable Repair of Deep Neural Network Defects through Pre-image Synthesis and Property Refinement

Jianan Ma, Jingyi Wang*, Qi Xuan and Zhen Wang

32nd ACM Conference on Computer and Communications Security, Taipei, Oct 2025 · paper

LLM-aided Automatic Modelling for Security Protocol Verification

Ziyu Mao, Jingyi Wang*, Jun Sun, Shengchao Qin and Jiawen Xiong

47th International Conference on Software Engineering, Ottawa, Apr 2025 (21.3% acceptance) · paper

Provable Fairness Repair for Deep Neural Networks

Jianan Ma, Jingyi Wang*, Qi Xuan and Zhen Wang

40th IEEE/ACM International Conference on Automated Software Engineering, Seoul, Nov 2025 · paper

Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification

Ziyu Mao, Xiaolin Ma, Lin Huang, Huan Yang, Wu Zhang, Weichao Sun, Yongtao Wang, Jingling Xue and Jingyi Wang*

Industry showcase track, 40th IEEE/ACM International Conference on Automated Software Engineering, Seoul, Nov 2025

Quantitative Runtime Monitoring of Ethereum Transaction Attacks

Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David Basin, Jun Sun and Jingyi Wang*

The Web Conference, Sydney, Apr 2025 (19.8% acceptance) · paper

S-Eval: Automatic and Adaptive Test Generation for Benchmarking Safety Evaluation of Large Language Models

Xiaohan Yuan, Jinfeng Li, Dongxia Wang, Yuefeng Chen, Xiaofeng Mao, Longtao Huang, Hui Xue, Wenhai Wang, Kui Ren and Jingyi Wang

34th International Symposium on Software Testing and Analysis, Trondheim, Jun 2025 (19.4% acceptance) · paper · code · leaderboard

Patch Synthesis for Property Repair of Deep Neural Networks

Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang and Lijun Zhang

47th International Conference on Software Engineering, Ottawa, Apr 2025 (21.3% acceptance)

Efficient Function Orchestration for Large Language Models

Xiaoxia Liu, Peng Di, Cong Li, Jun Sun, and Jingyi Wang*

IEEE Transactions on Software Engineering (accepted) · paper

A2E: Black-box Anti-adversarial Example based Watermarking to Verify Federated Unlearning

Xiangshan Gao, Jingyi Wang, Zhikun Zhang, Jialuo Chen, Peng Cheng and Jiming Chen

IEEE Transactions on Dependable and Secure Computing (accepted)

OPTSE: Towards Optimal Symbolic Execution

Shunkai Zhu, Jun Sun, Jingyi Wang*, Xingwei Lin, and Peng Cheng

IEEE Transactions on Software Engineering (accepted)

Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving

Shunkai Zhu, Jun Sun, Jingyi Wang*, Zhenbang Chen, and Peng Cheng

ACM Transactions on Software Engineering and Methodology (accepted)

Semantic-aware Testing for Object Detection Systems

Xiaoxia Liu, Jingyi Wang*, Hsiao-Ying Lin, Chengfang Fang, Jie Shi, Xiaodong Zhang, Wenhai Wang

Information and Software Technology, 2025

Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection

Xiaokun Luan, Xiyue Zhang, Jingyi Wang, and Meng Sun

IEEE Transactions on Neural Networks and Learning Systems (accepted)

PRUNE: A Patching Based Repair Framework for Certifiable Unlearning of Neural Networks

Xuran Li, Jingyi Wang*, Xiaohan Yuan and Peixin Zhang

China Automation Conference, Harbin, Sep 2025

Fault Localization and Repair for Neural Network based Object Detection

Weifang Zhang, Xiaohan Yuan, Xuran Li, and Jingyi Wang*

China Automation Conference, Harbin, Sep 2025

面向基于国密算法的工业安全协议形式化验证

马晓霖, 王竟亦*, 王文海

中国自动化大会, 哈尔滨, 2025

VERIFI: Towards Verifiable Federated Unlearning

Xiangshan Gao, Xingjun Ma, Jingyi Wang, Youcheng Sun, Bo Li, Shouling Ji, Peng Cheng and Jiming Chen

IEEE Transactions on Dependable and Secure Computing · best paper award runner-up 2024 · paper

Scuzer: A Scheduling Optimization Fuzzer for TVM

Xiangxiang Chen, Xingwei Lin, Jingyi Wang*, Jun Sun, Jiashui Wang and Wenhai Wang

ACM Transactions on Software Engineering and Methodology (accepted)

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks

Jianan Ma, Pengfei Yang, Jingyi Wang*, Youcheng Sun, Chengchao Huang and Zhen Wang

46th International Conference on Software Engineering, Lisbon, Apr 2024 (22% acceptance) · paper

TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development

Xiangshan Gao, Jialuo Chen, Jingyi Wang*, Jie Shi, Peng Cheng and Jiming Chen

33rd International Symposium on Software Testing and Analysis, Vienna, Sep 2024 (20.6% acceptance) · paper

Isolation-based Debugging for Neural Networks

Jialuo Chen, Jingyi Wang*, Youcheng Sun, Peng Cheng and Jiming Chen

33rd International Symposium on Software Testing and Analysis, Vienna, Sep 2024 (20.6% acceptance)

Interpretability based Neural Network Repair

Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang*, Qi Xuan and Xiaoniu Yang

33rd International Symposium on Software Testing and Analysis, Vienna, Sep 2024 (20.6% acceptance)

FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection

Jialuo Chen, Jingyi Wang*, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen and Peng Cheng

39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, Oct 2024

Better Pay Attention Whilst Fuzzing

Shunkai Zhu, Jingyi Wang*, Jun Sun, Jie Yang, Xingwei Lin, Tianyi Wang, Liyi Zhang and Peng Cheng

IEEE Transactions on Software Engineering (accepted)

Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples

Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang and Jun Sun

ACM Transactions on Software Engineering and Methodology (accepted)

Boosting Adversarial Training in Safety-critical Systems through Boundary Data Selection

Yifan Jia, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang*, Jun Sun, Sudipta Chattopadhyay

IEEE Robotics and Automation Letters (accepted)

K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language

Zichen Wang, Jingyi Wang*, Fu Song, Kun Wang, Hongyi Pu and Peng Cheng

10th ACM Cyber-Physical System Security Workshop at AsiaCCS, Singapore, Jul 2024

HODOR: Shrinking Attack Surface on Node.js via System Call Limitation

Wenya Wang, Xingwei Lin, Jingyi Wang*, Wang Gao, Dawu Gu, Wei Lv, and Jiashui Wang

30th ACM Conference on Computer and Communications Security, Copenhagen, Nov 2023

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs

Kun Wang, Jingyi Wang*, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, and Peng Cheng

IEEE Transactions on Software Engineering (accepted)

FairRec: Fairness Testing for Deep Recommender Systems

Huizhong Guo, Jinfeng Li, Jingyi Wang, Xiangyu Liu, Dongxia Wang, Zehong Hu, Rong Zhang and Hui Xue

32nd International Symposium on Software Testing and Analysis, Seattle, Jul 2023 (first round 12.6% acceptance)

TestSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination

Mengdi Zhang, Jun Sun, Jingyi Wang and Bing Sun

ACM Transactions on Software Engineering and Methodology (accepted)

Applying Rely-guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study

Huan Sun, Ziyu Mao, Jingyi Wang*, Ziyan Zhao, Wenhai Wang

28th International Conference on Formal Methods for Industrial Critical Systems, CONFEST 2023, Antwerp, Sep 2023

HODOR: Reducing Attack Surface on Node.js via System Call Limitation

Wenya Wang, Xingwei Lin, Jingyi Wang, Wang Gao, Dawu Gu

Black Hat Europe, London, Dec 2023

DeepJudge: A Testing Framework for Copyright Protection of Deep Learning Models

Jialuo Chen, Youcheng Sun, Jingyi Wang, Peng Cheng and Xingjun Ma

45th International Conference on Software Engineering, demonstrations track, Melbourne, May 2023

图像对抗样本检测综述

周涛, 甘燃, 徐东伟, 王竟亦, 宣琦

软件学报（已接收）

Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models

Jialuo Chen, Jingyi Wang*, Tinglan Peng, Youcheng Sun, Peng Cheng, Shouling Ji, Xingjun Ma, Bo Li and Dawn Song

43rd IEEE Symposium on Security and Privacy, Oakland, May 2022 · paper

QuoTe: Quality-oriented Testing for Deep Learning Systems

Jialuo Chen, Jingyi Wang*, Xingjun Ma, Youcheng Sun, Jun Sun, Peixin Zhang and Peng Cheng

ACM Transactions on Software Engineering and Methodology (accepted)

NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identification

Haibin Zheng, Zhiqing Chen, Tianyu Du, Xuhong Zhang, Yao Cheng, Shouling Ji, Jingyi Wang, Yue Yu and Jinyin Chen

44th International Conference on Software Engineering, Pittsburgh, May 2022 (26% acceptance) · paper

Which Neural Network Makes More Explainable Decisions? An Approach Towards Measuring Explainability

Mengdi Zhang, Jun Sun and Jingyi Wang

Automated Software Engineering, 2022

Automatic Protocol Reverse-engineering for Industrial Control Systems with Dynamic Taint Analysis

Rongkuan Ma, Hao Zheng, Jingyi Wang, Mufeng Wang, Qiang Wei and Qingxian Wang

Frontiers of Information Technology & Electronic Engineering, 2022 (spotlight paper)

Defending Cyber-physical Systems through Reverse Engineering Based Memory Sanity Check

Yangyang Geng, Yuqi Chen, Rongkuan Ma, Qiang Wei, Jie Pan, Jingyi Wang, Peng Cheng and Qingxian Wang

IEEE Internet of Things Journal (accepted)

Repairing Adversarial Texts through Perturbation

Guoliang Dong, Jingyi Wang*, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi and Jin Song Dong

16th International Symposium on Theoretical Aspects of Software Engineering, Cluj-Napoca, Jul 2022

RobOT: Robustness-Oriented Testing for Deep Learning Systems

Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun and Peng Cheng

43rd International Conference on Software Engineering, Madrid, May 2021 (22% acceptance) · paper

Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling

Peixin Zhang, Jingyi Wang*, Jun Sun, Xinyu Wang, Guoliang Dong, Xinggen Wang, Ting Dai and Jin Song Dong

IEEE Transactions on Software Engineering · paper

Attack as Defense: Characterizing Adversarial Examples using Robustness

Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song and Jun Sun

30th International Symposium on Software Testing and Analysis, Jul 2021 (22% acceptance)

Improving Neural Network Verification through Spurious Region Guided Refinement

Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue and Lijun Zhang

27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ETAPS 2021, Luxembourg, Apr 2021 · paper

HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic Controller

Ke Liu, Jingyi Wang, Qiang Wei, Zhengyong Zhang, Jun Sun, Rongkuan Ma, Ruilong Deng

Journal of Computer Science and Technology (accepted)

Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems

Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun and Yuqi Chen

International Journal of Critical Infrastructure Protection (accepted)

White-box Fairness Testing through Adversarial Sampling

Peixin Zhang, Jingyi Wang*, Jun Sun, Guoliang Dong, Xinyu Wang, Ting Dai, Xingen Wang and Jin Song Dong

42nd International Conference on Software Engineering, Seoul, Oct 2020 (20.9% acceptance) · ACM SIGSOFT distinguished paper award · ACM SIGSOFT research highlights · paper

Towards Interpreting Recurrent Neural Network through Probabilistic Abstraction

Guoliang Dong, Jingyi Wang*, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Xingen Wang and Jin Song Dong

35th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Sep 2020 (22.5% acceptance)

An Empirical Study on the Correlation between Coverage and Robustness for Deep Neural Networks

Yizhen Dong, Peixin Zhang, Jingyi Wang*, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong and Ting Dai

25th International Conference on Engineering of Complex Computer Systems, Singapore, Oct 2020

Adversarial Sample Detection for Deep Neural Networks through Model Mutation Testing

Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang and Peixin Zhang

41st International Conference on Software Engineering, Montreal, May 2019 (20.6% acceptance) · paper

Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement

Jingyi Wang, Jun Sun, Shengchao Qin and Cyrille Jegourel

IEEE Transactions on Software Engineering (accepted)

Towards 'Verifying' a Water Treatment System

Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin and Zhiwu Xu

22nd International Symposium on Formal Methods, Oxford, Jul 2018 (28% acceptance)

Towards Optimal Concolic Testing

Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang* and Yun Lin

40th International Conference on Software Engineering, Gothenburg, May 2018 (20.9% acceptance) · ACM SIGSOFT distinguished paper award

Importance Sampling of Interval Markov Chains

Cyrille Jegourel, Jingyi Wang and Jun Sun

48th International Conference on Dependable Systems and Networks, Luxembourg, Nov 2018 (26.7% acceptance)

Learning Probabilistic Models for Model Checking: An Evolutionary Approach and an Empirical Study

Jingyi Wang, Jun Sun, Qixia Yuan, and Jun Pang

International Journal on Software Tools for Technology Transfer, 2018

Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study

Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang

20th International Conference on Fundamental Approaches to Software Engineering, ETAPS 2017, Uppsala, Apr 2017 (27% acceptance)

Improving Probability Estimation through Active Probabilistic Model Learning

Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin

19th International Conference on Formal Engineering Methods, Xi'an, Nov 2017

Towards Concolic Testing for Hybrid Systems

Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang

21st International Symposium on Formal Methods, Cyprus, Nov 2016