Google
Google Scholar
Semantic Scholar
MS Academic
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
- Jun Sun 0004 — Fujitsu R&D Center, Beijing
- Jun Sun 0005 — Shanghai Jiaotong University, Institute of Image Communication and Information Processing
- Jun Sun 0006 — Tsinghua University, Institute of Information Processing, Beijing, China
- Jun Sun 0007 — Massachusetts Institute of Technology
- Jun Sun 0008
![[0000-0002-9824-4294]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-9824-4294")
— Jiangnan University, School of Information Technology, Wuxi, China - Jun Sun 0009 — Shanghai Jiao Tong University, Dept. of Electronic Engineering
- 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, Texas (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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j42]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)- [j41]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) - [j40]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) - [c197]Richard Schumi, Jun Sun:
SpecTest: Specification-Based Compiler Testing. FASE 2021: 269-291 - [c196]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 - [c195]Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang:
Type and interval aware array constraint solving for symbolic execution. ISSTA 2021: 361-373 - [c194]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Code integrity attestation for PLCs using black box neural network predictions. ESEC/SIGSOFT FSE 2021: 32-44 - [c193]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 - [c192]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 - [c191]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 - [i36]Tai D. Nguyen, Long H. Pham, Jun Sun:
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. CoRR abs/2101.01917 (2021) - [i35]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) - [i34]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) - [i33]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions. CoRR abs/2106.07851 (2021) - [i32]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) - [i31]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) - [i30]Bing Sun, Jun Sun, Ting Dai, Lijun Zhang:
Probabilistic Verification of Neural Networks Against Group Fairness. CoRR abs/2107.08362 (2021) - 2020
- [j39]É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) - [c190]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 - [c189]Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun:
Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) 2020: 304-326 - [c188]Tim Muller, Dongxia Wang, Jun Sun:
Provably Robust Decisions based on Potentially Malicious Sources of Information. CSF 2020: 411-424 - [c187]Jiao Jiao, Shang-Wei Lin, Jun Sun:
A Generalized Formal Semantic Framework for Smart Contracts. FASE 2020: 75-96 - [c186]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 - [c185]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 - [c184]Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen:
IFIX: Fixing Concurrency Bugs While They Are Introduced. ICECCS 2020: 155-164 - [c183]Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay:
Learning Fault Models of Cyber Physical Systems. ICFEM 2020: 147-162 - [c182]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 - [c181]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 - [c180]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 - [c179]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 - [c178]Jun Sun, Zijiang Yang:
ObjSim: efficient testing of cyber-physical systems. TAV-CPS/IoT@ISSTA 2020: 1-2 - [c177]Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang:
Active fuzzing for testing and securing cyber-physical systems. ISSTA 2020: 14-26 - [c176]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 - [c175]Yueling Zhang, Geguang Pu, Jun Sun:
Accelerating All-SAT Computation with Short Blocking Clauses. ASE 2020: 6-17 - [c174]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 - [c173]Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li:
Towards Generating Thread-Safe Classes Automatically. ASE 2020: 943-955 - [c172]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 - [c171]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 - [i29]É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) - [i28]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) - [i27]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) - [i26]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) - [i25]Long H. Pham, Jiaying Li, Jun Sun:
SOCRATES: Towards a Unified Platform for Neural Network Verification. CoRR abs/2007.11206 (2020) - [i24]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) - [i23]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) - [i22]Guoliang Dong, Jun Sun, Jingyi Wang, Xinyu Wang, Ting Dai:
Towards Repairing Neural Networks Correctly. CoRR abs/2012.01872 (2020)
2010 – 2019
- 2019
- [j38]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) - [j37]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) - [j36]Flavio Toffalini, Jun Sun, Martín Ochoa:
Practical static analysis of context leaks in Android applications. Softw. Pract. Exp. 49(2): 233-251 (2019) - [j35]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) - [c170]Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. APLAS 2019: 405-424 - [c169]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA 2019: 115-130 - [c168]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 - [c167]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 - [c166]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun:
Concolic Testing Heap-Manipulating Programs. FM 2019: 442-461 - [c165]Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao:
Adaptive Randomized Scheduling for Concurrency Bug Detection. ICECCS 2019: 124-133 - [c164]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 - [c163]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 - [c162]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 - [c161]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 - [c160]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] - [i21]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. CoRR abs/1907.00537 (2019) - [i20]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun:
Concolic Testing Heap-Manipulating Programs. CoRR abs/1907.05637 (2019) - [i19]Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning. CoRR abs/1908.10051 (2019) - [i18]Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang:
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. CoRR abs/1909.05410 (2019) - [i17]Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong:
Analyzing Recurrent Neural Network by Probabilistic Abstraction. CoRR abs/1909.10023 (2019) - [i16]Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting:
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks. CoRR abs/1911.05904 (2019) - 2018
- [j34]Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. 30(3-4): 351-380 (2018) - [j33]Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Learning probabilistic models for model checking: an evolutionary approach and an empirical study. Int. J. Softw. Tools Technol. Transf. 20(6): 689-704 (2018) - [j32]Jianye Hao, Jun Sun, Guangyong Chen, Zan Wang, Chao Yu, Zhong Ming:
Efficient and Robust Emergence of Norms through Heuristic Collective Learning. ACM Trans. Auton. Adapt. Syst. 12(4): 23:1-23:20 (2018) - [j31]Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao:
CrowdService: Optimizing Mobile Crowdsourcing and Service Composition. ACM Trans. Internet Techn. 18(2): 19:1-19:25 (2018) - [j30]Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser:
Towards Model Checking Android Applications. IEEE Trans. Software Eng. 44(6): 595-612 (2018) - [j29]Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong:
A Formal Specification and Verification Framework for Timed Security Protocols. IEEE Trans. Software Eng. 44(8): 725-746 (2018) - [j28]Jianye Hao, Eunsuk Kang, Jun Sun, Zan Wang, Zhaopeng Meng, Xiaohong Li, Zhong Ming:
An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers. IEEE Trans. Smart Grid 9(4): 2398-2408 (2018) - [c159]Cyrille Jégourel, Jingyi Wang, Jun Sun:
Importance Sampling of Interval Markov Chains. DSN 2018: 303-313 - [c158]Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu:
Towards 'Verifying' a Water Treatment System. FM 2018: 73-92 - [c157]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun:
Compositional Reasoning for Shared-Variable Concurrent Programs. FM 2018: 523-541 - [c156]Teck Ping Khoo, Jun Sun:
The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. ICFEM 2018: 54-69 - [c155]Flavio Toffalini, Jun Sun, Martín Ochoa:
Static analysis of context leaks in android applications. ICSE (SEIP) 2018: 215-224 - [c154]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
Testing heap-based programs with Java StarFinder. ICSE (Companion Volume) 2018: 268-269 - [c153]Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin:
Towards optimal concolic testing. ICSE 2018: 291-302 - [c152]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, Wenyun Zhao:
Benchmarking microservice systems for software engineering research. ICSE (Companion Volume) 2018: 323-324 - [c151]Cyrille Jégourel, Jun Sun, Jin Song Dong:
On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) 2018: 287-304 - [c150]Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong:
Break the dead end of dynamic slicing: localizing data and control omission bug. ASE 2018: 509-519 - [c149]Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, Guangning Wei:
PFix: fixing concurrency bugs based on memory access patterns. ASE 2018: 589-600 - [c148]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, Dan Ding:
Delta debugging microservice systems. ASE 2018: 802-807 - [c147]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. IEEE Symposium on Security and Privacy 2018: 648-660 - [c146]Quang Loc Le, Jun Sun, Shengchao Qin:
Frame Inference for Inductive Entailment Proofs in Separation Logic. TACAS (1) 2018: 41-60 - [i15]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. CoRR abs/1801.00903 (2018) - [i14]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun:
Executable Operational Semantics of Solidity. CoRR abs/1804.01295 (2018) - [i13]Jingyi Wang, Jun Sun, Peixin Zhang, Xinyu Wang:
Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing. CoRR abs/1805.05010 (2018) - [i12]Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. CoRR abs/1808.00624 (2018) - [i11]Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang:
Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing. CoRR abs/1812.05793 (2018) - 2017
- [j27]Hui Tian, Jun Sun, Yongfeng Huang, Tian Wang, Yonghong Chen, Yiqiao Cai:
Detecting Steganography of Adaptive Multirate Speech with Unknown Embedding Rate. Mob. Inf. Syst. 2017: 5418978:1-5418978:18 (2017) - [j26]Yinxing Xue, Guozhu Meng, Yang Liu, Tian Huat Tan, Hongxu Chen, Jun Sun, Jie Zhang:
Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. IEEE Trans. Inf. Forensics Secur. 12(7): 1529-1544 (2017) - [j25]Liang He, Guozhu Meng, Yu Gu, Cong Liu, Jun Sun, Ting Zhu, Yang Liu, Kang G. Shin:
Battery-Aware Mobile Data Service. IEEE Trans. Mob. Comput. 16(6): 1544-1558 (2017) - [j24]Xinyu Wang, Jun Sun, Ting Wang, Shengchao Qin:
Language Inclusion Checking of Timed Automata with Non-Zenoness. IEEE Trans. Software Eng. 43(11): 995-1008 (2017) - [c145]Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin:
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. CAV (2) 2017: 495-517 - [c144]Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. FASE 2017: 3-21 - [c143]Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. ICDM Workshops 2017: 1058-1065 - [c142]Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng:
Learning Likely Invariants to Explain Why a Program Fails. ICECCS 2017: 70-79 - [c141]Long H. Pham, Lyly Tran Thi, Jun Sun:
Assertion Generation Through Active Learning. ICFEM 2017: 174-191 - [c140]Jiaying Li, Jun Sun, Bo Gao, Étienne André:
Classification-Based Parameter Synthesis for Parametric Timed Automata. ICFEM 2017: 243-261 - [c139]Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong:
A Verification Framework for Stateful Security Protocols. ICFEM 2017: 262-280 - [c138]Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin:
Improving Probability Estimation Through Active Probabilistic Model Learning. ICFEM 2017: 379-395 - [c137]Long H. Pham, Lyly Tran Thi, Jun Sun:
Assertion generation through active learning. ICSE (Companion Volume) 2017: 155-157 - [c136]Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun:
JSFox: integrating static and dynamic type analysis of JavaScript programs. ICSE (Companion Volume) 2017: 256-258 - [c135]Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, Jin Song Dong:
Feedback-based debugging. ICSE 2017: 393-403 - [c134]Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, Jin Song Dong:
Mining implicit design templates for actionable code reuse. ASE 2017: 394-404 - [c133]Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao:
O2O service composition with social collaboration. ASE 2017: 451-461 - [c132]Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin:
Automatic loop-invariant generation and refinement through selective sampling. ASE 2017: 782-792 - [c131]Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen:
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. ASE 2017: 793-803 - [c130]Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. NFM 2017: 35-51 - [c129]Cyrille Jégourel, Jun Sun, Jin Song Dong:
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. QEST 2017: 333-350 - [i10]Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. CoRR abs/1709.05342 (2017) - [i9]Jingyi Wang, Jun Sun, Yifan Jia:
Toward 'verifying' a Water Treatment System. CoRR abs/1712.04155 (2017) - 2016
- [j23]Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen, Jun Sun:
IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. Appl. Soft Comput. 49: 1215-1231 (2016) - [j22]Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix. Softw. Syst. Model. 15(2): 453-471 (2016) - [j21]Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jie Zhang:
Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking. IEEE Trans. Hum. Mach. Syst. 46(2): 197-208 (2016) - [c128]Quang Loc Le, Jun Sun, Wei-Ngan Chin:
Satisfiability Modulo Heap-Based Programs. CAV (1) 2016: 382-404 - [c127]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. FM 2016: 155-163