Jinsong Dong

According to our database, Jinsong Dong authored at least 76 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

PiMRef: Detecting and Explaining Ever-evolving Spear Phishing Emails with Knowledge Base Invariants.

Ruofan Liu, Yun Lin, Silas Yeo Shuen Yu, Xiwen Teoh, Zhenkai Liang, Jin Song Dong

CoRR, July, 2025

On the Account Security Risks Posed by Password Strength Meters.

Ming Xu, Weili Han, Jitao Yu, Jing Liu, Xinyi Zhang, Yun Lin, Jin Song Dong

CoRR, May, 2025

F³Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos.

Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong

CoRR, April, 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

IEEE Trans. Dependable Secur. Comput., 2025

GUIPilot: A Consistency-Based Mobile GUI Testing Approach for Detecting Application-Specific Bugs.

Ruofan Liu, Xiwen Teoh, Yun Lin, Guanjie Chen, Ruofei Ren, Denys Poshyvanyk, Jin Song Dong

Proc. ACM Softw. Eng., 2025

ConTested: Consistency-Aided Tested Code Generation with LLM.

Jinhao Dong, Jun Sun, Wenjie Zhang, Jin Song Dong, Dan Hao

Proc. ACM Softw. Eng., 2025

Verification of Bit-Flip Attacks against Quantized Neural Networks.

Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong

Proc. ACM Program. Lang., 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, Jun Sun, Jin Song Dong

Proc. ACM Program. Lang., 2025

Ignoring Directionality Leads to Compromised Graph Neural Network Explanations.

Changsheng Sun, Xinke Li, Jin Song Dong

Proceedings of the 2025 IEEE Security and Privacy, 2025

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations.

Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos.

Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Continuous-Time Distributed Generalized Nash Equilibrium Seeking in Nonsmooth Fuzzy Aggregative Games.

Jingxin Liu, Xiaofeng Liao, Jin-Song Dong, Amin Mansoori

IEEE Trans. Control. Netw. Syst., September, 2024

Defending LVLMs Against Vision Attacks through Partial-Perception Supervision.

Qi Zhou, Tianlin Li, Qing Guo, Dongxia Wang, Yun Lin, Yang Liu, Jin Song Dong

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, Jin Song Dong

CoRR, 2024

LLM-based Abstraction and Concretization for GUI Test Migration.

Yakun Zhang, Chen Liu, Xiaofei Xie, Yun Lin, Jin Song Dong, Dan Hao, Lu Zhang

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, Jin Song Dong

CoRR, 2024

Towards Large Language Model Aided Program Refinement.

Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong

CoRR, 2024

Towards Transferable Attacks Against Vision-LLMs in Autonomous Driving with Typography.

Nhat Minh Chung, Sensen Gao, Tuan-Anh Vu, Jie Zhang, Aishan Liu, Yun Lin, Jin Song Dong, Qing Guo

CoRR, 2024

CARE: Ensemble Adversarial Robustness Evaluation Against Adaptive Attackers for Security Applications.

Hangsheng Zhang, Jiqiang Liu, Jinsong Dong

CoRR, 2024

A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction.

Yudai Pan, Jun Liu, Tianzhe Zhao, Lingling Zhang, Yun Lin, Jin Song Dong

Proceedings of the ACM on Web Conference 2024, 2024

PhishDecloaker: Detecting CAPTCHA-cloaked Phishing Websites via Hybrid Vision-based Interactive Models.

Xiwen Teoh, Yun Lin, Ruofan Liu, Zhiyong Huang, Jin Song Dong

Proceedings of the 33rd USENIX Security Symposium, 2024

Less Defined Knowledge and More True Alarms: Reference-based Phishing Detection without a Pre-defined Reference List.

Ruofan Liu, Yun Lin, Xiwen Teoh, Gongshen Liu, Zhiyong Huang, Jin Song Dong

Proceedings of the 33rd USENIX Security Symposium, 2024

Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality.

Yifan Liao, Ming Xu, Yun Lin, Xiwen Teoh, Xiaofei Xie, Ruitao Feng, Frank Liaw, Hongyu Zhang, Jin Song Dong

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Revisiting the Conflict-Resolving Problem from a Semantic Perspective.

Jinhao Dong, Jun Sun, Yun Lin, Yedi Zhang, Murong Ma, Jin Song Dong, Dan Hao

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature.

Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Formalizing UML State Machines for Automated Verification - A Survey.

Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong

ACM Comput. Surv., 2023

Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection.

Ruofan Liu, Yun Lin, Yifan Zhang, Penn Han Lee, Jin Song Dong

Proceedings of the 32nd USENIX Security Symposium, 2023

DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers.

Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, Hong Mei

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models.

Yufan Cai, Yun Lin, Chenyan Liu, Jinglian Wu, Yifan Zhang, Yiming Liu, Yeyun Gong, Jin Song Dong

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective.

Jihong Wang, Minnan Luo, Jundong Li, Yun Lin, Yushun Dong, Jin Song Dong, Qinghua Zheng

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

B²-Sampling: Fusing Balanced and Biased Sampling for Graph Contrastive Learning.

Mengyue Liu, Yun Lin, Jun Liu, Bohao Liu, Qinghua Zheng, Jin Song Dong

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

DeepArc: Modularizing Neural Networks for the Model Maintenance.

Xiaoning Ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Supervised Robustness-preserving Data-free Neural Network Pruning.

Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Sports Analytics Using Probabilistic Model Checking and Deep Learning.

Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Insight Analysis for Tennis Strategy and Tactics.

Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong

Proceedings of the IEEE International Conference on Data Mining, 2023

2022

Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling.

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

IEEE Trans. Software Eng., 2022

Stochastic Ghost Batch for Self-distillation with Dynamic Soft Label.

Qian Li, Qingyuan Hu, Saiyu Qi, Yong Qi, Di Wu, Yun Lin, Jin Song Dong

Knowl. Based Syst., 2022

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.

Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee

Formal Aspects Comput., 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, Yun Lin, Jin Song Dong

CoRR, 2022

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement.

Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang

CoRR, 2022

Inferring Phishing Intention via Webpage Appearance and Dynamics: A Deep Vision Based Approach.

Ruofan Liu, Yun Lin, Xianglin Yang, Siang Hwee Ng, Dinil Mon Divakaran, Jin Song Dong

Proceedings of the 31st USENIX Security Symposium, 2022

RegMiner: mining replicable regression dataset from code repositories.

Xuezhi Song, Yun Lin, Yijian Wu, Yifan Zhang, Siang Hwee Ng, Xin Peng, Jin Song Dong, Hong Mei

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Debugging and Explaining Metric Learning Approaches: An Influence Function Based Perspective.

Ruofan Liu, Yun Lin, Xianglin Yang, Jin Song Dong

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Repairing Failure-inducing Inputs with Input Reflection.

Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions.

Yuxi Ling, Kailong Wang, Guangdong Bai, Haoyu Wang, Jin Song Dong

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

RegMiner: towards constructing a large regression dataset from code evolution history.

Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, Hong Mei

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Temporality Spatialization: A Scalable and Faithful Time-Travelling Visualization for Deep Classifier Training.

Xianglin Yang, Yun Lin, Ruofan Liu, Jin Song Dong

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects.

Yunkai Liang, Yun Lin, Xuezhi Song, Jun Sun, Zhiyong Feng, Jin Song Dong

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training.

Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Explaining Regressions via Alignment Slicing and Mending.

Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu

IEEE Trans. Software Eng., 2021

Scrutinizing Implementations of Smart Home Integrations.

Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang

IEEE Trans. Software Eng., 2021

Adversarial Adaptive Neighborhood With Feature Importance-Aware Convex Interpolation.

Qian Li, Yong Qi, Qingyuan Hu, Saiyu Qi, Yun Lin, Jin Song Dong

IEEE Trans. Inf. Forensics Secur., 2021

Characterizing Cryptocurrency-themed Malicious Browser Extensions.

Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong

Proc. ACM Meas. Anal. Comput. Syst., 2021

Generalizing Neural Networks by Reflecting Deviating Data in Production.

Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong

CoRR, 2021

Constructing Regression Dataset from Code Evolution History.

Xuezhi Song, Yun Lin, Siang Hwee Ng, Ping Yu, Xin Peng, Jin Song Dong

CoRR, 2021

It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts.

Kailong Wang, Junzhe Zhang, Guangdong Bai, Ryan K. L. Ko, Jin Song Dong

Proceedings of the WWW '21: The Web Conference 2021, 2021

Phishpedia: A Hybrid Deep Learning Based Approach to Visually Identify Phishing Webpages.

Yun Lin, Ruofan Liu, Dinil Mon Divakaran, Jun Yang Ng, Qing Zhou Chan, Yiwen Lu, Yuxuan Si, Fan Zhang, Jin Song Dong

Proceedings of the 30th USENIX Security Symposium, 2021

Graph-based seed object synthesis for search-based unit testing.

Yun Lin, You Sheng Ong, Jun Sun, Gordon Fraser, Jin Song Dong

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing.

Siqi Li, Yun Lin, Xiaofei Xie, Yuekang Li, Xiaohong Li, Weimin Ge, Yang Liu, Jin Song Dong

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Identifying privacy weaknesses from multi-party trigger-action integration platforms.

Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Self-Checking Deep Neural Networks in Deployment.

Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Recovering fitness gradients for interprocedural Boolean flags in search-based testing.

Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

White-box fairness testing through adversarial sampling.

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

RL: a Language for Formal Engineering.

Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019

Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues.

Pardeep Kumar, Yun Lin, Guangdong Bai, Andrew Paverd, Jin Song Dong, Andrew P. Martin

IEEE Commun. Surv. Tutorials, 2019

LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking.

Quanqi Ye, Yan Zhang, Guangdong Bai, Naipeng Dong, Zhenkai Liang, Jin Song Dong, Haoyu Wang

Proceedings of the Information Security - 22nd International Conference, 2019

2018

Break the dead end of dynamic slicing: localizing data and control omission bug.

Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems.

Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2018

2017

Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols.

Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong

Proceedings of the Security and Privacy in Communication Networks, 2017

A Framework for Formal Analysis of Privacy on SSO Protocols.

Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong

Proceedings of the Security and Privacy in Communication Networks, 2017

Mining implicit design templates for actionable code reuse.

Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, Jin Song Dong

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Feedback-based debugging.

Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, Jinsong Dong

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

From verified model to executable program: the PAT approach.

Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin

Innov. Syst. Softw. Eng., 2016

2014

Model checking approach to automated planning.

Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun

Formal Methods Syst. Des., 2014

Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance.

Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, Jin Song Dong

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013

Verifying Linearizability via Optimized Refinement Checking.

Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong

IEEE Trans. Software Eng., 2013