Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJun Sun 0001
Person information
- affiliation: Singapore Management University, Singapore
- affiliation (former): Singapore University of Technology and Design, Singapore
- affiliation (PhD 2006): National University of Singapore, School of Computing, Singapore
Other persons with the same name
- Jun Sun — disambiguation page
- Jun Sun 0002 — DoCoMo Communication Laboratories Inc., San Jose, CA, USA (and 1 more)
- Jun Sun 0003 — Stanford University, USA
- Jun Sun 0004
![[0000-0002-0967-4859]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-0967-4859")
— Fujitsu R&D Center, Beijing, China (and 1 more) - Jun Sun 0005 — Shanghai Jiaotong University, Institute of Image Communication and Information Processing, China
- Jun Sun 0007 — MIT, Cambridge, MA, USA
- Jun Sun 0008 — Jiangnan University, School of Information Technology, Wuxi, China
- Jun Sun 0009 — Shanghai Jiao Tong University, Dept. of Electronic Engineering, China
- Jun Sun 0010 — Tsinghua University, School of Aerospace, Beijing, China
- Jun Sun 0011 — University of Koblenz-Landau, Institute for Web Science and Technologies, Germany
- Jun Sun 0012 — Peking University, Wangxuan Institute of Computer Science, Beijing, China
- Jun Sun 0013 — University of Texas Rio Grande Valley, Edinburg, TX, USA (and 1 more)
- Jun Sun 0014 — Zhejiang University, State Key Laboratory of Industrial Control Technology, China
- Jun Sun 0015 — Shanghai Aerospace Control Technology Institute, Shanghai, China
- Jun Sun 0016 — Anhui Province Children's Hospital of China, China
- Jun Sun 0017 — Beihang University, Beijing, China
- Jun Sun 0018 — Huazhong Agricultural University, College of Informatics, Hubei Key Laboratory of Agricultural Bioinformatics, China
- Jun Sun 0019 — Jiangsu University, School of Electrical and Information Engineering, Zhenjiang, China
- Jun Sun 0020 — Huazhong University of Science and Technology, Wuhan, China
- Jun Sun 0021 — Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j62]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): 8350-8357 (2023)- [j61]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): 125:1-125:33 (2023) - [j60]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): 137:1-137:24 (2023) - [j59]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): 99-112 (2023) - [j58]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): 3391-3410 (2023) - [j57]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): 4796-4813 (2023) - [c227]Yedi Zhang, Fu Song, Jun Sun:
QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) 2023: 413-437 - [c226]Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le:
An Idealist's Approach for Smart Contract Correctness. ICFEM 2023: 11-28 - [c225]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: 1008-1019 - [c224]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: 1933-1945 - [c223]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. ICSE 2023: 2578-2590 - [c222]Richard Schumi, Jun Sun:
Semantic-Based Neural Network Repair. ISSTA 2023: 150-162 - [c221]Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun:
Silent Compiler Bug De-duplication via Three-Dimensional Analysis. ISSTA 2023: 677-689 - [c220]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: 942-953 - [c219]Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun:
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS 2023: 1-26 - [e6]Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14215, Springer 2023, ISBN 978-3-031-45328-1 [contents] - [e5]Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14216, Springer 2023, ISBN 978-3-031-45331-1 [contents] - [i63]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. CoRR abs/2302.04175 (2023) - [i62]Richard Schumi, Jun Sun:
Semantic-Based Neural Network Repair. CoRR abs/2306.07995 (2023) - [i61]Tai D. Nguyen, Long H. Pham, Jun Sun:
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification. CoRR abs/2307.02289 (2023) - [i60]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 abs/2307.11379 (2023) - [i59]Boquan Li, Jun Sun, Christopher M. Poskitt:
How Generalizable are Deepfake Detectors? An Empirical Study. CoRR abs/2308.04177 (2023) - [i58]Ruihan Zhang, Peixin Zhang, Jun Sun:
Towards Certified Probabilistic Robustness with High Accuracy. CoRR abs/2309.00879 (2023) - [i57]Peixin Zhang, Jun Sun, Mingtian Tan, Xinyu Wang:
Backdoor Attack through Machine Unlearning. CoRR abs/2310.10659 (2023) - [i56]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 abs/2311.12785 (2023) - 2022
- [j56]Mengdi Zhang, Jun Sun, Jingyi Wang:
Which neural network makes more explainable decisions? An approach towards measuring explainability. Autom. Softw. Eng. 29(2): 39 (2022) - [j55]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): 15 (2022) - [j54]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): 25 (2022) - [j53]Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li:
Preface. J. Comput. Sci. Technol. 37(1): 1-3 (2022) - [j52]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): 1-27 (2022) - [j51]Yifan Jia, Christopher M. Poskitt, Jun Sun, Sudipta Chattopadhyay:
Physical Adversarial Attack on a Robotic Arm. IEEE Robotics Autom. Lett. 7(4): 9334-9341 (2022) - [j50]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. 31(4): 64:1-64:36 (2022) - [j49]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): 16-29 (2022) - [j48]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): 2987-3009 (2022) - [j47]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): 3593-3612 (2022) - [c218]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CAV (1) 2022: 171-192 - [c217]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: 90-94 - [c216]Bing Sun, Jun Sun, Long H. Pham, Tie Shi:
Causality-Based Neural Network Repair. ICSE 2022: 338-349 - [c215]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. ICSE 2022: 859-870 - [c214]Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. ASE 2022: 62:1-62:12 - [c213]Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun:
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE 2022: 82:1-82:13 - [c212]Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. MEMOCODE 2022: 1-12 - [c211]Mengdi Zhang, Jun Sun:
Adaptive fairness improvement based on causality analysis. ESEC/SIGSOFT FSE 2022: 6-17 - [c210]Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong:
Repairing Adversarial Texts Through Perturbation. TASE 2022: 29-48 - [i55]Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong:
Repairing Adversarial Texts through Perturbation. CoRR abs/2201.02504 (2022) - [i54]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 abs/2202.04076 (2022) - [i53]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. CoRR abs/2202.09868 (2022) - [i52]Bing Sun, Jun Sun, Hong Long Pham, Jie Shi:
Causality-based Neural Network Repair. CoRR abs/2204.09274 (2022) - [i51]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CoRR abs/2205.06992 (2022) - [i50]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR abs/2206.05438 (2022) - [i49]Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo:
CARBON: A Counterfactual Reasoning based Framework for Neural Code Comprehension Debiasing. CoRR abs/2207.11104 (2022) - [i48]Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun:
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination. CoRR abs/2208.11321 (2022) - [i47]Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. CoRR abs/2208.14656 (2022) - [i46]Mengdi Zhang, Jun Sun:
Adaptive Fairness Improvement Based on Causality Analysis. CoRR abs/2209.07190 (2022) - [i45]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 abs/2209.09327 (2022) - [i44]Yedi Zhang, Fu Song, Jun Sun:
QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR abs/2212.02781 (2022) - [i43]Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun:
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR abs/2212.11138 (2022) - 2021
- [j46]É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): 253-290 (2021) - [j45]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: 100452 (2021) - [j44]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): 1144-1157 (2021) - [j43]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): 189-203 (2021) - [j42]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): 243-260 (2021) - [j41]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): 2421-2437 (2021) - [c209]Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu:
Verification Assisted Gas Reduction for Smart Contracts. APSEC 2021: 264-274 - [c208]Richard Schumi, Jun Sun:
SpecTest: Specification-Based Compiler Testing. FASE 2021: 269-291 - [c207]Bing Sun, Jun Sun, Ting Dai, Lijun Zhang:
Probabilistic Verification of Neural Networks Against Group Fairness. FM 2021: 83-102 - [c206]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: 11450-11456 - [c205]Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng:
RobOT: Robustness-Oriented Testing for Deep Learning Systems. ICSE 2021: 300-311 - [c204]Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang:
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. ISoLA 2021: 453-469 - [c203]Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun:
Attack as defense: characterizing adversarial examples using robustness. ISSTA 2021: 42-55 - [c202]Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang:
Type and interval aware array constraint solving for symbolic execution. ISSTA 2021: 361-373 - [c201]Yun Tang, Yuan Zhou, Yang Liu, Jun Sun, Gang Wang:
Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps. IV 2021: 179-185 - [c200]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: 555-567 - [c199]Yanzhou Mu, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen:
HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing. QRS 2021: 219-230 - [c198]Guoliang Dong, Jun Sun, Xingen Wang, Xinyu Wang, Ting Dai:
Towards Repairing Neural Networks Correctly. QRS 2021: 714-725 - [c197]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Code integrity attestation for PLCs using black box neural network predictions. ESEC/SIGSOFT FSE 2021: 32-44 - [c196]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: 1068-1080 - [c195]Tai D. Nguyen, Long H. Pham, Jun Sun:
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. SP 2021: 1215-1229 - [c194]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: 389-408 - [c193]Bin Hu, Yijian Wu, Xin Peng, Jun Sun, Nanjie Zhan, Jun Wu:
Assessing Code Clone Harmfulness: Indicators, Factors, and Counter Measures. SANER 2021: 225-236 - [i42]Tai D. Nguyen, Long H. Pham, Jun Sun:
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. CoRR abs/2101.01917 (2021) - [i41]Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng:
RobOT: Robustness-Oriented Testing for Deep Learning Systems. CoRR abs/2102.05913 (2021) - [i40]Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun:
Attack as Defense: Characterizing Adversarial Examples using Robustness. CoRR abs/2103.07633 (2021) - [i39]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 abs/2105.10707 (2021) - [i38]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions. CoRR abs/2106.07851 (2021) - [i37]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 abs/2107.01642 (2021) - [i36]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 abs/2107.08176 (2021) - [i35]Bing Sun, Jun Sun, Ting Dai, Lijun Zhang:
Probabilistic Verification of Neural Networks Against Group Fairness. CoRR abs/2107.08362 (2021) - [i34]Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang:
Fairness Testing of Deep Image Classification with Adequacy Metrics. CoRR abs/2111.08856 (2021) - [i33]Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao:
Machine Learning Guided Cross-Contract Fuzzing. CoRR abs/2111.12423 (2021) - [i32]Shunkai Zhu, Jingyi Wang, Jun Sun, Jie Yang, Xingwei Lin, Liyi Zhang, Peng Cheng:
Better Pay Attention Whilst Fuzzing. CoRR abs/2112.07143 (2021) - 2020
- [j40]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. Softw. Syst. Model. 19(4): 983-1013 (2020) - [c192]Qingze Hum, Wei Jin Tan, Shi Ying Tey, Latasha Lenus, Ivan Homoliak, Yun Lin, Jun Sun:
CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies. Blockchain 2020: 17-25 - [c191]Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun:
Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) 2020: 304-326 - [c190]Tim Muller, Dongxia Wang, Jun Sun:
Provably Robust Decisions based on Potentially Malicious Sources of Information. CSF 2020: 411-424 - [c189]Jiao Jiao, Shang-Wei Lin, Jun Sun:
A Generalized Formal Semantic Framework for Smart Contracts. FASE 2020: 75-96 - [c188]Xuan-Bach Le, David Sanán, Jun Sun, Shang-Wei Lin:
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. ICECCS 2020: 43-52 - [c187]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: 73-82 - [c186]Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen:
IFIX: Fixing Concurrency Bugs While They Are Introduced. ICECCS 2020: 155-164 - [c185]Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay:
Learning Fault Models of Cyber Physical Systems. ICFEM 2020: 147-162 - [c184]Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh:
sFuzz: an efficient adaptive fuzzer for solidity smart contracts. ICSE 2020: 778-788 - [c183]Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Ting Dai:
White-box fairness testing through adversarial sampling. ICSE 2020: 949-960 - [c182]Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong:
Symbolic verification of message passing interface programs. ICSE 2020: 1248-1260 - [c181]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: 126-135 - [c180]Jun Sun, Zijiang Yang:
ObjSim: efficient testing of cyber-physical systems. TAV-CPS/IoT@ISSTA 2020: 1-2 - [c179]Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang:
Active fuzzing for testing and securing cyber-physical systems. ISSTA 2020: 14-26 - [c178]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: 440-451 - [c177]Yueling Zhang, Geguang Pu, Jun Sun:
Accelerating All-SAT Computation with Short Blocking Clauses. ASE 2020: 6-17 - [c176]Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong, Xingen Wang:
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction. ASE 2020: 499-510 - [c175]Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li:
Towards Generating Thread-Safe Classes Automatically. ASE 2020: 943-955 - [c174]