Jingyi Wang

97 papers A* 16A 6B 6C 4Misc 1Journal 61Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A2E: Black-Box Anti-Adversarial Example Based Watermarking to Verify Federated Unlearning.
IEEE Trans. Dependable Secur. Comput.
Xiangshan Gao, Jingyi Wang, Zhikun Zhang, Jialuo Chen, Peng Cheng, Jiming Chen
2026 J jnl
A2R: A hybridactivation-attention framework for enhancing large language model reliability.
Expert Syst. Appl.
Xuran Li, Jingyi Wang, Xiaohan Yuan, Wenhai Wang
2026 J jnl
Efficient Function Orchestration for Large Language Models.
IEEE Trans. Software Eng.
Xiaoxia Liu, Peng Di, Cong Li, Jun Sun, Jingyi Wang
2026 C ed.
Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
ICFEM
Étienne André, Jingyi Wang, Naijun Zhan
2026 J jnl
Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving.
ACM Trans. Softw. Eng. Methodol.
Shunkai Zhu, Jun Sun, Jingyi Wang, Zhenbang Chen, Peng Cheng
2026 A* conf
LLMQuA: Practical Backdoor Injection on Large Language Model Quantization.
WWW
Xiangxiang Chen, Peixin Zhang, Jun Sun, Jin Song Dong, Wenhai Wang, Jingyi Wang
2026 J jnl
PRUNE: A patching based repair framework for certifiable and privacy-robust unlearning of neural networks.
Neural Networks
Xuran Li, Jingyi Wang, Xiaohan Yuan, Peixin Zhang
2025 B conf
An Analytical Perspective on Software Engineering for Large Language Models.
ICECCS
Tianlin Li, Qiang Hu, Chong Wang, Jian Zhang, Wei Ma, Aishan Liu, Jingyi Wang, Yang Liu
2025 J jnl
An Empirical Study of Sample Selection Strategies for Large Language Model Repair.
CoRR
Xuran Li, Jingyi Wang
2025 J jnl
Efficient Function Orchestration for Large Language Models.
CoRR
Xiaoxia Liu, Peng Di, Cong Li, Jun Sun, Jingyi Wang
2025 A* conf
Generalized Security-Preserving Refinement for Concurrent Systems.
CCS
Huan Sun, David Sanán, Jingyi Wang, Yongwang Zhao, Jun Sun, Wenhai Wang
2025 J jnl
Generalized Security-Preserving Refinement for Concurrent Systems.
CoRR
Huan Sun, David Sanán, Jingyi Wang, Yongwang Zhao, Jun Sun, Wenhai Wang
2025 A* conf
LLM-Aided Automatic Modeling for Security Protocol Verification.
ICSE
Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong
2025 J jnl
OptSE: Toward Optimal Symbolic Execution.
IEEE Trans. Software Eng.
Shunkai Zhu, Jun Sun, Jingyi Wang, Xingwei Lin, Peng Cheng
2025 J jnl
PRUNE: A Patching Based Repair Framework for Certifiable Unlearning of Neural Networks.
CoRR
Xuran Li, Jingyi Wang, Xiaohan Yuan, Peixin Zhang, Zhan Qin, Zhibo Wang, Kui Ren
2025 A* conf
Patch Synthesis for Property Repair of Deep Neural Networks.
ICSE
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang
2025 J jnl
Protecting Deep Learning Model Copyrights With Adversarial Example-Free Reuse Detection.
IEEE Trans. Neural Networks Learn. Syst.
Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
2025 A* conf
Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement.
CCS
Jianan Ma, Jingyi Wang, Qi Xuan, Zhen Wang
2025 A* conf
Quantitative Runtime Monitoring of Ethereum Transaction Attacks.
WWW
Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David A. Basin, Jun Sun, Jingyi Wang
2025 J jnl
Rounding-Guided Backdoor Injection in Deep Learning Model Quantization.
CoRR
Xiangxiang Chen, Peixin Zhang, Jun Sun, Wenhai Wang, Jingyi Wang
2025 J jnl
S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models.
Proc. ACM Softw. Eng.
Xiaohan Yuan, Jinfeng Li, Dongxia Wang, Yuefeng Chen, Xiaofeng Mao, Longtao Huang, Jialuo Chen, Hui Xue, Xiaoxia Liu, Wenhai Wang, Kui Ren, Jingyi Wang
2025 J jnl
Scuzer: A Scheduling Optimization Fuzzer for TVM.
ACM Trans. Softw. Eng. Methodol.
Xiangxiang Chen, Xingwei Lin, Jingyi Wang, Jun Sun, Jiashui Wang, Wenhai Wang
2024 J jnl
Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents.
CoRR
Zihan Liu, Ruinan Zeng, Dongxia Wang, Gengyun Peng, Jingyi Wang, Qiang Liu, Peiyu Liu, Wenhai Wang
2024 J jnl
Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples.
ACM Trans. Softw. Eng. Methodol.
Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, Jun Sun
2024 J jnl
Better Pay Attention Whilst Fuzzing.
IEEE Trans. Software Eng.
Shunkai Zhu, Jingyi Wang, Jun Sun, Jie Yang, Xingwei Lin, Tian Wang, Liyi Zhang, Peng Cheng
2024 A* conf
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection.
ASE
Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
2024 J jnl
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection.
CoRR
Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
2024 A conf
Interpretability Based Neural Network Repair.
ISSTA
Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang, Qi Xuan, Xiaoniu Yang
2024 A conf
Isolation-Based Debugging for Neural Networks.
ISSTA
Jialuo Chen, Jingyi Wang, Youcheng Sun, Peng Cheng, Jiming Chen
2024 — conf
K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language.
CPSS@AsiaCCS
Zichen Wang, Jingyi Wang, Fu Song, Kun Wang, Hongyi Pu, Peng Cheng
2024 J jnl
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection.
CoRR
Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
2024 J jnl
RedTest: Towards Measuring Redundancy in Deep Neural Networks Effectively.
CoRR
Yao Lu, Peixin Zhang, Jingyi Wang, Lei Ma, Xiaoniu Yang, Qi Xuan
2024 J jnl
S-Eval: Automatic and Adaptive Test Generation for Benchmarking Safety Evaluation of Large Language Models.
CoRR
Xiaohan Yuan, Jinfeng Li, Dongxia Wang, Yuefeng Chen, Xiaofeng Mao, Longtao Huang, Hui Xue, Wenhai Wang, Kui Ren, Jingyi Wang
2024 A conf
TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development.
ISSTA
Xiangshan Gao, Jialuo Chen, Jingyi Wang, Jie Shi, Peng Cheng, Jiming Chen
2024 J jnl
Towards Real World Debiasing: A Fine-grained Analysis On Spurious Correlation.
CoRR
Zhibo Wang, Peng Kuang, Zhixuan Chu, Jingyi Wang, Kui Ren
2024 A* conf
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.
ICSE
Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang
2024 J jnl
VeriFi: Towards Verifiable Federated Unlearning.
IEEE Trans. Dependable Secur. Comput.
Xiangshan Gao, Xingjun Ma, Jingyi Wang, Youcheng Sun, Bo Li, Shouling Ji, Peng Cheng, Jiming Chen
2024 J jnl
μDrive: User-Controlled Autonomous Driving.
CoRR
Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen
2023 C conf
Black-Box Fairness Testing with Shadow Models.
ICICS
Weipeng Jiang, Chao Shen, Chenhao Lin, Jingyi Wang, Jun Sun, Xuanqi Gao
2023 J jnl
Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection.
IEEE Robotics Autom. Lett.
Yifan Jia, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay
2023 — conf
DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models.
ICSE Companion
Jialuo Chen, Youcheng Sun, Jingyi Wang, Peng Cheng, Xingjun Ma
2023 J jnl
Defending Cyber-Physical Systems Through Reverse-Engineering-Based Memory Sanity Check.
IEEE Internet Things J.
Yangyang Geng, Yuqi Chen, Rongkuan Ma, Qiang Wei, Jie Pan, Jingyi Wang, Peng Cheng, Qingxian Wang
2023 A conf
FairRec: Fairness Testing for Deep Recommender Systems.
ISSTA
Huizhong Guo, Jinfeng Li, Jingyi Wang, Xiangyu Liu, Dongxia Wang, Zehong Hu, Rong Zhang, Hui Xue
2023 J jnl
FairRec: Fairness Testing for Deep Recommender Systems.
CoRR
Huizhong Guo, Jinfeng Li, Jingyi Wang, Xiangyu Liu, Dongxia Wang, Zehong Hu, Rong Zhang, Hui Xue
2023 A* conf
HODOR: Shrinking Attack Surface on Node.js via System Call Limitation.
CCS
Wenya Wang, Xingwei Lin, Jingyi Wang, Wang Gao, Dawu Gu, Wei Lv, Jiashui Wang
2023 J jnl
HODOR: Shrinking Attack Surface on Node.js via System Call Limitation.
CoRR
Wenya Wang, Xingwei Lin, Jingyi Wang, Wang Gao, Dawu Gu, Wei Lv, Jiashui Wang
2023 J jnl
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs.
IEEE Trans. Software Eng.
Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
2023 J jnl
Prompting Frameworks for Large Language Models: A Survey.
CoRR
Xiaoxia Liu, Jingyi Wang, Jun Sun, Xiaohan Yuan, Guoliang Dong, Peng Di, Wenhai Wang, Dongxia Wang
2023 J jnl
QuoTe: Quality-oriented Testing for Deep Learning Systems.
ACM Trans. Softw. Eng. Methodol.
Jialuo Chen, Jingyi Wang, Xingjun Ma, Youcheng Sun, Jun Sun, Peixin Zhang, Peng Cheng
2023 J jnl
TestSGD: Interpretable Testing of Neural Networks against Subtle Group Discrimination.
ACM Trans. Softw. Eng. Methodol.
Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun
2022 J jnl
Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling.
IEEE Trans. Software Eng.
Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong
2022 A* conf
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models.
SP
Jialuo Chen, Jingyi Wang, Tinglan Peng, Youcheng Sun, Peng Cheng, Shouling Ji, Xingjun Ma, Bo Li, Dawn Song
2022 J jnl
K-ST: A Formal Executable Semantics of PLC Structured Text Language.
CoRR
Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
2022 A* conf
NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identification.
ICSE
Haibin Zheng, Zhiqing Chen, Tianyu Du, Xuhong Zhang, Yao Cheng, Shouling Ji, Jingyi Wang, Yue Yu, Jinyin Chen
2022 Misc conf
Repairing Adversarial Texts Through Perturbation.
TASE
Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong
2022 J jnl
Repairing Adversarial Texts through Perturbation.
CoRR
Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong
2022 J jnl
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination.
CoRR
Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun
2022 J jnl
Towards Comprehensively Understanding the Run-time Security of Programmable Logic Controllers: A 3-year Empirical Study.
CoRR
Rongkuan Ma, Qiang Wei, Jingyi Wang, Shunkai Zhu, Shouling Ji, Peng Cheng, Yan Jia, Qingxian Wang
2022 J jnl
VeriFi: Towards Verifiable Federated Unlearning.
CoRR
Xiangshan Gao, Xingjun Ma, Jingyi Wang, Youcheng Sun, Bo Li, Shouling Ji, Peng Cheng, Jiming Chen
2022 J jnl
Which neural network makes more explainable decisions? An approach towards measuring explainability.
Autom. Softw. Eng.
Mengdi Zhang, Jun Sun, Jingyi Wang
2021 J jnl
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems.
CoRR
Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen
2021 J jnl
Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems.
Int. J. Crit. Infrastructure Prot.
Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen
2021 J jnl
Attack as Defense: Characterizing Adversarial Examples using Robustness.
CoRR
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
2021 A conf
Attack as defense: characterizing adversarial examples using robustness.
ISSTA
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
2021 J jnl
Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling.
CoRR
Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong
2021 J jnl
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement.
IEEE Trans. Software Eng.
Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jégourel
2021 J jnl
Better Pay Attention Whilst Fuzzing.
CoRR
Shunkai Zhu, Jingyi Wang, Jun Sun, Jie Yang, Xingwei Lin, Liyi Zhang, Peng Cheng
2021 J jnl
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models.
CoRR
Jialuo Chen, Jingyi Wang, Tinglan Peng, Youcheng Sun, Peng Cheng, Shouling Ji, Xingjun Ma, Bo Li, Dawn Song
2021 J jnl
Fairness Testing of Deep Image Classification with Adequacy Metrics.
CoRR
Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang
2021 — conf
Improving Neural Network Verification through Spurious Region Guided Refinement.
TACAS (1)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2021 J jnl
NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identification.
CoRR
Haibin Zheng, Zhiqing Chen, Tianyu Du, Xuhong Zhang, Yao Cheng, Shouling Ji, Jingyi Wang, Yue Yu, Jinyin Chen
2021 A* conf
RobOT: Robustness-Oriented Testing for Deep Learning Systems.
ICSE
Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
2021 J jnl
RobOT: Robustness-Oriented Testing for Deep Learning Systems.
CoRR
Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
2020 B conf
An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks.
ICECCS
Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai
2020 J jnl
Improving Neural Network Verification through Spurious Region Guided Refinement.
CoRR
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2020 A* conf
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction.
ASE
Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong, Xingen Wang
2020 J jnl
Towards Repairing Neural Networks Correctly.
CoRR
Guoliang Dong, Jun Sun, Jingyi Wang, Xinyu Wang, Ting Dai
2020 A* conf
White-box fairness testing through adversarial sampling.
ICSE
Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Ting Dai
2019 A* conf
Adversarial sample detection for deep neural network through model mutation testing.
ICSE
Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang
2019 J jnl
Analyzing Recurrent Neural Network by Probabilistic Abstraction.
CoRR
Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong
2019 J jnl
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks.
CoRR
Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting
2018 J jnl
Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing.
CoRR
Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang
2018 J jnl
Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing.
CoRR
Jingyi Wang, Jun Sun, Peixin Zhang, Xinyu Wang
2018 A conf
Importance Sampling of Interval Markov Chains.
DSN
Cyrille Jégourel, Jingyi Wang, Jun Sun
2018 J jnl
Learning probabilistic models for model checking: an evolutionary approach and an empirical study.
Int. J. Softw. Tools Technol. Transf.
Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
2018 B conf
Towards 'Verifying' a Water Treatment System.
FM
Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu
2018 A* conf
Towards optimal concolic testing.
ICSE
Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin
2017 C conf
Improving Probability Estimation Through Active Probabilistic Model Learning.
ICFEM
Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin
2017 B conf
Learning Likely Invariants to Explain Why a Program Fails.
ICECCS
Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng
2017 B conf
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.
FASE
Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
2017 J jnl
Toward 'verifying' a Water Treatment System.
CoRR
Jingyi Wang, Jun Sun, Yifan Jia
2016 J jnl
Learning Likely Invariants to Explain Why a Program Fails.
CoRR
Jun Sun, Long H. Pham, Lyly Tran Thi, Jingyi Wang, Xin Peng
2016 C conf
Service Adaptation with Probabilistic Partial Models.
ICFEM
Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong
2016 J jnl
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.
CoRR
Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
2016 B conf
Towards Concolic Testing for Hybrid Systems.
FM
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2016 J jnl
Towards Concolic Testing for Hybrid Systems.
CoRR
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2016 J jnl
Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement.
CoRR
Jingyi Wang, Jun Sun, Shengchao Qin