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://dblp.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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j57]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)- 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) - [c217]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CAV (1) 2022: 171-192 - [c216]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 - [c215]Bing Sun, Jun Sun, Long H. Pham, Tie Shi:
Causality-Based Neural Network Repair. ICSE 2022: 338-349 - [c214]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. ICSE 2022: 859-870 - [c213]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 - [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 - [i54]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) - [i53]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) - [i52]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. CoRR abs/2202.09868 (2022) - [i51]Bing Sun, Jun Sun, Hong Long Pham, Jie Shi:
Causality-based Neural Network Repair. CoRR abs/2204.09274 (2022) - [i50]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CoRR abs/2205.06992 (2022) - [i49]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR abs/2206.05438 (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. IEEE Symposium on Security and Privacy 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]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun:
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. IEEE Symposium on Security and Privacy 2020: 1695-1712 - [c173]Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
Systematic Classification of Attackers via Bounded Model Checking. VMCAI 2020: 226-247 - [c172]Guanhua Li, Yijian Wu, Chanchal K. Roy, Jun Sun, Xin Peng, Nanjie Zhan, Bin Hu, Jingyi Ma:
SAGA: Efficient and Large-Scale Detection of Near-Miss Clones with GPU Acceleration. SANER 2020: 272-283 - [i31]É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. CoRR abs/2003.08116 (2020) - [i30]Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh:
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts. CoRR abs/2004.08563 (2020) - [i29]Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang:
Active Fuzzing for Testing and Securing Cyber-Physical Systems. CoRR abs/2005.14124 (2020) - [i28]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. CoRR abs/2006.10280 (2020) - [i27]Long H. Pham, Jiaying Li, Jun Sun:
SOCRATES: Towards a Unified Platform for Neural Network Verification. CoRR abs/2007.11206 (2020) - [i26]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. CoRR abs/2010.07514 (2020) - [i25]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. CoRR abs/2010.07722 (2020) - [i24]Guoliang Dong, Jun Sun, Jingyi Wang, Xinyu Wang, Ting Dai:
Towards Repairing Neural Networks Correctly. CoRR abs/2012.01872 (2020)
2010 – 2019
- 2019
- [j39]Chi Chen, Xin Peng, Jun Sun, Zhenchang Xing, Xin Wang, Yifan Zhao, Hairui Zhang, Wenyun Zhao:
Generative API usage code recommendation with parameter concretization. Sci. China Inf. Sci. 62(9): 192103:1-192103:22 (2019) - [j38]Xin Peng, Zhenchang Xing, Jun Sun:
AI-boosted software automation: learning from human pair programmers. Sci. China Inf. Sci. 62(10): 200104:1-200104:3 (2019) - [j37]Flavio Toffalini, Jun Sun, Martín Ochoa:
Practical static analysis of context leaks in Android applications. Softw. Pract. Exp. 49(2): 233-251 (2019) - [j36]Cyrille Jégourel, Jun Sun, Jin Song Dong:
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. ACM Trans. Model. Comput. Simul. 29(4): 25:1-25:22 (2019) - [c171]Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. APLAS 2019: 405-424 - [c170]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA 2019: 115-130 - [c169]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA 2019: 209-227 - [c168]Flavio Toffalini, Martín Ochoa, Jun Sun, Jianying Zhou:
Careful-Packing: A Practical and Scalable Anti-Tampering Software Protection enforced by Trusted Computing. CODASPY 2019: 231-242 - [c167]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun:
Concolic Testing Heap-Manipulating Programs. FM 2019: 442-461 - [c166]Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao:
Adaptive Randomized Scheduling for Concurrency Bug Detection. ICECCS 2019: 124-133 - [c165]Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. ICFEM 2019: 286-304 - [c164]Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang:
Adversarial sample detection for deep neural network through model mutation testing. ICSE 2019: 1245-1256 - [c163]Zan Wang, Yingquan Zhao, Shuang Liu, Jun Sun, Xiang Chen, Huarui Lin:
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. ASE 2019: 722-734 - [c162]Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang:
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. ASE 2019: 962-973 - [c161]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, Chuan He:
Latent error prediction and fault localization for microservice applications by learning from system trace logs. ESEC/SIGSOFT FSE 2019: 683-694 - [e4]Nan Guan, Joost-Pieter Katoen, Jun Sun:
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Lecture Notes in Computer Science 11951, Springer 2019, ISBN 978-3-030-35539-5 [contents] - [i23]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. CoRR abs/1907.00537 (2019) - [i22]Long H. Pham</