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 — GESIS, Germany (and 1 more)
- 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
- Jun Sun 0022 — University of Calgary, Department of Mechanical and Manufacturing Engineering, Alberta Research Council, Canada
- Jun Sun 0023 — University of Electronic Science and Technology of China, School of Information and Communication Engineering, Chengdu, China
- Jun Sun 0024 — A-STAR, Institute for Infocomm Research, Singapore (and 1 more)
- Jun Sun 0025 — Yangzhou University, School of Information Engineering, China
Other persons with a similar name
- Sun Jun
- Sun-Ah Jun
- Jun-Di Sun
- Jun-Zhao Sun
- Jun-qing Sun
- Ke-Jun Sun
- Lijun Sun (aka: Li-jun Sun) — disambiguation page
- Pan Jun Sun (aka: PanJun Sun) — Shanghai Jiao Tong University, China
- Xiao-Jun Sun
- Jun-Yi Sun 0001 — Chongqing University, School of Civil Engineering, Key Laboratory of New Technology for Construction of Cities in Mountain Area, China
- show all similar names
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j74]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): 2493-2514 (2024)- [j73]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) - [j72]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): 515-529 (2024) - [j71]Dongxia Wang, Tim Muller, Jun Sun:
Provably Secure Decisions Based on Potentially Malicious Information. IEEE Trans. Dependable Secur. Comput. 21(5): 4388-4403 (2024) - [j70]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): 23:1-23:33 (2024) - [j69]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): 68:1-68:45 (2024) - [j68]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): 114:1-114:55 (2024) - [j67]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): 190-208 (2024) - [c243]Ruihan Zhang, Jun Sun:
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. CAV (2) 2024: 352-376 - [c242]Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong:
Certified Quantization Strategy Synthesis for Neural Networks. FM (1) 2024: 343-362 - [c241]Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu:
CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. ICANN (1) 2024: 463-477 - [c240]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: 102:1-102:13 - [c239]Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun:
REDriver: Runtime Enforcement for Autonomous Vehicles. ICSE 2024: 176:1-176:12 - [c238]Long H. Pham, Jun Sun:
Certified Continual Learning for Neural Network Regression. ISSTA 2024: 806-818 - [c237]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: 440-451 - [c236]Bing Sun, Jun Sun, Wayne Koh, Jie Shi:
Neural Network Semantic Backdoor Detection and Mitigation: A Causality-Based Approach. USENIX Security Symposium 2024 - [e7]Holger Hermanns, Jun Sun, Lei Bu:
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Lecture Notes in Computer Science 14464, Springer 2024, ISBN 978-981-99-8663-7 [contents] - [i89]Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang, Xinyu Wang:
PTE: Axiomatic Semantics based Compiler Testing. CoRR abs/2401.01036 (2024) - [i88]Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu:
Experimenting a New Programming Practice with LLMs. CoRR abs/2401.01062 (2024) - [i87]Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun:
REDriver: Runtime Enforcement for Autonomous Vehicles. CoRR abs/2401.02253 (2024) - [i86]Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen:
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. CoRR abs/2401.07063 (2024) - [i85]Boquan Li, Mengdi Zhang, Peixin Zhang, Jun Sun, Xingmei Wang:
Resilient Watermarking for LLM-Generated Codes. CoRR abs/2402.07518 (2024) - [i84]Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun:
Towards General Conceptual Model Editing via Adversarial Representation Engineering. CoRR abs/2404.13752 (2024) - [i83]Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang:
Evaluating and Mitigating Linguistic Discrimination in Large Language Models. CoRR abs/2404.18534 (2024) - [i82]Ruihan Zhang, Jun Sun:
Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors. CoRR abs/2405.11547 (2024) - [i81]Jingnan Zheng, Han Wang, An Zhang, Tai D. Nguyen, Jun Sun, Tat-Seng Chua:
ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation. CoRR abs/2405.14125 (2024) - [i80]Nay Myat Min, Long H. Pham, Jun Sun:
Unified Neural Backdoor Removal with Only Few Clean Samples through Unlearning and Relearning. CoRR abs/2405.14781 (2024) - [i79]Ruihan Zhang, Jun Sun:
How Does Bayes Error Limit Probabilistic Robust Accuracy. CoRR abs/2405.14923 (2024) - [i78]Wei Zhao, Zhe Li, Yige Li, Ye Zhang, Jun Sun:
Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing. CoRR abs/2405.18166 (2024) - [i77]Dong Chen, Shaoxin Lin, Muhan Zeng, Daoguang Zan, Jian-Gang Wang, Anton Cheshkov, Jun Sun, Hao Yu, Guoliang Dong, Artem Aliev, Jie Wang, Xiao Cheng, Guangtai Liang, Yuchi Ma, Pan Bian, Tao Xie, Qianxiang Wang:
CodeR: Issue Resolving with Multi-Agent and Task Graphs. CoRR abs/2406.01304 (2024) - [i76]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 abs/2406.09469 (2024) - [i75]Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong:
Towards Large Language Model Aided Program Refinement. CoRR abs/2406.18616 (2024) - [i74]Long H. Pham, Jun Sun:
Certified Continual Learning for Neural Network Regression. CoRR abs/2407.06697 (2024) - [i73]Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen:
μDrive: User-Controlled Autonomous Driving. CoRR abs/2407.13201 (2024) - [i72]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. CoRR abs/2407.17215 (2024) - [i71]Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts. CoRR abs/2408.07324 (2024) - [i70]Yige Li, Hanxun Huang, Yunhan Zhao, Xingjun Ma, Jun Sun:
BackdoorLLM: A Comprehensive Benchmark for Backdoor Attacks on Large Language Models. CoRR abs/2408.12798 (2024) - [i69]Yang Sun, Christopher M. Poskitt, Jun Sun:
Are Existing Road Design Guidelines Suitable for Autonomous Vehicles? CoRR abs/2409.10562 (2024) - [i68]Zhe Li, Wei Zhao, Yige Li, Jun Sun:
Do Influence Functions Work on Large Language Models? CoRR abs/2409.19998 (2024) - [i67]Wei Zhao, Zhe Li, Yige Li, Jun Sun:
Adversarial Suffixes May Be Features Too! CoRR abs/2410.00451 (2024) - [i66]Tai D. Nguyen, Long H. Pham, Jun Sun:
UniAdapt: A Universal Adapter for Knowledge Calibration. CoRR abs/2410.00454 (2024) - 2023
- [j66]É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): 277:1-277:47 (2023) - [j65]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): 24:1-24:29 (2023) - [j64]Bo Gao, Jun Sun, Bochun Wang:
Personal Information Protection in Government Data Openness Using Decision Tree Model. J. Glob. Inf. Manag. 31(9): 1-23 (2023) - [j63]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) - [j62]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) - [j61]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) - [j60]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) - [j59]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) - [j58]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) - [j57]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): 4829-4845 (2023) - [c235]Mingtian Tan, Xiaofei Xie, Jun Sun, Tianhao Wang:
Mitigating Membership Inference Attacks via Weighted Smoothing. ACSAC 2023: 787-798 - [c234]Yedi Zhang, Fu Song, Jun Sun:
QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) 2023: 413-437 - [c233]Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le:
An Idealist's Approach for Smart Contract Correctness. ICFEM 2023: 11-28 - [c232]Weipeng Jiang, Chao Shen, Chenhao Lin, Jingyi Wang, Jun Sun, Xuanqi Gao:
Black-Box Fairness Testing with Shadow Models. ICICS 2023: 467-484 - [c231]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 - [c230]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 - [c229]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. ICSE 2023: 2578-2590 - [c228]Richard Schumi, Jun Sun:
Semantic-Based Neural Network Repair. ISSTA 2023: 150-162 - [c227]Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun:
Silent Compiler Bug De-duplication via Three-Dimensional Analysis. ISSTA 2023: 677-689 - [c226]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 - [c225]Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun:
Towards an Effective and Interpretable Refinement Approach for DNN Verification. QRS 2023: 569-580 - [c224]Lida Zhao, Sen Chen, Zhengzi Xu, Chengwei Liu, Lyuye Zhang, Jiahui Wu, Jun Sun, Yang Liu:
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects. ESEC/SIGSOFT FSE 2023: 960-972 - [c223]Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun, Shang-Wei Lin:
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. ESEC/SIGSOFT FSE 2023: 1371-1383 - [c222]É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] - [i65]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. CoRR abs/2302.04175 (2023) - [i64]Richard Schumi, Jun Sun:
Semantic-Based Neural Network Repair. CoRR abs/2306.07995 (2023) - [i63]Tai D. Nguyen, Long H. Pham, Jun Sun:
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification. CoRR abs/2307.02289 (2023) - [i62]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) - [i61]Boquan Li, Jun Sun, Christopher M. Poskitt:
How Generalizable are Deepfake Detectors? An Empirical Study. CoRR abs/2308.04177 (2023) - [i60]Ruihan Zhang, Peixin Zhang, Jun Sun:
Towards Certified Probabilistic Robustness with High Accuracy. CoRR abs/2309.00879 (2023) - [i59]Peixin Zhang, Jun Sun, Mingtian Tan, Xinyu Wang:
Backdoor Attack through Machine Unlearning. CoRR abs/2310.10659 (2023) - [i58]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) - [i57]Wei Zhao, Zhe Li, Jun Sun:
Causality Analysis for Evaluating the Security of Large Language Models. CoRR abs/2312.07876 (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) - [c221]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CAV (1) 2022: 171-192 - [c220]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 - [c219]Bing Sun, Jun Sun, Long H. Pham, Tie Shi:
Causality-Based Neural Network Repair. ICSE 2022: 338-349 - [c218]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. ICSE 2022: 859-870 - [c217]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 - [c216]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 - [c215]Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. MEMOCODE 2022: 1-12 - [c214]Mengdi Zhang, Jun Sun:
Adaptive fairness improvement based on causality analysis. ESEC/SIGSOFT FSE 2022: 6-17 - [c213]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 - [d2]Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption. Zenodo, 2022
- [i56]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) - [i55]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) - [i54]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. CoRR abs/2202.09868 (2022) - [i53]Bing Sun, Jun Sun, Hong Long Pham, Jie Shi:
Causality-based Neural Network Repair. CoRR abs/2204.09274 (2022) - [i52]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CoRR abs/2205.06992 (2022) - [i51]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR abs/2206.05438 (2022) - [i50]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) - [i49]Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun:
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination. CoRR abs/2208.11321 (2022) - [i48]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) - [i47]Mengdi Zhang, Jun Sun:
Adaptive Fairness Improvement Based on Causality Analysis. CoRR abs/2209.07190 (2022) - [i46]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) - [i45]Yedi Zhang, Fu Song, Jun Sun:
QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR abs/2212.02781 (2022) - [i44]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) - [c212]Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu:
Verification Assisted Gas Reduction for Smart Contracts. APSEC 2021: 264-274 - [c211]Richard Schumi, Jun Sun:
SpecTest: Specification-Based Compiler Testing. FASE 2021: 269-291 - [c210]Bing Sun, Jun Sun, Ting Dai, Lijun Zhang:
Probabilistic Verification of Neural Networks Against Group Fairness. FM 2021: 83-102 - [c209]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 - [c208]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 - [c207]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 - [c206]Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun:
Attack as defense: characterizing adversarial examples using robustness. ISSTA 2021: 42-55 - [c205]Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang:
Type and interval aware array constraint solving for symbolic execution. ISSTA 2021: 361-373 - [c204]Yun Tang, Yuan Zhou, Yang Liu, Jun Sun, Gang Wang:
Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps. IV 2021: 179-185 - [c203]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 - [c202]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 - [c201]Guoliang Dong, Jun Sun, Xingen Wang, Xinyu Wang, Ting Dai:
Towards Repairing Neural Networks Correctly. QRS 2021: 714-725 - [c200]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Code integrity attestation for PLCs using black box neural network predictions. ESEC/SIGSOFT FSE 2021: 32-44 - [c199]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 - [c198]Tai D. Nguyen, Long H. Pham, Jun Sun:
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. SP 2021: 1215-1229 - [c197]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 - [c196]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 - [i43]Tai D. Nguyen, Long H. Pham, Jun Sun:
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. CoRR abs/2101.01917 (2021) - [i42]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) - [i41]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) - [i40]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) - [i39]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions. CoRR abs/2106.07851 (2021) - [i38]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) - [i37]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) - [i36]Bing Sun, Jun Sun, Ting Dai, Lijun Zhang:
Probabilistic Verification of Neural Networks Against Group Fairness. CoRR abs/2107.08362 (2021) - [i35]Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang:
Fairness Testing of Deep Image Classification with Adequacy Metrics. CoRR abs/2111.08856 (2021) - [i34]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) - [i33]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) - [c195]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 - [c194]Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun:
Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) 2020: 304-326 - [c193]Tim Muller, Dongxia Wang, Jun Sun:
Provably Robust Decisions based on Potentially Malicious Sources of Information. CSF 2020: 411-424 - [c192]Jiao Jiao, Shang-Wei Lin, Jun Sun:
A Generalized Formal Semantic Framework for Smart Contracts. FASE 2020: 75-96 - [c191]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 - [c190]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 - [c189]Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen:
IFIX: Fixing Concurrency Bugs While They Are Introduced. ICECCS 2020: 155-164 - [c188]Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay:
Learning Fault Models of Cyber Physical Systems. ICFEM 2020: 147-162 - [c187]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 - [c186]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 - [c185]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 - [c184]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 - [c183]Jun Sun, Zijiang Yang:
ObjSim: efficient testing of cyber-physical systems. TAV-CPS/IoT@ISSTA 2020: 1-2 - [c182]Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang:
Active fuzzing for testing and securing cyber-physical systems. ISSTA 2020: 14-26 - [c181]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 - [c180]Yueling Zhang, Geguang Pu, Jun Sun:
Accelerating All-SAT Computation with Short Blocking Clauses. ASE 2020: 6-17 - [c179]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 - [c178]Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li:
Towards Generating Thread-Safe Classes Automatically. ASE 2020: 943-955 - [c177]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun:
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. SP 2020: 1695-1712 - [c176]Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
Systematic Classification of Attackers via Bounded Model Checking. VMCAI 2020: 226-247 - [c175]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 - [i32]É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) - [i31]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) - [i30]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) - [i29]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) - [i28]Long H. Pham, Jiaying Li, Jun Sun:
SOCRATES: Towards a Unified Platform for Neural Network Verification. CoRR abs/2007.11206 (2020) - [i27]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) - [i26]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) - [i25]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) - [c174]Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. APLAS 2019: 405-424 - [c173]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA 2019: 115-130 - [c172]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 - [c171]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 - [c170]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun:
Concolic Testing Heap-Manipulating Programs. FM 2019: 442-461 - [c169]Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao:
Adaptive Randomized Scheduling for Concurrency Bug Detection. ICECCS 2019: 124-133 - [c168]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 - [c167]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 - [c166]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 - [c165]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 - [c164]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] - [d1]Étienne André, Jun Sun:
Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity". Zenodo, 2019 - [i24]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. CoRR abs/1907.00537 (2019) - [i23]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun:
Concolic Testing Heap-Manipulating Programs. CoRR abs/1907.05637 (2019) - [i22]Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning. CoRR abs/1908.10051 (2019) - [i21]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) - [i20]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) - [i19]Fuchen Ma, Ying Fu, Meng Ren, Wanting Sun, Zhe Liu, Yu Jiang, Jun Sun, Jiaguang Sun:
GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. CoRR abs/1910.02945 (2019) - [i18]Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
Systematic Classification of Attackers via Bounded Model Checking. CoRR abs/1911.05808 (2019) - [i17]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
- [j35]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) - [j34]Hui Tian, Jun Sun, Chin-Chen Chang, Yongfeng Huang, Yonghong Chen:
Detecting Bitrate Modulation-Based Covert Voice-Over-IP Communication. IEEE Commun. Lett. 22(6): 1196-1199 (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) - [c163]Cyrille Jégourel, Jingyi Wang, Jun Sun:
Importance Sampling of Interval Markov Chains. DSN 2018: 303-313 - [c162]Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu:
Towards 'Verifying' a Water Treatment System. FM 2018: 73-92 - [c161]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 - [c160]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 - [c159]Flavio Toffalini, Jun Sun, Martín Ochoa:
Static analysis of context leaks in android applications. ICSE (SEIP) 2018: 215-224 - [c158]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 - [c157]Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin:
Towards optimal concolic testing. ICSE 2018: 291-302 - [c156]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 - [c155]Xiangce Meng, Zhaojun Yang, Jun Sun:
Understanding Influential Factors in Selecting Sustainable Third-party Logistics Providers: An Interpretive Structural Modeling and MICMAC Analysis. IEEM 2018: 864-868 - [c154]Zheng Wu, Zhaojun Yang, Jun Sun, Yu Zou:
Alignment Between Enterprise Green Supply Chain and Green Information System: An Analysis of Four Cases. IEEM 2018: 904-908 - [c153]Cyrille Jégourel, Jun Sun, Jin Song Dong:
On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) 2018: 287-304 - [c152]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 - [c151]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 - [c150]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, Dan Ding:
Delta debugging microservice systems. ASE 2018: 802-807 - [c149]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 - [c148]Quang Loc Le, Jun Sun, Shengchao Qin:
Frame Inference for Inductive Entailment Proofs in Separation Logic. TACAS (1) 2018: 41-60 - [i16]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) - [i15]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun:
Executable Operational Semantics of Solidity. CoRR abs/1804.01295 (2018) - [i14]Jingyi Wang, Jun Sun, Peixin Zhang, Xinyu Wang:
Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing. CoRR abs/1805.05010 (2018) - [i13]Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. CoRR abs/1808.00624 (2018) - [i12]Eric Rothstein Morris, Jun Sun:
Quantifying Attacker Capability Via Model Checking Multiple Properties (Extended Version). CoRR abs/1811.10400 (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, Chin-Chen Chang, Jie Qin, Yonghong Chen:
Hiding Information Into Voice-Over-IP Streams Using Adaptive Bitrate Modulation. IEEE Commun. Lett. 21(4): 749-752 (2017) - [j26]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) - [j25]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) - [j24]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) - [j23]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) - [c147]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 - [c146]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 - [c145]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 - [c144]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 - [c143]Long H. Pham, Lyly Tran Thi, Jun Sun:
Assertion Generation Through Active Learning. ICFEM 2017: 174-191 - [c142]Jiaying Li, Jun Sun, Bo Gao, Étienne André:
Classification-Based Parameter Synthesis for Parametric Timed Automata. ICFEM 2017: 243-261 - [c141]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 - [c140]Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin:
Improving Probability Estimation Through Active Probabilistic Model Learning. ICFEM 2017: 379-395 - [c139]Long H. Pham, Lyly Tran Thi, Jun Sun:
Assertion generation through active learning. ICSE (Companion Volume) 2017: 155-157 - [c138]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 - [c137]Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, Jin Song Dong:
Feedback-based debugging. ICSE 2017: 393-403 - [c136]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 - [c135]Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao:
O2O service composition with social collaboration. ASE 2017: 451-461 - [c134]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 - [c133]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 - [c132]Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. NFM 2017: 35-51 - [c131]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
- [j22]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) - [j21]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) - [j20]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) - [c130]Quang Loc Le, Jun Sun, Wei-Ngan Chin:
Satisfiability Modulo Heap-Based Programs. CAV (1) 2016: 382-404 - [c129]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. FM 2016: 155-163 - [c128]Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang:
Towards Concolic Testing for Hybrid Systems. FM 2016: 460-478 - [c127]Li Li, Jun Sun, Jin Song Dong:
Automated Verification of Timed Security Protocols with Clock Drift. FM 2016: 513-530 - [c126]Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang:
Improving Quality of Use Case Documents through Learning and User Interaction. ICECCS 2016: 101-110 - [c125]Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong:
Towards Using Concurrent Java API Correctly. ICECCS 2016: 219-222 - [c124]Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong:
Service Adaptation with Probabilistic Partial Models. ICFEM 2016: 122-140 - [c123]Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong:
Scaling BDD-based Timed Verification with Simulation Reduction. ICFEM 2016: 363-382 - [c122]Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong:
Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE 2016: 85-95 - [c121]Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao:
CrowdService: serving the individuals through mobile crowdsourcing and service composition. ASE 2016: 214-219 - [c120]Jianye Hao, Eunsuk Kang, Jun Sun, Daniel Jackson:
Designing minimal effective normative systems with the help of lightweight formal methods. SIGSOFT FSE 2016: 50-60 - [c119]Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun:
Regular Symmetry Patterns. VMCAI 2016: 455-475 - [e3]Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu:
Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10055, Springer 2016, ISBN 978-3-319-50111-6 [contents] - [i8]Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. CoRR abs/1605.08278 (2016) - [i7]Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang:
Towards Concolic Testing for Hybrid Systems. CoRR abs/1608.08754 (2016) - [i6]Yuqi Chen, Christopher M. Poskitt, Jun Sun:
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. CoRR abs/1609.01491 (2016) - [i5]Jingyi Wang, Jun Sun, Shengchao Qin:
Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement. CoRR abs/1610.06371 (2016) - [i4]Jun Sun, Long H. Pham, Lyly Tran Thi, Jingyi Wang, Xin Peng:
Learning Likely Invariants to Explain Why a Program Fails. CoRR abs/1610.08607 (2016) - [i3]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun:
Compositional Reasoning for Shared-variable Concurrent Programs. CoRR abs/1611.00574 (2016) - 2015
- [j19]Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li:
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. IEEE Trans. Software Eng. 41(1): 3-18 (2015) - [c118]Jianye Hao, Jun Sun, Dongping Huang, Yi Cai, Chao Yu:
Heuristic Collective Learning for Efficient and Robust Emergence of Social Norms. AAMAS 2015: 1647-1648 - [c117]Li Li, Jun Sun, Yang Liu, Jin Song Dong:
Verifying Parameterized Timed Security Protocols. FM 2015: 342-359 - [c116]Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo:
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. ICECCS 2015: 60-69 - [c115]Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin:
GPU Accelerated On-the-Fly Reachability Checking. ICECCS 2015: 100-109 - [c114]Jianye Hao, Yinxing Xue, Mahinthan Chandramohan, Yang Liu, Jun Sun:
An Adaptive Markov Strategy for Effective Network Intrusion Detection. ICTAI 2015: 1085-1092 - [c113]Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, Mahinthan Chandramohan:
Detection and classification of malicious JavaScript via attack behavior modelling. ISSTA 2015: 48-59 - [c112]Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong:
Optimizing selection of competing features via feedback-directed evolutionary algorithms. ISSTA 2015: 246-256 - [c111]Lin Gui, Jun Sun, Yang Liu, Jin Song Dong:
Reliability assessment for distributed systems via communication abstraction and refinement. ISSTA 2015: 293-304 - [c110]Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong:
Interpolation Guided Compositional Verification (T). ASE 2015: 65-74 - [c109]Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). MoDELS 2015: 449 - [c108]Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin:
TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE 2015: 698-709 - [c107]Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi:
Event and Strategy Analytics. TASE 2015: 4-6 - [i2]Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun:
Regular Symmetry Patterns (Technical Report). CoRR abs/1510.08506 (2015) - 2014
- [j18]Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang:
Towards verification of computation orchestration. Formal Aspects Comput. 26(4): 729-759 (2014) - [j17]Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang:
Model checking with fairness assumptions using PAT. Frontiers Comput. Sci. 8(1): 1-16 (2014) - [j16]Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun:
Model checking approach to automated planning. Formal Methods Syst. Des. 44(2): 176-202 (2014) - [j15]Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong:
Complexity of the Soundness Problem of Workflow Nets. Fundam. Informaticae 131(1): 81-101 (2014) - [j14]Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Parameter synthesis for hierarchical concurrent real-time systems. Real Time Syst. 50(5-6): 620-679 (2014) - [j13]Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari:
Towards Formal Modelling and Verification of Pervasive Computing Systems. Trans. Comput. Collect. Intell. 16: 62-91 (2014) - [j12]Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. 40(2): 137-153 (2014) - [c106]Songzheng Song, Yang Liu, Jie Zhang, Jun Sun:
An extensive model checking framework for multi-agent systems. AAMAS 2014: 1645-1646 - [c105]Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun:
Towards a Combination of CafeOBJ and PAT. Specification, Algebra, and Software 2014: 151-170 - [c104]Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun:
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. CAV 2014: 391-406 - [c103]Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun:
Adaptive Defending Strategy for Smart Grid Attacks. SEGS@CCS 2014: 23-30 - [c102]Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Symbolic Analysis of an Electric Vehicle Charging Protocol. ICECCS 2014: 11-18 - [c101]Xiaohong Chen, Jun Sun, Meng Sun:
A Hybrid Model of Connectors in Cyber-Physical Systems. ICFEM 2014: 59-74 - [c100]Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong:
SCC-Based Improved Reachability Analysis for Markov Decision Processes. ICFEM 2014: 171-186 - [c99]Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong:
Practical Analysis Framework for Software-Based Attestation Scheme. ICFEM 2014: 284-299 - [c98]Li Li, Jun Sun, Yang Liu, Jin Song Dong:
TAuth: Verifying Timed Security Protocols. ICFEM 2014: 300-315 - [c97]Zhimin Wu, Yang Liu, Yun Liang, Jun Sun:
GPU Accelerated Counterexample Generation in LTL Model Checking. ICFEM 2014: 413-429 - [c96]Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu, Xin Peng, Jun Sun, Wenyun Zhao:
Detecting differences across multiple instances of code clones. ICSE 2014: 164-174 - [c95]Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong:
VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. ICSE Companion 2014: 564-567 - [c94]Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, Jin Song Dong:
Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance. ICSME 2014: 341-350 - [c93]Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li:
Event Analytics. ICTAC 2014: 17-24 - [c92]Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang:
Automatic early defects detection in use case documents. ASE 2014: 785-790 - [c91]Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong:
RaPiD: a toolkit for reliability analysis of non-deterministic systems. SIGSOFT FSE 2014: 727-730 - [c90]Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li:
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. TACAS 2014: 310-325 - [c89]Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong:
Automated runtime recovery for QoS-based service composition. WWW 2014: 563-574 - [e2]Cliff B. Jones, Pekka Pihlajasaari, Jun Sun:
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science 8442, Springer 2014, ISBN 978-3-319-06409-3 [contents] - [i1]Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Stateful Security Protocol Verification. CoRR abs/1403.2237 (2014) - 2013
- [j11]Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André:
Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1): 3:1-3:29 (2013) - [j10]Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong:
Verifying Linearizability via Optimized Refinement Checking. IEEE Trans. Software Eng. 39(7): 1018-1039 (2013) - [c88]Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun:
Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. APSEC (1) 2013: 547-552 - [c87]Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen:
CELL: A Compositional Verification Framework. ATVA 2013: 474-477 - [c86]Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin:
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV 2013: 984-989 - [c85]Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun:
TTM/PAT: Specifying and Verifying Timed Transition Models. FTSCS 2013: 107-124 - [c84]Yuanjie Si, Jun Sun, Yang Liu, Ting Wang:
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. ICFEM 2013: 182-198 - [c83]Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP Semantics for Communicating Processes with Shared Variables. ICFEM 2013: 215-230 - [c82]Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li:
Verification of Functional and Non-functional Requirements of Web Service Composition. ICFEM 2013: 313-328