Books and Book Articles

    • 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. Research Progress and Trends on Formal Verification of Artificial Intelligence Systems. CCF 2019-2020 Progress Report on Chinese Computer Science and Technology. China Machine Press, pages 491-539, 2020.

    Refereed Journal and Conference Articles

    * means corresponding author

    Preprint

    • [Arxiv] Xiaoxia Liu, Jingyi Wang, Jun Sun, Xiaohan Yuan, Guoliang Dong, Peng Di, Wenhai Wang, Dongxia Wang. Prompting Frameworks for Large Language Models: A Survey. arXiv:2311.12785, 2023. (Paper link,Github link, Media Coverage: AGI Summit, Best Paper Award)

    2024

    • [ICSE, CCF A] Jianan Ma, Pengfei Yang, Jingyi Wang*, Youcheng Sun, Chengchao Huang and Zhen Wang. VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. 46th International Conference on Software Engineering, Lisbon, Portugal, Apr, 2024. (234/1049, acceptance rate: 22%)

    • [ISSTA, CCF A] Jialuo Chen, Jingyi Wang*, Youcheng Sun, Peng Cheng and Jiming Chen. Isolation-based Debugging for Neural Networks. 33rd International Symposium on Software Testing and Analysis, Vienna, Austria, Sep 2024. (First round accepted 42/471, acceptance rate: 8.9%)

    • [TSE, CCF A] Shunkai Zhu, Jingyi Wang*, Jun Sun, Jie Yang, Xingwei Lin, Tianyi Wang, Liyi Zhang and Peng Cheng. Better Pay Attention Whilst Fuzzing. IEEE Transactions on Software Engineering. (Accepted)

    • [TDSC, CCF A] Xiangshan Gao, Xingjun Ma, Jingyi Wang, Youcheng Sun, Bo Li, Shouling Ji, Peng Cheng and Jiming Chen. VERIFI: Towards Verifiable Federated Unlearning, IEEE Transactions on Dependable and Secure Computing. (Accepted)

    • [TOSEM, CCF A] Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang and Jun Sun. Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples, ACM Transactions on Software Engineering and Methodology. (Accepted)

    • [CPSS] Zichen Wang, Jingyi Wang*, Fu Song, Kun Wang, Hongyi Pu and Peng Cheng. K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language, the 10th ACM Cyber-Physical System Security Workshop, held in conjunction with ACM AsiaCCS’24 Singapore, July 2024.

    • [RA-L] Yifan Jia, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang*, Jun Sun, Sudipta Chattopadhyay. Boosting Adversarial Training in Safety-critical Systems through Boundary Data Selection. IEEE Robotics and Automation Letters. (Accepted)

    2023

    • [CCS, CCF A] Wenya Wang, Xingwei Lin, Jingyi Wang*, Wang Gao, Dawu Gu, Wei Lv, and Jiashui Wang. HODOR: Shrinking Attack Surface on Node.js via System Call Limitation. 30th ACM Conference on Computer and Communications Security, Copenhagen, Denmark, Nov, 2023.

    • [TSE, CCF A] Kun Wang, Jingyi Wang*, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, and Peng Cheng. K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. IEEE Transactions on Software Engineering. (Accepted)

    • [ISSTA, CCF A] Huizhong Guo, Jinfeng Li, Jingyi Wang, Xiangyu Liu, Dongxia Wang, Zehong Hu, Rong Zhang and Hui Xue. FairRec: Fairness Testing for Deep Recommender Systems. 32nd International Symposium on Software Testing and Analysis, Seattle, USA, July 2023. (First round accepted 20/159, acceptance rate: 12.6%)

    • [TOSEM, CCF A] Mengdi Zhang, Jun Sun, Jingyi Wang and Bing Sun. TestSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination. ACM Transactions on Software Engineering and Methodology. (Accepted)

    • [CONFEST/FMICS] Huan Sun, Ziyu Mao, Jingyi Wang*, Ziyan Zhao, Wenhai Wang. Applying Rely-guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study. 28th International Conference on Formal Methods for Industrial Critical Systems, part of CONFEST 2023, Antwerp, Belgium, Sep, 2023.

    • [Black Hat Europe] Wenya Wang, Xingwei Lin, Jingyi Wang, Wang Gao, Dawu Gu. HODOR: Reducing Attack Surface on Node.js via System Call Limitation. Black Hat Europe, London, United Kingdom, Dec, 2023.

    • [ICSE Demo] Jialuo Chen, Youcheng Sun, Jingyi Wang, Peng Cheng and Xingjun Ma. DeepJudge: A Testing Framework for Copyright Protection of Deep Learning Models. 45th International Conference on Software Engineering, Demostractions track, Melbourne, Australia, May, 2023.

    • [中文CCF A] 周涛，甘燃，徐东伟，王竟亦，宣琦. 图像对抗样本检测综述. 软件学报. （已接收）

    2022

    • [S&P, CCF A] Jialuo Chen, Jingyi Wang*, Tinglan Peng, Youcheng Sun, Peng Cheng, Shouling Ji, Xingjun Ma, Bo Li and Dawn Song. Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models. 43rd IEEE Symposium on Security and Privacy, Oakland, USA, May 2022.

    • [TOSEM, CCF A] Jialuo Chen, Jingyi Wang*, Xingjun Ma, Youcheng Sun, Jun Sun, Peixin Zhang and Peng Cheng. QuoTe: Quality-oriented Testing for Deep Learning Systems. ACM Transactions on Software Engineering and Methodology. (Accepted)

    • [ICSE, CCF A] Haibin Zheng, Zhiqing Chen, Tianyu Du, Xuhong Zhang, Yao Cheng, Shouling Ji, Jingyi Wang, Yue Yu and Jinyin Chen. NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identification. 44th International Conference on Software Engineering, Pittsburgh, PA, USA, May, 2022. (197/751, Acceptance rate: 26%)

    • [ASE-J, CCF B] Mengdi Zhang, Jun Sun and Jingyi Wang. Which neural network makes more explainable decisions? An approach towards measuring explainability. Automated Software Engineering, 2022.

    • [FITEE] Rongkuan Ma, Hao Zheng, Jingyi Wang, Mufeng Wang, Qiang Wei and Qingxian Wang. Automatic Protocol Reverse-engineering for Industrial Control Systems with Dynamic Taint Analysis. Frontiers of Information Technology & Electronic Engineering, 2022. (Spotlight Paper)

    • [IoT-J] Yangyang Geng, Yuqi Chen, Rongkuan Ma, Qiang Wei, Jie Pan, Jingyi Wang, Peng Cheng and Qingxian Wang. Defending Cyber-physical Systems through Reverse Engineering Based Memory Sanity Check. IEEE Internet of Things Journal. (Accepted)

    • [TASE, CCF C] Guoliang Dong, Jingyi Wang*, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi and Jin Song Dong. Repairing Adversarial Texts through Perturbation. 16th International Symposium on Theoretical Aspects of Software Engineering, Cluj-Napoca, Romania, July, 2022.

    2021

    • [ICSE, CCF A] Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun and Peng Cheng. RobOT: Robustness-Oriented Testing for Deep Learning Systems. 43rd International Conference on Software Engineering, Madrid, Spain (online), May 2021. (138/615, Acceptance rate: 22%)

    • [TSE, CCF A] Peixin Zhang, Jingyi Wang*, Jun Sun, Xinyu Wang, Guoliang Dong, Xinggen Wang, Ting Dai and Jin Song Dong. Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling, IEEE Transactions on Software Engineering. (Accepted)

    • [ISSTA, CCF A] Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song and Jun Sun. Attack as Defense: Characterizing Adversarial Examples using Robustness, 30th International Symposium on Software Testing and Analysis (online), July 2021. (51/233, Acceptance rate: 22%)

    • [ETAPS/TACAS, CCF B] Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue and Lijun Zhang. Improving Neural Network Verification through Spurious Region Guided Refinement, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2021, Luxembourg, Luxembourg (online), Apr 2021.

    • [JCST, CCF B] Ke Liu, Jingyi Wang, Qiang Wei, Zhengyong Zhang, Jun Sun, Rongkuan Ma, Ruilong Deng. HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic Controller, Journal of Computer Science and Technology. (Accepted)

    • [IJCIP] Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun and Yuqi Chen. Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems, International Journal of Critical Infrastructure Protection. (Accepted)

    2020 and Before

    • [ICSE, CCF A] Peixin Zhang, Jingyi Wang*, Jun Sun, Guoliang Dong, Xinyu Wang, Ting Dai, Xingen Wang and Jin Song Dong. White-box Fairness Testing through Adversarial Sampling. 42nd International Conference on Software Engineering, Seoul, South Korea (online), Oct 2020. (129/617, Acceptance rate: 20.9%, ACM SIGSOFT Distinguished Paper Award, ACM SIGSOFT Research Highlights.)

    • [ASE, CCF A] Guoliang Dong, Jingyi Wang*, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Xingen Wang and Jin Song Dong. Towards Interpreting Recurrent Neural Network through Probabilistic Abstraction. 35th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Australia (online), Sep 2020. (92/414, Acceptance rate: 22.5%)

    • [ICECCS, CCF C] Yizhen Dong, Peixin Zhang, Jingyi Wang*, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong and Ting Dai. An Empirical Study on the Correlation between Coverage and Robustness for Deep Neural Networks. 25th International Conference on Engineering of Complex Computer Systems, October 2020, Singapore (online).

    • [ICSE, CCF A] Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang and Peixin Zhang. Adversarial Sample Detection for Deep Neural Networks through Model Mutation Testing. 41st International Conference on Software Engineering, Montreal, Canada, May 2019. (109/529, Acceptance rate: 20.6%)

    • [TSE, CCF A] Jingyi Wang, Jun Sun, Shengchao Qin and Cyrille Jegourel. Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement, IEEE Transactions on Software Engineering. (Accepted)

    • [FM, CCF A] Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin and Zhiwu Xu. Towards ‘Verifying’ a Water Treatment System, 22nd International Symposium on Formal Methods, Oxford, UK, July 2018. (Acceptance rate: 28%)

    • [ICSE, CCF A] Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang* and Yun Lin. Towards Optimal Concolic Testing, 40th International Conference on Software Engineering, Gothenburg, Sweden, May 2018. (Acceptance rate：20.9%, ACM SIGSOFT Distinguished Paper Award)

    • [DSN, CCF B] Cyrille Jegourel, Jingyi Wang and Jun Sun. Importance Sampling of Interval Markov Chains, 48th International Conference on Dependable Systems and Networks, Luxembourg, Nov 2018. (Acceptance rate: 26.7%)

    • [STTT, CCF C] Jingyi Wang, Jun Sun, Qixia Yuan, and Jun Pang. Learning Probabilistic Models for Model Checking: An Evolutionary Approach and an Empirical Study, International Journal on Software Tools for Technology Transfer, 2018.

    • [ETAPS/FASE, CCF B] Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang. Should We Learn Probabilistic Models for Model Checking? A New approach and an Empirical Study, 20th International Conference on Fundamental Approaches to Software Engineering, part of ETAPS 2017, Uppsala, Sweden, Apr 2017. (Acceptance rate: 27%)

    • [ICFEM, CCF C] Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin. Improving Probability Estimation through Active Probabilistic Model Learning, 19th International Conference on Formal Engineering Methods, Xi’an, China, Nov 2017.

    • [FM, CCF A] Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang. Towards Concolic Testing for Hybrid Systems, 21st International Symposium on Formal Methods, Cyprus, Nov 2016.