Jun Sun

ORCID

Publication Activity (10 Years)

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

Top Venues

CoRR

ASE

ICFEM

IEEE Trans. Software Eng.

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. CoRR (2024)
Boquan Li, Mengdi Zhang, Peixin Zhang, Jun Sun, Xingmei Wang
Resilient Watermarking for LLM-Generated Codes. CoRR (2024)
Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
REDriver: Runtime Enforcement for Autonomous Vehicles. 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)
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)
Bing Sun, Jun Sun, Ting Dai, Lijun Zhang
Probabilistic Verification of Neural Networks Against Group Fairness. CoRR (2021)
Guoliang Dong, Jun Sun, Xingen Wang, Xinyu Wang, Ting Dai
Towards Repairing Neural Networks Correctly. QRS (2021)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
Type and interval aware array constraint solving for symbolic execution. ISSTA (2021)
Xin Wang, Xin Peng, Jun Sun, Yifan Zhao, Chi Chen, Jinkai Fan
A Topic Guided Pointer-Generator Model for Generating Natural Language Code Summaries. CoRR (2021)
Tai D. Nguyen, Long H. Pham, Jun Sun
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. IEEE Symposium on Security and Privacy (2021)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. TACAS (1) (2021)
Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu
Explaining Regressions via Alignment Slicing and Mending. IEEE Trans. Software Eng. 47 (11) (2021)
Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
Distributed parametric model checking timed automata under non-Zenoness assumption. Formal Methods Syst. Des. 59 (1) (2021)
Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
RobOT: Robustness-Oriented Testing for Deep Learning Systems. ICSE (2021)
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions. CoRR (2021)
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. CoRR (2021)
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
Attack as Defense: Characterizing Adversarial Examples using Robustness. CoRR (2021)
Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang
Fairness Testing of Deep Image Classification with Adequacy Metrics. CoRR (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. CoRR (2021)
Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen
What Makes Open Source Software Projects Impactful: A Data-Driven Approach. Internetware (2020)
Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts. CoRR (2020)
Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong
Recovering fitness gradients for interprocedural Boolean flags in search-based testing. ISSTA (2020)
Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai
An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. ICECCS (2020)
Jiao Jiao, Shang-Wei Lin, Jun Sun
A Generalized Formal Semantic Framework for Smart Contracts. FASE (2020)

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

Publication Activity (10 Years)

Top Topics

Top Venues

Jun Sun