Jun Sun

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 234

Top Venues

Publications

Shunkai Zhu, Jingyi Wang, Jun Sun, Jie Yang, Xingwei Lin, Tian Wang, Liyi Zhang, Peng Cheng
Better Pay Attention Whilst Fuzzing. IEEE Trans. Software Eng. 50 (2) (2024)
Yuhan Zhi, Xiaofei Xie, Chao Shen, Jun Sun, Xiaoyu Zhang, Xiaohong Guan
Seed Selection for Testing Deep Neural Networks. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. ICSE (2024)
Cuifeng Gao, Wenzhang Yang, Jiaming Ye, Yinxing Xue, Jun Sun
sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
Formalizing UML State Machines for Automated Verification - A Survey. CoRR (2024)
Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen
μDrive: User-Controlled Autonomous Driving. CoRR (2024)
Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du
Conformance Testing of Relational DBMS Against SQL Specifications. CoRR (2024)
Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. CoRR (2024)
Long H. Pham, Jun Sun
Certified Continual Learning for Neural Network Regression. CoRR (2024)
Ruihan Zhang, Jun Sun
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. CAV (2) (2024)
Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang
Evaluating and Mitigating Linguistic Discrimination in Large Language Models. CoRR (2024)
Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
REDriver: Runtime Enforcement for Autonomous Vehicles. ICSE (2024)
Nay Myat Min, Long H. Pham, Jun Sun
Unified Neural Backdoor Removal with Only Few Clean Samples through Unlearning and Relearning. CoRR (2024)
Boquan Li, Mengdi Zhang, Peixin Zhang, Jun Sun, Xingmei Wang
Resilient Watermarking for LLM-Generated Codes. CoRR (2024)
Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang
Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, Jun Sun
Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao
xFuzz: Machine Learning Guided Cross-Contract Fuzzing. IEEE Trans. Dependable Secur. Comput. 21 (2) (2024)
Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
REDriver: Runtime Enforcement for Autonomous Vehicles. CoRR (2024)
Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. SIGSOFT FSE Companion (2024)
Haoyu Wang, Zan Wang, Shuang Liu, Jun Sun, Yingquan Zhao, Yan Wan, Tai D. Nguyen
sFuzz2.0: Storage-access pattern guided smart contract fuzzing. J. Softw. Evol. Process. 36 (4) (2024)
Wei Zhao, Zhe Li, Yige Li, Ye Zhang, Jun Sun
Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing. CoRR (2024)
Bing Sun, Jun Sun, Wayne Koh, Jie Shi
Neural Network Semantic Backdoor Detection and Mitigation: A Causality-Based Approach. USENIX Security Symposium (2024)
Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong
Towards Large Language Model Aided Program Refinement. CoRR (2024)
Peixin Zhang, Jun Sun, Mingtian Tan, Xinyu Wang
Backdoor Attack through Machine Unlearning. CoRR (2023)
Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. 55 (13s) (2023)
Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
Finding Causally Different Tests for an Industrial Control System. ICSE (2023)
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS (2023)
Fan Zhang, Qianmei Wu, Bohan Xuan, Yuqi Chen, Wei Lin, Christopher M. Poskitt, Jun Sun, Binbin Chen
Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing. IEEE Trans. Software Eng. 49 (11) (2023)
Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. IEEE Trans. Software Eng. 49 (10) (2023)
Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Formal Aspects Comput. 35 (4) (2023)
Xiaoxia Liu, Jingyi Wang, Jun Sun, Xiaohan Yuan, Guoliang Dong, Peng Di, Wenhai Wang, Dongxia Wang
Prompting Frameworks for Large Language Models: A Survey. CoRR (2023)
Yedi Zhang, Fu Song, Jun Sun
QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) (2023)
Richard Schumi, Jun Sun
Semantic-Based Neural Network Repair. CoRR (2023)
Yingquan Zhao, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen
Achieving High MAP-Coverage Through Pattern Constraint Reduction. IEEE Trans. Software Eng. 49 (1) (2023)
Ruihan Zhang, Peixin Zhang, Jun Sun
Towards Certified Probabilistic Robustness with High Accuracy. CoRR (2023)
Xiaoning Ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong
DeepArc: Modularizing Neural Networks for the Model Maintenance. ICSE (2023)
Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang
Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng. 49 (6) (2023)
Boquan Li, Jun Sun, Christopher M. Poskitt
How Generalizable are Deepfake Detectors? An Empirical Study. CoRR (2023)
Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun
Towards an Effective and Interpretable Refinement Approach for DNN Verification. QRS (2023)
Mingtian Tan, Xiaofei Xie, Jun Sun, Tianhao Wang
Mitigating Membership Inference Attacks via Weighted Smoothing. ACSAC (2023)
Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
Finding Causally Different Tests for an Industrial Control System. CoRR (2023)
Jialuo Chen, Jingyi Wang, Xingjun Ma, Youcheng Sun, Jun Sun, Peixin Zhang, Peng Cheng
QuoTe: Quality-oriented Testing for Deep Learning Systems. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Tai D. Nguyen, Long H. Pham, Jun Sun
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification. CoRR (2023)
Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun
TestSGD: Interpretable Testing of Neural Networks against Subtle Group Discrimination. ACM Trans. Softw. Eng. Methodol. 32 (6) (2023)
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 Autom. Lett. 8 (12) (2023)
Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo, Yue Yu
Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension. ICSE (2023)
Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le
An Idealist's Approach for Smart Contract Correctness. ICFEM (2023)
Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. CoRR (2023)
Richard Schumi, Jun Sun
Semantic-Based Neural Network Repair. ISSTA (2023)
Xiaodong Zhang, Wei Zhao, Yang Sun, Jun Sun, Yulong Shen, Xuewen Dong, Zijiang Yang
Testing Automated Driving Systems by Breaking Many Laws Efficiently. ISSTA (2023)
Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun
Silent Compiler Bug De-duplication via Three-Dimensional Analysis. ISSTA (2023)
Bo Gao, Jun Sun, Bochun Wang
Personal Information Protection in Government Data Openness Using Decision Tree Model. J. Glob. Inf. Manag. 31 (9) (2023)
Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong
Repairing Adversarial Texts Through Perturbation. TASE (2022)
Yunkai Liang, Yun Lin, Xuezhi Song, Jun Sun, Zhiyong Feng, Jin Song Dong
gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects. ICSE-Companion (2022)
Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. CoRR (2022)
Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination. CoRR (2022)
Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. CoRR (2022)
Long H. Pham, Jun Sun
Verifying Neural Networks Against Backdoor Attacks. CAV (1) (2022)
Yifan Jia, Christopher M. Poskitt, Jun Sun, Sudipta Chattopadhyay
Physical Adversarial Attack on a Robotic Arm. IEEE Robotics Autom. Lett. 7 (4) (2022)
Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong
Repairing Adversarial Texts through Perturbation. CoRR (2022)
Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. ASE (2022)
Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li
Preface. J. Comput. Sci. Technol. 37 (1) (2022)
Chi Chen, Xin Peng, Zhenchang Xing, Jun Sun, Xin Wang, Yifan Zhao, Wenyun Zhao
Holistic Combination of Structural and Textual Code Information for Context Based API Recommendation. IEEE Trans. Software Eng. 48 (8) (2022)
Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. MEMOCODE (2022)
Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR (2022)
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Bing Sun, Jun Sun, Hong Long Pham, Jie Shi
Causality-based Neural Network Repair. CoRR (2022)
Mengdi Zhang, Jun Sun
Adaptive fairness improvement based on causality analysis. ESEC/SIGSOFT FSE (2022)
Xuan-Bach Le, Shang-Wei Lin, Jun Sun, David Sanán
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic. Proc. ACM Program. Lang. 6 (POPL) (2022)
Chi Chen, Xin Peng, Bihuan Chen, Jun Sun, Zhenchang Xing, Xin Wang, Wenyun Zhao
"More Than Deep Learning": post-processing for API sequence recommendation. Empir. Softw. Eng. 27 (1) (2022)
Mengdi Zhang, Jun Sun
Adaptive Fairness Improvement Based on Causality Analysis. CoRR (2022)
Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, Dan Ding
Delta Debugging Microservice Systems with Parallel Optimization. IEEE Trans. Serv. Comput. 15 (1) (2022)
Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
K-ST: A Formal Executable Semantics of PLC Structured Text Language. CoRR (2022)
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR (2022)
Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong
Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling. IEEE Trans. Software Eng. 48 (9) (2022)
Richard Schumi, Jun Sun
ExAIS: Executable AI Semantics. ICSE (2022)
Richard Schumi, Jun Sun
ExAIS: Executable AI Semantics. CoRR (2022)
Bing Sun, Jun Sun, Long H. Pham, Tie Shi
Causality-Based Neural Network Repair. ICSE (2022)
Yedi Zhang, Fu Song, Jun Sun
QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR (2022)
Mengdi Zhang, Jun Sun, Jingyi Wang
Which neural network makes more explainable decisions? An approach towards measuring explainability. Autom. Softw. Eng. 29 (2) (2022)
Long H. Pham, Jun Sun
Verifying Neural Networks Against Backdoor Attacks. CoRR (2022)
Bowen Li, Xin Peng, Qilin Xiang, Hanzhang Wang, Tao Xie, Jun Sun, Xuanzhe Liu
Enjoy your observability: an industrial survey of microservice tracing and analysis. Empir. Softw. Eng. 27 (1) (2022)
Fan Zhang, Ziyuan Liang, Cong Zuo, Jun Shao, Jianting Ning, Jun Sun, Joseph K. Liu, Yibao Bao
hPRESS: A Hardware-Enhanced Proxy Re-Encryption Scheme Using Secure Enclave. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (6) (2021)
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Code integrity attestation for PLCs using black box neural network predictions. ESEC/SIGSOFT FSE (2021)
Shaohua Zhang, Shuang Liu, Jun Sun, Yuqi Chen, Wenzhi Huang, Jinyi Liu, Jian Liu, Jianye Hao
FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning. ASE (2021)
Yanzhou Mu, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen
HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing. QRS (2021)
Richard Schumi, Jun Sun
SpecTest: Specification-Based Compiler Testing. FASE (2021)
Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen
Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. Int. J. Crit. Infrastructure Prot. 34 (2021)
Yun Lin, You Sheng Ong, Jun Sun, Gordon Fraser, Jin Song Dong
Graph-based seed object synthesis for search-based unit testing. ESEC/SIGSOFT FSE (2021)
Bin Hu, Yijian Wu, Xin Peng, Jun Sun, Nanjie Zhan, Jun Wu
Assessing Code Clone Harmfulness: Indicators, Factors, and Counter Measures. SANER (2021)
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
Verification Assisted Gas Reduction for Smart Contracts. APSEC (2021)
Bing Sun, Jun Sun, Ting Dai, Lijun Zhang
Probabilistic Verification of Neural Networks Against Group Fairness. FM (2021)
Tai D. Nguyen, Long H. Pham, Jun Sun
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. CoRR (2021)
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
Attack as defense: characterizing adversarial examples using robustness. ISSTA (2021)
Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, Dan Ding
Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study. IEEE Trans. Software Eng. 47 (2) (2021)
Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. ISoLA (2021)
Yun Tang, Yuan Zhou, Yang Liu, Jun Sun, Gang Wang
Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps. IV (2021)
Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
RobOT: Robustness-Oriented Testing for Deep Learning Systems. CoRR (2021)
Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jégourel
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. IEEE Trans. Software Eng. 47 (1) (2021)
Yun Tang, Yuan Zhou, Fenghua Wu, Yang Liu, Jun Sun, Wuling Huang, Gang Wang
Route Coverage Testing for Autonomous Vehicles via Map Modeling. ICRA (2021)

Jun Sun.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jun Sun