Verifying Linearizability via Optimized Refinement Checking. - Yang Liu 003; Wei Chen 013; Yanhong A. Liu; Jun Sun 001; Shao Jie Zhang; Jin Song Dong 001 (IEEE Trans. Software Eng., 2013)

Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance. - Yun Lin 001; Zhenchang Xing; Xin Peng 001; Yang Liu 003; Jun Sun 001; Wenyun Zhao; Jin Song Dong 001 (ICSME, 2014)

Model checking approach to automated planning. - Yi Li 008; Jin Song Dong 001; Jing Sun 002; Yang Liu 003; Jun Sun 001 (Formal Methods Syst. Des., 2014)

From verified model to executable program: the PAT approach. - Huiquan Zhu; Jing Sun 002; Jin Song Dong 001; Shang-Wei Lin 001 (Innov. Syst. Softw. Eng., 2016)

Feedback-based debugging. - Yun Lin 001; Jun Sun 001; Yinxing Xue; Yang Liu 003; Jinsong Dong 001 (ICSE, 2017)

Mining implicit design templates for actionable code reuse. - Yun Lin 001; Guozhu Meng; Yinxing Xue; Zhenchang Xing; Jun Sun 001; Xin Peng 001; Yang Liu 003; Wenyun Zhao; Jin Song Dong 001 (ASE, 2017)

A Framework for Formal Analysis of Privacy on SSO Protocols. - Kailong Wang 001; Guangdong Bai; Naipeng Dong; Jin Song Dong 001 (SecureComm, 2017)

Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. - Quanqi Ye; Guangdong Bai; Naipeng Dong; Jin Song Dong 001 (SecureComm, 2017)

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. - Dileepa Fernando; Naipeng Dong; Cyrille Jégourel; Jin Song Dong 001 (ICFEM, 2018)

Break the dead end of dynamic slicing: localizing data and control omission bug. - Yun Lin 001; Jun Sun 001; Lyly Tran; Guangdong Bai; Haijun Wang 002; Jin Song Dong 001 (ASE, 2018)

LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking. - Quanqi Ye; Yan Zhang; Guangdong Bai; Naipeng Dong; Zhenkai Liang; Jin Song Dong 001; Haoyu Wang 001 (ISC, 2019)

Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues. - Pardeep Kumar 001; Yun Lin 001; Guangdong Bai; Andrew Paverd; Jin Song Dong 001; Andrew P. Martin (IEEE Commun. Surv. Tutorials, 2019)

RL: a Language for Formal Engineering. - Hadrien Bride; Jin Song Dong 001; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (ICECCS, 2020)

White-box fairness testing through adversarial sampling. - Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Guoliang Dong; Xinyu Wang 001; Xingen Wang; Jin Song Dong 001; Ting Dai (ICSE, 2020)

Recovering fitness gradients for interprocedural Boolean flags in search-based testing. - Yun Lin 001; Jun Sun 001; Gordon Fraser 001; Ziheng Xiu; Ting Liu 002; Jin Song Dong 001 (ISSTA, 2020)

Self-Checking Deep Neural Networks in Deployment. - Yan Xiao 002; Ivan Beschastnikh; David S. Rosenblum; Changsheng Sun; Sebastian G. Elbaum; Yun Lin 001; Jin Song Dong 001 (ICSE, 2021)

Identifying privacy weaknesses from multi-party trigger-action integration platforms. - Kulani Mahadewa; Yanjun Zhang; Guangdong Bai; Lei Bu; Zhiqiang Zuo 002; Dileepa Fernando; Zhenkai Liang; Jin Song Dong 001 (ISSTA, 2021)

A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing. - Siqi Li; Yun Lin 001; Xiaofei Xie; Yuekang Li; Xiaohong Li 001; Weimin Ge; Yang Liu 003; Jin Song Dong 001 (ASE, 2021)

Graph-based seed object synthesis for search-based unit testing. - Yun Lin 001; You Sheng Ong; Jun Sun 001; Gordon Fraser 001; Jin Song Dong 001 (ESEC/SIGSOFT FSE, 2021)

Phishpedia: A Hybrid Deep Learning Based Approach to Visually Identify Phishing Webpages. - Yun Lin 001; Ruofan Liu; Dinil Mon Divakaran; Jun Yang Ng; Qing Zhou Chan; Yiwen Lu; Yuxuan Si; Fan Zhang; Jin Song Dong 001 (USENIX Security Symposium, 2021)

It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts. - Kailong Wang 001; Junzhe Zhang; Guangdong Bai; Ryan K. L. Ko; Jin Song Dong 001 (WWW, 2021)

Constructing Regression Dataset from Code Evolution History. - Xuezhi Song; Yun Lin 001; Siang Hwee Ng; Ping Yu; Xin Peng 001; Jin Song Dong 001 (CoRR, 2021)

Generalizing Neural Networks by Reflecting Deviating Data in Production. - Yan Xiao 002; Yun Lin 001; Ivan Beschastnikh; Changsheng Sun; David S. Rosenblum; Jin Song Dong 001 (CoRR, 2021)

Characterizing Cryptocurrency-themed Malicious Browser Extensions. - Kailong Wang 001; Yuxi Ling; Yanjun Zhang; Zhou Yu 002; Haoyu Wang 001; Guangdong Bai; Beng Chin Ooi; Jin Song Dong 001 (Proc. ACM Meas. Anal. Comput. Syst., 2021)

Adversarial Adaptive Neighborhood With Feature Importance-Aware Convex Interpolation. - Qian Li 024; Yong Qi; Qingyuan Hu; Saiyu Qi; Yun Lin 001; Jin Song Dong 001 (IEEE Trans. Inf. Forensics Secur., 2021)

Scrutinizing Implementations of Smart Home Integrations. - Kulani Mahadewa; Kailong Wang 001; Guangdong Bai; Ling Shi 002; Yan Liu 012; Jin Song Dong 001; Zhenkai Liang (IEEE Trans. Software Eng., 2021)

Explaining Regressions via Alignment Slicing and Mending. - Haijun Wang 002; Yun Lin 001; Zijiang Yang 006; Jun Sun 001; Yang Liu 003; Jin Song Dong 001; Qinghua Zheng; Ting Liu 002 (IEEE Trans. Software Eng., 2021)

DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. - Xianglin Yang; Yun Lin 001; Ruofan Liu; Zhenfeng He; Chao Wang; Jin Song Dong 001; Hong Mei 001 (AAAI, 2022)

gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects. - Yunkai Liang; Yun Lin 001; Xuezhi Song; Jun Sun 001; Zhiyong Feng 002; Jin Song Dong 001 (ICSE-Companion, 2022)

Temporality Spatialization: A Scalable and Faithful Time-Travelling Visualization for Deep Classifier Training. - Xianglin Yang; Yun Lin 001; Ruofan Liu; Jin Song Dong 001 (IJCAI, 2022)

RegMiner: towards constructing a large regression dataset from code evolution history. - Xuezhi Song; Yun Lin 001; Siang Hwee Ng; Yijian Wu; Xin Peng 001; Jin Song Dong 001; Hong Mei 001 (ISSTA, 2022)

Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions. - Yuxi Ling; Kailong Wang 001; Guangdong Bai; Haoyu Wang 001; Jin Song Dong 001 (ASE, 2022)

Repairing Failure-inducing Inputs with Input Reflection. - Yan Xiao 002; Yun Lin 001; Ivan Beschastnikh; Changsheng Sun; David S. Rosenblum; Jin Song Dong 001 (ASE, 2022)

Debugging and Explaining Metric Learning Approaches: An Influence Function Based Perspective. - Ruofan Liu; Yun Lin 001; Xianglin Yang; Jin Song Dong 001 (NeurIPS, 2022)

RegMiner: mining replicable regression dataset from code repositories. - Xuezhi Song; Yun Lin 001; Yijian Wu; Yifan Zhang; Siang Hwee Ng; Xin Peng 001; Jin Song Dong 001; Hong Mei 001 (ESEC/SIGSOFT FSE, 2022)

Inferring Phishing Intention via Webpage Appearance and Dynamics: A Deep Vision Based Approach. - Ruofan Liu; Yun Lin 001; Xianglin Yang; Siang Hwee Ng; Dinil Mon Divakaran; Jin Song Dong 001 (USENIX Security Symposium, 2022)

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. - Yuting Yang 002; Pei Huang 002; Juan Cao 001; Jintao Li 001; Yun Lin 001; Jin Song Dong 001; Feifei Ma; Jian Zhang 001 (CoRR, 2022)

Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective. - Mark Huasong Meng; Guangdong Bai; Sin Gee Teo; Zhe Hou; Yan Xiao 002; Yun Lin 001; Jin Song Dong 001 (CoRR, 2022)

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. - Cheng-Hao Cai; Jing Sun 002; Gillian Dobbie; Zhé Hóu; Hadrien Bride; Jin Song Dong 001; Scott Uk-Jin Lee (Formal Aspects Comput., 2022)

Stochastic Ghost Batch for Self-distillation with Dynamic Soft Label. - Qian Li 024; Qingyuan Hu; Saiyu Qi; Yong Qi; Di Wu 062; Yun Lin 001; Jin Song Dong 001 (Knowl. Based Syst., 2022)

Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling. - Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Xinyu Wang 001; Guoliang Dong; Xingen Wang; Ting Dai; Jin Song Dong 001 (IEEE Trans. Software Eng., 2022)

Insight Analysis for Tennis Strategy and Tactics. - Zhaoyu Liu; Kan Jiang; Zhe Hou; Yun Lin 001; Jin Song Dong 001 (ICDM, 2023)

Sports Analytics Using Probabilistic Model Checking and Deep Learning. - Jin Song Dong 001; Kan Jiang; Zhaoyu Liu; Chen Dong; Zhe Hou; Rajdeep Singh Hundal; Jingyu Guo; Yun Lin 001 (ICECCS, 2023)

Supervised Robustness-preserving Data-free Neural Network Pruning. - Mark Huasong Meng; Guangdong Bai; Sin G. Teo; Jin Song Dong 001 (ICECCS, 2023)

DeepArc: Modularizing Neural Networks for the Model Maintenance. - Xiaoning Ren; Yun Lin 001; Yinxing Xue; Ruofan Liu; Jun Sun 001; Zhiyong Feng 002; Jin Song Dong 001 (ICSE, 2023)

B2-Sampling: Fusing Balanced and Biased Sampling for Graph Contrastive Learning. - Mengyue Liu; Yun Lin 001; Jun Liu 002; Bohao Liu; Qinghua Zheng; Jin Song Dong 001 (KDD, 2023)

Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective. - Jihong Wang 003; Minnan Luo; Jundong Li; Yun Lin 001; Yushun Dong; Jin Song Dong 001; Qinghua Zheng (KDD, 2023)

On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models. - Yufan Cai; Yun Lin 001; Chenyan Liu; Jinglian Wu; Yifan Zhang; Yiming Liu; Yeyun Gong; Jin Song Dong 001 (NeurIPS, 2023)

DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. - Xianglin Yang; Yun Lin 001; Yifan Zhang; Linpeng Huang; Jin Song Dong 001; Hong Mei 001 (ESEC/SIGSOFT FSE, 2023)

Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection. - Ruofan Liu; Yun Lin 001; Yifan Zhang; Penn Han Lee; Jin Song Dong 001 (USENIX Security Symposium, 2023)

Formalizing UML State Machines for Automated Verification - A Survey. - Étienne André; Shuang Liu 007; Yang Liu 003; Christine Choppy; Jun Sun 001; Jin Song Dong 001 (ACM Comput. Surv., 2023)

CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. - Chenyan Liu; Yufan Cai; Yun Lin 001; Yuhuan Huang; Yunrui Pei; Bo Jiang; Ping Yang; Jin Song Dong 001; Hong Mei 001 (ISSTA, 2024)

Revisiting the Conflict-Resolving Problem from a Semantic Perspective. - Jinhao Dong; Jun Sun 001; Yun Lin 001; Yedi Zhang; Murong Ma; Jin Song Dong 001; Dan Hao 001 (ASE, 2024)

Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality. - Yifan Liao; Ming Xu 006; Yun Lin 001; Xiwen Teoh; Xiaofei Xie; Ruitao Feng; Frank Liaw; Hongyu Zhang 002; Jin Song Dong 001 (ASE, 2024)

Less Defined Knowledge and More True Alarms: Reference-based Phishing Detection without a Pre-defined Reference List. - Ruofan Liu; Yun Lin 001; Xiwen Teoh; Gongshen Liu; Zhiyong Huang; Jin Song Dong 001 (USENIX Security Symposium, 2024)

PhishDecloaker: Detecting CAPTCHA-cloaked Phishing Websites via Hybrid Vision-based Interactive Models. - Xiwen Teoh; Yun Lin 001; Ruofan Liu; Zhiyong Huang; Jin Song Dong 001 (USENIX Security Symposium, 2024)

A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction. - Yudai Pan; Jun Liu 002; Tianzhe Zhao; Lingling Zhang 005; Yun Lin 001; Jin Song Dong 001 (WWW, 2024)

CARE: Ensemble Adversarial Robustness Evaluation Against Adaptive Attackers for Security Applications. - Hangsheng Zhang; Jiqiang Liu; Jinsong Dong 001 (CoRR, 2024)

Towards Transferable Attacks Against Vision-LLMs in Autonomous Driving with Typography. - Nhat Minh Chung; Sensen Gao; Tuan-Anh Vu; Jie Zhang 002; Aishan Liu; Yun Lin 001; Jin Song Dong 001; Qing Guo 005 (CoRR, 2024)

Towards Large Language Model Aided Program Refinement. - Yufan Cai; Zhe Hou; Xiaokun Luan; David Sanán; Yun Lin 001; Jun Sun 001; Jin Song Dong 001 (CoRR, 2024)

Contribution Evaluation of Heterogeneous Participants in Federated Learning via Prototypical Representations. - Qi Guo; Minghao Yao; Zhen Tian; Saiyu Qi; Yong Qi; Yun Lin 001; Jin Song Dong 001 (CoRR, 2024)

LLM-based Abstraction and Concretization for GUI Test Migration. - Yakun Zhang 001; Chen Liu 041; Xiaofei Xie; Yun Lin 001; Jin Song Dong 001; Dan Hao 001; Lu Zhang 023 (CoRR, 2024)

Forgetting Through Transforming: Enabling Federated Unlearning via Class-Aware Representation Transformation. - Qi Guo; Zhen Tian; Minghao Yao; Yong Qi; Saiyu Qi; Yun Lin 001; Jin Song Dong 001 (CoRR, 2024)

Defending LVLMs Against Vision Attacks through Partial-Perception Supervision. - Qi Zhou 012; Tianlin Li; Qing Guo 005; Dongxia Wang 002; Yun Lin 001; Yang Liu 003; Jin Song Dong 001 (CoRR, 2024)

Continuous-Time Distributed Generalized Nash Equilibrium Seeking in Nonsmooth Fuzzy Aggregative Games. - Jingxin Liu; Xiaofeng Liao 001; Jin-Song Dong 001; Amin Mansoori (IEEE Trans. Control. Netw. Syst., 2024)

F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos. - Zhaoyu Liu; Kan Jiang; Murong Ma; Zhe Hou; Yun Lin 001; Jin Song Dong 001 (ICLR, 2025)

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. - Rajdeep Singh Hundal; Yan Xiao 002; Xiaochun Cao; Jin Song Dong 001; Manuel Rigger (ICSE, 2025)

Ignoring Directionality Leads to Compromised Graph Neural Network Explanations. - Changsheng Sun; Xinke Li; Jin Song Dong 001 (SP (Workshops), 2025)

Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus. - Yufan Cai; Zhe Hou; David Sanán; Xiaokun Luan; Yun Lin 001; Jun Sun 001; Jin Song Dong 001 (Proc. ACM Program. Lang., 2025)

Verification of Bit-Flip Attacks against Quantized Neural Networks. - Yedi Zhang; Lei Huang; Pengfei Gao; Fu Song; Jun Sun 001; Jin Song Dong 001 (Proc. ACM Program. Lang., 2025)

ConTested: Consistency-Aided Tested Code Generation with LLM. - Jinhao Dong; Jun Sun 001; Wenjie Zhang 007; Jin Song Dong 001; Dan Hao 001 (Proc. ACM Softw. Eng., 2025)

GUIPilot: A Consistency-Based Mobile GUI Testing Approach for Detecting Application-Specific Bugs. - Ruofan Liu; Xiwen Teoh; Yun Lin 001; Guanjie Chen; Ruofei Ren; Denys Poshyvanyk; Jin Song Dong 001 (Proc. ACM Softw. Eng., 2025)

Explainable and Transferable Adversarial Attack for ML-Based Network Intrusion Detectors. - Hangsheng Zhang; Dongqi Han; Shangyuan Zhuang; Zhiliang Wang; Jiyan Sun; Yinlong Liu; Jiqiang Liu; Jinsong Dong 001 (IEEE Trans. Dependable Secur. Comput., 2025)

F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos. - Zhaoyu Liu; Kan Jiang; Murong Ma; Zhe Hou; Yun Lin 001; Jin Song Dong 001 (CoRR, 2025)

On the Account Security Risks Posed by Password Strength Meters. - Ming Xu 006; Weili Han; Jitao Yu; Jing Liu; Xinyi Zhang; Yun Lin 001; Jin Song Dong 001 (CoRR, 2025)

PiMRef: Detecting and Explaining Ever-evolving Spear Phishing Emails with Knowledge Base Invariants. - Ruofan Liu; Yun Lin 001; Silas Yeo Shuen Yu; Xiwen Teoh; Zhenkai Liang; Jin Song Dong 001 (CoRR, 2025)