Yang Liu

According to our database, Yang Liu authored at least 602 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts.

Yang Liu, Chao Wang, Yan Ma

Autom. Softw. Eng., June, 2024

COCL: An Intelligent Framework for Enhancing Deep Learning-Based Vulnerability Detection.

Wenxuan Li, Shihan Dou, Yueming Wu, Chenxi Li, Yang Liu

IEEE Trans. Ind. Informatics, March, 2024

CodeBERT-Attack: Adversarial attack against source code deep learning models via pre-trained model.

Huangzhao Zhang, Shuai Lu, Zhuo Li, Zhi Jin, Lei Ma, Yang Liu, Ge Li

J. Softw. Evol. Process., March, 2024

Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control.

Yuan Zhou, Hesuan Hu, Gelei Deng, Kun Cheng, Shang-Wei Lin, Yang Liu, Zuohua Ding

IEEE Trans. Syst. Man Cybern. Syst., February, 2024

Faire: Repairing Fairness of Neural Networks via Neuron Condition Synthesis.

Tianlin Li, Xiaofei Xie, Jian Wang, Qing Guo, Aishan Liu, Lei Ma, Yang Liu

ACM Trans. Softw. Eng. Methodol., January, 2024

A Secure and Robust Knowledge Transfer Framework via Stratified-Causality Distribution Adjustment in Intelligent Collaborative Services.

Ju Jia, Siqi Ma, Lina Wang, Yang Liu, Robert H. Deng

IEEE Trans. Computers, January, 2024

Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Geguang Pu, Yang Liu

IEEE Trans. Multim., 2024

Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks.

Wenbing Tang, Yuan Zhou, Yang Liu, Zuohua Ding, Jing Liu

IEEE Trans. Inf. Forensics Secur., 2024

A Causality-Aligned Structure Rationalization Scheme Against Adversarial Biased Perturbations for Graph Neural Networks.

Ju Jia, Siqi Ma, Yang Liu, Lina Wang, Robert H. Deng

IEEE Trans. Inf. Forensics Secur., 2024

Ambush From All Sides: Understanding Security Threats in Open-Source Software CI/CD Pipelines.

Ziyue Pan, Wenbo Shen, Xingkai Wang, Yutian Yang, Rui Chang, Yao Liu, Chengwei Liu, Yang Liu, Kui Ren

IEEE Trans. Dependable Secur. Comput., 2024

Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation.

Yi Liu, Guowei Yang, Gelei Deng, Feiyue Chen, Yuqi Chen, Ling Shi, Tianwei Zhang, Yang Liu

CoRR, 2024

Pandora: Jailbreak GPTs by Retrieval Augmented Generation Poisoning.

Gelei Deng, Yi Liu, Kailong Wang, Yuekang Li, Tianwei Zhang, Yang Liu

CoRR, 2024

Graph Neural Networks in EEG-based Emotion Recognition: A Survey.

Chenyu Liu, Xinliang Zhou, Yihao Wu, Ruizhi Yang, Liming Zhai, Ziyu Jia, Yang Liu

CoRR, 2024

Digger: Detecting Copyright Content Mis-usage in Large Language Model Training.

Haodong Li, Gelei Deng, Yi Liu, Kailong Wang, Yuekang Li, Tianwei Zhang, Yang Liu, Guoai Xu, Guosheng Xu, Haoyu Wang

CoRR, 2024

Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem.

Chenghao Li, Yifei Wu, Wenbo Shen, Zichen Zhao, Rui Chang, Chengwei Liu, Yang Liu, Kui Ren

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

RUNNER: Responsible UNfair NEuron Repair for Enhancing Deep Neural Network Fairness.

Tianlin Li, Yue Cao, Jian Zhang, Shiqian Zhao, Yihao Huang, Aishan Liu, Qing Guo, Yang Liu

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B.

Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun

Formal Aspects Comput., December, 2023

Towards Practical Binary Code Similarity Detection: Vulnerability Verification via Patch Semantic Analysis.

Shouguo Yang, Zhengzi Xu, Yang Xiao, Zhe Lang, Wei Tang, Yang Liu, Zhiqiang Shi, Hong Li, Limin Sun

ACM Trans. Softw. Eng. Methodol., November, 2023

A Survey on Automated Driving System Testing: Landscapes and Trends.

Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu

ACM Trans. Softw. Eng. Methodol., September, 2023

Automatic Transformation Search Against Deep Leakage From Gradients.

Wei Gao, Xu Zhang, Shangwei Guo, Tianwei Zhang, Tao Xiang, Han Qiu, Yonggang Wen, Yang Liu

IEEE Trans. Pattern Anal. Mach. Intell., September, 2023

Specification-Based Autonomous Driving System Testing.

Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang

IEEE Trans. Software Eng., June, 2023

Consensus-Clustering-Based Automatic Distribution Matching for Cross-Domain Image Steganalysis.

Ju Jia, Meng Luo, Siqi Ma, Lina Wang, Yang Liu

IEEE Trans. Knowl. Data Eng., June, 2023

GraphSearchNet: Enhancing GNNs via Capturing Global Dependencies for Semantic Code Search.

Shangqing Liu, Xiaofei Xie, Jing Kai Siow, Lei Ma, Guozhu Meng, Yang Liu

IEEE Trans. Software Eng., April, 2023

A Comprehensive Study on ARM Disassembly Tools.

Muhui Jiang, Qinming Dai, Wenlong Zhang, Rui Chang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, Kui Ren

IEEE Trans. Software Eng., April, 2023

Demystifying Performance Regressions in String Solvers.

Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, Xiaohong Li

IEEE Trans. Software Eng., March, 2023

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks.

Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He

IEEE Robotics Autom. Lett., March, 2023

Baton: symphony of random testing and concolic testing through machine learning and taint analysis.

Bihuan Chen, Yang Liu, Xin Peng, Yijian Wu, Shengchao Qin

Sci. China Inf. Sci., March, 2023

A Large-Scale Empirical Study of Real-Life Performance Issues in Open Source Projects.

Yutong Zhao, Lu Xiao, Andre B. Bondi, Bihuan Chen, Yang Liu

IEEE Trans. Software Eng., February, 2023

Automatically Distilling Storyboard With Rich Features for Android Apps.

Sen Chen, Lingling Fan, Chunyang Chen, Yang Liu

IEEE Trans. Software Eng., February, 2023

Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles.

Wenbing Tang, Yuan Zhou, Tianwei Zhang, Yang Liu, Jing Liu, Zuohua Ding

Robotica, February, 2023

LiDetector: License Incompatibility Detection for Open Source Software.

Sihan Xu, Ya Gao, Lingling Fan, Zheli Liu, Yang Liu, Hua Ji

ACM Trans. Softw. Eng. Methodol., January, 2023

ADS-Lead: Lifelong Anomaly Detection in Autonomous Driving Systems.

Xingshuo Han, Yuan Zhou, Kangjie Chen, Han Qiu, Meikang Qiu, Yang Liu, Tianwei Zhang

IEEE Trans. Intell. Transp. Syst., January, 2023

Test Report Generation for Android App Testing Via Heterogeneous Data Analysis.

Chunrong Fang, Shengcheng Yu, Ting Su, Jing Zhang, Yuanhan Tian, Yang Liu

IEEE Trans. Software Eng., 2023

Service Pattern Optimization: Focusing on Collaboration in Service Ecosystems.

Meng Xi, Jianwei Yin, Zhengzi Xu, Ying Li, Shuiguang Deng, Yang Liu

IEEE Trans. Serv. Comput., 2023

Neuron Coverage-Guided Domain Generalization.

Chris Xing Tian, Haoliang Li, Xiaofei Xie, Yang Liu, Shiqi Wang

IEEE Trans. Pattern Anal. Mach. Intell., 2023

Formalizing UML State Machines for Automated Verification - A Survey.

Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong

ACM Comput. Surv., 2023

Machine Learning for Actionable Warning Identification: A Comprehensive Survey.

Xiuting Ge, Chunrong Fang, Xuanye Li, Weisong Sun, Daoyuan Wu, Juan Zhai, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen

CoRR, 2023

AdapterFL: Adaptive Heterogeneous Federated Learning for Resource-constrained Mobile Computing Systems.

Ruixuan Liu, Ming Hu, Zeke Xia, Jun Xia, Pengyu Zhang, Yihao Huang, Yang Liu, Mingsong Chen

CoRR, 2023

AdaptiveFL: Adaptive Heterogeneous Federated Learning for Resource-Constrained AIoT Systems.

Chentao Jia, Ming Hu, Zekai Chen, Yanxin Yang, Xiaofei Xie, Yang Liu, Mingsong Chen

CoRR, 2023

The Software Genome Project: Venture to the Genomic Pathways of Open Source Software and Its Applications.

Yueming Wu, Chengwei Liu, Yang Liu

CoRR, 2023

Split and Merge: Aligning Position Biases in Large Language Model based Evaluators.

Zongjie Li, Chaozheng Wang, Pingchuan Ma, Daoyuan Wu, Shuai Wang, Cuiyun Gao, Yang Liu

CoRR, 2023

Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

CoRR, 2023

Protect Federated Learning Against Backdoor Attacks via Data-Free Trigger Generation.

Yanxin Yang, Ming Hu, Yue Cao, Jun Xia, Yihao Huang, Yang Liu, Mingsong Chen

CoRR, 2023

PentestGPT: An LLM-empowered Automatic Penetration Testing Tool.

Gelei Deng, Yi Liu, Victor Mayoral Vilches, Peng Liu, Yuekang Li, Yuan Xu, Tianwei Zhang, Yang Liu, Martin Pinzger, Stefan Rass

CoRR, 2023

When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan.

Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, Yang Liu

CoRR, 2023

Towards Understanding the Capability of Large Language Models on Code Clone Detection: A Survey.

Shihan Dou, Junjie Shan, Haoxiang Jia, Wenhao Deng, Zhiheng Xi, Wei He, Yueming Wu, Tao Gui, Yang Liu, Xuanjing Huang

CoRR, 2023

Understanding Large Language Model Based Fuzz Driver Generation.

Cen Zhang, Mingqiang Bai, Yaowen Zheng, Yeting Li, Xiaofei Xie, Yuekang Li, Wei Ma, Limin Sun, Yang Liu

CoRR, 2023

Jailbreaker: Automated Jailbreak Across Multiple Large Language Model Chatbots.

Gelei Deng, Yi Liu, Yuekang Li, Kailong Wang, Ying Zhang, Zefeng Li, Haoyu Wang, Tianwei Zhang, Yang Liu

CoRR, 2023

Prompt Injection attack against LLM-integrated Applications.

Yi Liu, Gelei Deng, Yuekang Li, Kailong Wang, Tianwei Zhang, Yepang Liu, Haoyu Wang, Yan Zheng, Yang Liu

CoRR, 2023

On the Robustness of Segment Anything.

Yihao Huang, Yue Cao, Tianlin Li, Felix Juefei-Xu, Di Lin, Ivor W. Tsang, Yang Liu, Qing Guo

CoRR, 2023

Jailbreaking ChatGPT via Prompt Engineering: An Empirical Study.

Yi Liu, Gelei Deng, Zhengzi Xu, Yuekang Li, Yaowen Zheng, Ying Zhang, Lida Zhao, Tianwei Zhang, Yang Liu

CoRR, 2023

Automatic Code Summarization via ChatGPT: How Far Are We?

Weisong Sun, Chunrong Fang, Yudu You, Yun Miao, Yi Liu, Yuekang Li, Gelei Deng, Shenghan Huang, Yuchen Chen, Quanjun Zhang, Hanwei Qian, Yang Liu, Zhenyu Chen

CoRR, 2023

The Scope of ChatGPT in Software Engineering: A Thorough Investigation.

Wei Ma, Shangqing Liu, Wenhan Wang, Qiang Hu, Ye Liu, Cen Zhang, Liming Nie, Yang Liu

CoRR, 2023

Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches.

Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu

CoRR, 2023

FedMR: Federated Learning via Model Recombination.

Ming Hu, Zhihao Yue, Zhiwei Ling, Yihao Huang, Cheng Chen, Xian Wei, Yang Liu, Mingsong Chen

CoRR, 2023

EENED: End-to-End Neural Epilepsy Detection based on Convolutional Transformer.

Chenyu Liu, Xinliang Zhou, Yang Liu

CoRR, 2023

EEG-based Sleep Staging with Hybrid Attention.

Xinliang Zhou, Chenyu Liu, Jiaping Xiao, Yang Liu

CoRR, 2023

RNNS: Representation Nearest Neighbor Search Black-Box Attack on Code Models.

Jie Zhang, Wei Ma, Qiang Hu, Xiaofei Xie, Yves Le Traon, Yang Liu

CoRR, 2023

Interpretable and Robust AI in EEG Systems: A Survey.

Xinliang Zhou, Chenyu Liu, Liming Zhai, Ziyu Jia, Cuntai Guan, Yang Liu

CoRR, 2023

Learning Program Representations with a Tree-Structured Transformer.

Wenhan Wang, Kechi Zhang, Ge Li, Shangqing Liu, Anran Li, Zhi Jin, Yang Liu

Proceedings of the IEEE International Conference on Software Analysis, 2023

Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation.

Cen Zhang, Yuekang Li, Hao Zhou, Xiaohan Zhang, Yaowen Zheng, Xian Zhan, Xiaofei Xie, Xiapu Luo, Xinghua Li, Yang Liu, Sheikh Mahbub Habib

Proceedings of the 32nd USENIX Security Symposium, 2023

NAUTILUS: Automated RESTful API Vulnerability Detection.

Gelei Deng, Zhiyi Zhang, Yuekang Li, Yi Liu, Tianwei Zhang, Yang Liu, Guo Yu, Dongjin Wang

Proceedings of the 32nd USENIX Security Symposium, 2023

Honey-Gauge: Enabling User-Centric Honeypot Classification.

Vinay Sachidananda, Berwyn Chai, Florian Gondesen, Kwok-Yan Lam, Yang Liu

Proceedings of the Ubiquitous Security, 2023

Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation.

Xinyi Wang, Cen Zhang, Yeting Li, Zhiwu Xu, Shuailin Huang, Yi Liu, Yican Yao, Yang Xiao, Yanyan Zou, Yang Liu, Wei Huo

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects.

Lida Zhao, Sen Chen, Zhengzi Xu, Chengwei Liu, Lyuye Zhang, Jiahui Wu, Jun Sun, Yang Liu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Software Architecture Recovery with Information Fusion.

Yiran Zhang, Zhengzi Xu, Chengwei Liu, Hongxu Chen, Jianwen Sun, Dong Qiu, Yang Liu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Demystifying the Composition and Code Reuse in Solidity Smart Contracts.

Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li, Yang Liu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Gitor: Scalable Code Clone Detection by Building Global Sample Graph.

Junjie Shan, Shihan Dou, Yueming Wu, Hairu Wu, Yang Liu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java.

Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, Yixiang Chen

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

GitFL: Uncertainty-Aware Real-Time Asynchronous Federated Learning Using Version Control.

Ming Hu, Zeke Xia, Dengke Yan, Zhihao Yue, Jun Xia, Yihao Huang, Yang Liu, Mingsong Chen

Proceedings of the IEEE Real-Time Systems Symposium, 2023

ThreatLand: Extracting Intelligence from Audit Logs via NLP methods.

Vinay Sachidananda, Rajendra Patil, Hongyi Peng, Yang Liu, Kwok-Yan Lam

Proceedings of the 20th Annual International Conference on Privacy, Security and Trust, 2023

ALA: Naturalness-aware Adversarial Lightness Attack.

Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu

Proceedings of the 31st ACM International Conference on Multimedia, 2023

Learning to Locate and Describe Vulnerabilities.

Jian Zhang, Shangqing Liu, Xu Wang, Tianlin Li, Yang Liu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem.

Lyuye Zhang, Chengwei Liu, Sen Chen, Zhengzi Xu, Lingling Fan, Lida Zhao, Yiran Zhang, Yang Liu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection.

Xin-Cheng Wen, Xinchen Wang, Cuiyun Gao, Shaohua Wang, Yang Liu, Zhaoquan Gu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Who is the Real Hero? Measuring Developer Contribution via Multi-Dimensional Data Integration.

Yuqiang Sun, Zhengzi Xu, Chengwei Liu, Yiran Zhang, Yang Liu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers.

Yi Liu, Yuekang Li, Gelei Deng, Felix Juefei-Xu, Yao Du, Cen Zhang, Chengwei Liu, Yeting Li, Lei Ma, Yang Liu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

LiSum: Open Source Software License Summarization with Multi-Task Learning.

Linyu Li, Sihan Xu, Yang Liu, Ya Gao, Xiangrui Cai, Jiarun Wu, Wenli Song, Zheli Liu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair.

Kai Huang, Xiangxin Meng, Jian Zhang, Yang Liu, Wenjie Wang, Shuhao Li, Yuqing Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

An Empirical Study of Malicious Code In PyPI Ecosystem.

Wenbo Guo, Zhengzi Xu, Chengwei Liu, Cheng Huang, Yong Fang, Yang Liu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Detecting Condition-Related Bugs with Control Flow Graph Neural Network.

Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu, Chunming Hu, Yang Liu

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

A Comprehensive Study on Quality Assurance Tools for Java.

Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts.

Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang, Yufan Chen, Mengjie Chen, Yang Liu, Lingxiao Jiang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Compatible Remediation on Vulnerabilities from Third-Party Libraries for Java Projects.

Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen, Lingling Fan, Lida Zhao, Jiahui Wu, Yang Liu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

OSSFP: Precise and Scalable C/C++ Third-Party Library Detection using Fingerprinting Functions.

Jiahui Wu, Zhengzi Xu, Wei Tang, Lyuye Zhang, Yueming Wu, Chengyue Liu, Kairan Sun, Lida Zhao, Yang Liu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Comparison and Evaluation of Clone Detection Techniques with Different Code Representations.

Yuekun Wang, Yuhang Ye, Yueming Wu, Weiwei Zhang, Yinxing Xue, Yang Liu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

ContraBERT: Enhancing Code Pre-trained Models via Contrastive Learning.

Shangqing Liu, Bozhi Wu, Xiaofei Xie, Guozhu Meng, Yang Liu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

FLYOVER: A Model-Driven Method to Generate Diverse Highway Interchanges for Autonomous Vehicle Testing.

Yuan Zhou, Gengjie Lin, Yun Tang, Kairui Yang, Wei Jing, Ping Zhang, Junbo Chen, Liang Gong, Yang Liu

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

SDG-L: A Semiparametric Deep Gaussian Process based Framework for Battery Capacity Prediction.

Hanbing Liu, Yanru Wu, Yang Liu, Ercan E. Kuruoglu, Xuan Zhang

Proceedings of the IEEE International Conference on Acoustics, 2023

Verifiable Multi-Key Privacy Data Computing System Based on Blockchain.

Jinnan Zhang, Zheng Wei, Yang Liu, Qinghua Gong, Xinmin Wang, Min Qiao

Proceedings of the 15th IEEE International Conference on Advanced Infocomm Technology, 2023

SoK: Rethinking Sensor Spoofing Attacks against Robotic Vehicles from a Systematic View.

Yuan Xu, Xingshuo Han, Gelei Deng, Jiwei Li, Yang Liu, Tianwei Zhang

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

An EEG Channel Selection Framework for Driver Drowsiness Detection via Interpretability Guidance.

Xinliang Zhou, Dan Lin, Ziyu Jia, Jiaping Xiao, Chenyu Liu, Liming Zhai, Yang Liu

Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

APTer: Towards the Investigation of APT Attribution.

Vinay Sachidananda, Rajendra Patil, Akshay Sachdeva, Kwok-Yan Lam, Yang Liu

Proceedings of the IEEE Conference on Dependable and Secure Computing, 2023

PumpChannel: An Efficient and Secure Communication Channel for Trusted Execution Environment on ARM-FPGA Embedded SoC.

Jingquan Ge, Yuekang Li, Yang Liu, Yaowen Zheng, Yi Liu, Lida Zhao

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Monitoring Automotive Software Security Health through Trustworthiness Score.

Etienne Sapin, Suraj Menon, Jingquan Ge, Sheikh Mahbub Habib, Maurice Heymann, Yuekang Li, Rene Palige, Gabriel Byman, Yang Liu

Proceedings of the 7th ACM Computer Science in Cars Symposium, 2023

Towards Efficient Data-Flow Test Data Generation.

Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su

Proceedings of the Theories of Programming and Formal Methods, 2023

Multi-target Backdoor Attacks for Code Pre-trained Models.

Yanzhou Li, Shangqing Liu, Kangjie Chen, Xiaofei Xie, Tianwei Zhang, Yang Liu

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

Background-Mixed Augmentation for Weakly Supervised Change Detection.

Rui Huang, Ruofei Wang, Qing Guo, Jieda Wei, Yuxiang Zhang, Wei Fan, Yang Liu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Vulnerability Analysis, Robustness Verification, and Mitigation Strategy for Machine Learning-Based Power System Stability Assessment Model Under Adversarial Examples.

Chao Ren, Xiaoning Du, Yan Xu, Qun Song, Yang Liu, Rui Tan

IEEE Trans. Smart Grid, 2022

Machine Learning Testing: Survey, Landscapes and Horizons.

Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu

IEEE Trans. Software Eng., 2022

A Systematic Assessment on Android Third-Party Library Detection Tools.

Xian Zhan, Tianming Liu, Yepang Liu, Yang Liu, Li Li, Haoyu Wang, Xiapu Luo

IEEE Trans. Software Eng., 2022

Research on Third-Party Libraries in Android Apps: A Taxonomy and Systematic Literature Review.

Xian Zhan, Tianming Liu, Lingling Fan, Li Li, Sen Chen, Xiapu Luo, Yang Liu

IEEE Trans. Software Eng., 2022

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps.

Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su

IEEE Trans. Software Eng., 2022

ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking.

Shangqing Liu, Cuiyun Gao, Sen Chen, Lun Yiu Nie, Yang Liu

IEEE Trans. Software Eng., 2022

Accessible or Not? An Empirical Investigation of Android App Accessibility.

Sen Chen, Chunyang Chen, Lingling Fan, Mingming Fan, Xian Zhan, Yang Liu

IEEE Trans. Software Eng., 2022

SNIFF: Reverse Engineering of Neural Networks With Fault Attacks.

Jakub Breier, Dirmanto Jap, Xiaolu Hou, Shivam Bhasin, Yang Liu

IEEE Trans. Reliab., 2022

SPI: Automated Identification of Security Patches via Commits.

Yaqin Zhou, Jing Kai Siow, Chenyu Wang, Shangqing Liu, Yang Liu

ACM Trans. Softw. Eng. Methodol., 2022

ReCDroid+: Automated End-to-End Crash Reproduction from Bug Reports for Android Apps.

Yu Zhao, Ting Su, Yang Liu, Wei Zheng, Xiaoxue Wu, Ramakanth Kavuluru, William G. J. Halfond, Tingting Yu

ACM Trans. Softw. Eng. Methodol., 2022

Towards Robustness of Deep Program Processing Models - Detection, Estimation, and Enhancement.

Huangzhao Zhang, Zhiyi Fu, Ge Li, Lei Ma, Zhehao Zhao, Hua'an Yang, Yizhe Sun, Yang Liu, Zhi Jin

ACM Trans. Softw. Eng. Methodol., 2022

NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks.

Xiaofei Xie, Tianlin Li, Jian Wang, Lei Ma, Qing Guo, Felix Juefei-Xu, Yang Liu

ACM Trans. Softw. Eng. Methodol., 2022

Breaking Neural Reasoning Architectures With Metamorphic Relation-Based Adversarial Examples.

Alvin Chan, Lei Ma, Felix Juefei-Xu, Yew-Soon Ong, Xiaofei Xie, Minhui Xue, Yang Liu

IEEE Trans. Neural Networks Learn. Syst., 2022

Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack.

Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Shang-Wei Lin, Wei Feng, Weisi Lin, Yang Liu

IEEE Trans. Multim., 2022

TANTRA: Timing-Based Adversarial Network Traffic Reshaping Attack.

Yam Sharon, David Berend, Yang Liu, Asaf Shabtai, Yuval Elovici

IEEE Trans. Inf. Forensics Secur., 2022

FakeLocator: Robust Localization of GAN-Based Face Manipulations.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu

IEEE Trans. Inf. Forensics Secur., 2022

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu

IEEE Trans. Dependable Secur. Comput., 2022

Byzantine-Resilient Decentralized Stochastic Gradient Descent.

Shangwei Guo, Tianwei Zhang, Han Yu, Xiaofei Xie, Lei Ma, Tao Xiang, Yang Liu

IEEE Trans. Circuits Syst. Video Technol., 2022

Topology-Aware Differential Privacy for Decentralized Image Classification.

Shangwei Guo, Tianwei Zhang, Guowen Xu, Han Yu, Tao Xiang, Yang Liu

IEEE Trans. Circuits Syst. Video Technol., 2022

SafeOSL: Ensuring memory safety of C via ownership-based intermediate language.

Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang

Softw. Pract. Exp., 2022

Online adaptation for autonomous unmanned systems driven by requirements satisfaction model.

Yixing Luo, Yuan Zhou, Haiyan Zhao, Zhi Jin, Tianwei Zhang, Yang Liu, Danny Barthaud, Yijun Yu

Softw. Syst. Model., 2022

Enriching query semantics for code search with reinforcement learning.

Chaozheng Wang, Zhenhao Nong, Cuiyun Gao, Zongjie Li, Jichuan Zeng, Zhenchang Xing, Yang Liu

Neural Networks, 2022

Countering Malicious DeepFakes: Survey, Battleground, and Horizon.

Felix Juefei-Xu, Run Wang, Yihao Huang, Qing Guo, Lei Ma, Yang Liu

Int. J. Comput. Vis., 2022

Characterizing usages, updates and risks of third-party libraries in Java projects.

Kaifeng Huang, Bihuan Chen, Congying Xu, Ying Wang, Bowen Shi, Xin Peng, Yijian Wu, Yang Liu

Empir. Softw. Eng., 2022

A Survey of Smart Contract Formal Specification and Verification.

Palina Tolmach, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li

ACM Comput. Surv., 2022

Is Self-Attention Powerful to Learn Code Syntax and Semantics?

Wei Ma, Mengjie Zhao, Xiaofei Xie, Qiang Hu, Shangqing Liu, Jie Zhang, Wenhan Wang, Yang Liu

CoRR, 2022

GitFL: Adaptive Asynchronous Federated Learning using Version Control.

Ming Hu, Zeke Xia, Zhihao Yue, Jun Xia, Yihao Huang, Yang Liu, Mingsong Chen

CoRR, 2022

FedCross: Towards Accurate Federated Learning via Multi-Model Cross Aggregation.

Ming Hu, Peiheng Zhou, Zhihao Yue, Zhiwei Ling, Yihao Huang, Yang Liu, Mingsong Chen

CoRR, 2022

Cargo Ecosystem Dependency-Vulnerability Knowledge Graph Construction and Vulnerability Propagation Study.

Peiyang Jia, Chengwei Liu, Hongyu Sun, Chengyi Sun, Mianxue Gu, Yang Liu, Yuqing Zhang

CoRR, 2022

A Tree-structured Transformer for Program Representation Learning.

Wenhan Wang, Kechi Zhang, Ge Li, Shangqing Liu, Zhi Jin, Yang Liu

CoRR, 2022

CommitBART: A Large Pre-trained Model for GitHub Commits.

Shangqing Liu, Yanzhou Li, Yang Liu

CoRR, 2022

AixBench: A Code Generation Benchmark Dataset.

Yiyang Hao, Ge Li, Yongqiang Liu, Xiaowei Miao, He Zong, Siyuan Jiang, Yang Liu, He Wei

CoRR, 2022

Automatic Map Generation for Autonomous Driving System Testing.

Yun Tang, Yuan Zhou, Kairui Yang, Ziyuan Zhong, Baishakhi Ray, Yang Liu, Ping Zhang, Junbo Chen

CoRR, 2022

AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems.

Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu

CoRR, 2022

SoK: Rethinking Sensor Spoofing Attacks against Robotic Vehicles from a Systematic View.

Yuan Xu, Xingshuo Han, Gelei Deng, Guanlin Li, Yang Liu, Jiwei Li, Tianwei Zhang

CoRR, 2022

Modx: Binary Level Partial Imported Third-Party Library Detection through Program Modularization and Semantic Matching.

Can Yang, Zhengzi Xu, Hongxu Chen, Yang Liu, Xiaorui Gong, Baoxu Liu

CoRR, 2022

An Executable Formal Model of the VHDL in Isabelle/HOL.

Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu

CoRR, 2022

Unveiling Project-Specific Bias in Neural Code Models.

Zhiming Li, Yanzhou Li, Tianlin Li, Mengnan Du, Bozhi Wu, Yushi Cao, Xiaofei Xie, Yi Li, Yang Liu

CoRR, 2022

ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations.

Liangru Sun, Felix Juefei-Xu, Yihao Huang, Qing Guo, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu

CoRR, 2022

Towards characterizing bug fixes through dependency-level changes in Apache Java open source projects.

Di Cui, Lingling Fan, Sen Chen, Yuanfang Cai, Qinghua Zheng, Yang Liu, Ting Liu

Sci. China Inf. Sci., 2022

Learning Program Semantics with Code Representations: An Empirical Study.

Jing Kai Siow, Shangqing Liu, Xiaofei Xie, Guozhu Meng, Yang Liu

Proceedings of the IEEE International Conference on Software Analysis, 2022

Fair and accurate age prediction using distribution aware data curation and augmentation.

Yushi Cao, David Berend, Palina Tolmach, Guy Amit, Moshe Levy, Yang Liu, Asaf Shabtai, Yuval Elovici

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.

Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao

Proceedings of the 31st USENIX Security Symposium, 2022

Tracking patches for open source software vulnerabilities.

Congying Xu, Bihuan Chen, Chenhao Lu, Kaifeng Huang, Xin Peng, Yang Liu

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

KUBO: a framework for automated efficacy testing of anti-virus behavioral detection with procedure-based malware emulation.

Jakub Pruzinec, Quynh Anh Nguyen, Adrian Baldwin, Jonathan Griffin, Yang Liu

Proceedings of the 13th International Workshop on Automating Test Case Design, 2022

An Empirical Study of the Impact of COVID-19 on OSS Development.

Lingfei Ma, Liming Nie, Chenxi Mao, Yaowen Zheng, Yang Liu

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

An Exploratory Study for GUI Posts on Stack Overflow.

Jing Ding, Liming Nie, Yang Liu, Zuohua Ding, Jifeng Xuan

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

A³GAN: Attribute-Aware Anonymization Networks for Face De-identification.

Liming Zhai, Qing Guo, Xiaofei Xie, Lei Ma, Yi Estelle Wang, Yang Liu

Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing.

Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen, Lingling Fan, Bihuan Chen, Yang Liu

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Towards Understanding Third-party Library Dependency in C/C++ Ecosystem.

Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang, Yi Li, Ping Luo, Yang Liu

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Towards Understanding the Faults of JavaScript-Based Deep Learning Systems.

Lili Quan, Qianyu Guo, Xiaofei Xie, Sen Chen, Xiaohong Li, Yang Liu

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Morest: Industry Practice of Automatic RESTful API Testing.

Yi Liu, Yuekang Li, Yang Liu, Ruiyuan Wan, Runchao Wu, Qingkun Liu

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

TransRepair: Context-aware Program Repair for Compilation Errors.

Xueyang Li, Shangqing Liu, Ruitao Feng, Guozhu Meng, Xiaofei Xie, Kai Chen, Yang Liu

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

AUSERA: Automated Security Vulnerability Detection for Android Apps.

Sen Chen, Yuxin Zhang, Lingling Fan, Jiaming Li, Yang Liu

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Efficient greybox fuzzing of applications in Linux-based IoT devices via enhanced user-mode emulation.

Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu, Limin Sun

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Cross-lingual transfer learning for statistical type inference.

Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

ModX: Binary Level Partially Imported Third-Party Library Detection via Program Modularization and Semantic Matching.

Can Yang, Zhengzi Xu, Hongxu Chen, Yang Liu, Xiaorui Gong, Baoxu Liu

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Morest: Model-based RESTful API Testing with Execution Feedback.

Yi Liu, Yuekang Li, Gelei Deng, Yang Liu, Ruiyuan Wan, Runchao Wu, Dandan Ji, Shiheng Xu, Minli Bao

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem.

Chengwei Liu, Sen Chen, Lingling Fan, Bihuan Chen, Yang Liu, Xin Peng

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Windranger: A Directed Greybox Fuzzer driven by Deviation Basic Blocks.

Zhengjie Du, Yuekang Li, Yang Liu, Bing Mao

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures.

Ke Jiang, Tianwei Zhang, David Sanán, Yongwang Zhao, Yang Liu

Proceedings of the Formal Methods and Software Engineering, 2022

Masked Faces with Faced Masks.

Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

Can You Spot the Chameleon? Adversarially Camouflaging Images from Co-Salient Object Detection.

Ruijun Gao, Qing Guo, Felix Juefei-Xu, Hongkai Yu, Huazhu Fu, Wei Feng, Yang Liu, Song Wang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

More Secure Collaborative APIs resistant to Flush-Based Cache Attacks on Cortex-A9 Based Automotive System.

Jingquan Ge, Yuekang Li, Yaowen Zheng, Yang Liu, Sheikh Mahbub Habib

Proceedings of the Computer Science in Cars Symposium, 2022

On the (In)Security of Secure ROS2.

Gelei Deng, Guowen Xu, Yuan Zhou, Tianwei Zhang, Yang Liu

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Vulnerability Assessment of Deep Reinforcement Learning Models for Power System Topology Optimization.

Yan Zheng, Ziming Yan, Kangjie Chen, Jianwen Sun, Yan Xu, Yang Liu

IEEE Trans. Smart Grid, 2021

Erratum to "Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search With Emulation".

Yinxing Xue, Zhengzi Xu, Mahinthan Chandramohan, Yang Liu

IEEE Trans. Software Eng., 2021

Explaining Regressions via Alignment Slicing and Mending.

Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu

IEEE Trans. Software Eng., 2021

Mining Likely Analogical APIs Across Third-Party Libraries via Large-Scale Unsupervised API Semantics Embedding.

Chunyang Chen, Zhenchang Xing, Yang Liu, Kent Ong Long Xiong

IEEE Trans. Software Eng., 2021

Why an Android App Is Classified as Malware: Toward Malware Classification Interpretation.

Bozhi Wu, Sen Chen, Cuiyun Gao, Lingling Fan, Yang Liu, Weiping Wen, Michael R. Lyu

ACM Trans. Softw. Eng. Methodol., 2021

CSim^<i>2</i>: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee.

David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu

ACM Trans. Program. Lang. Syst., 2021

Exploring the Effects of Blur and Deblurring to Visual Object Tracking.

Qing Guo, Wei Feng, Ruijun Gao, Yang Liu, Song Wang

IEEE Trans. Image Process., 2021

A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices.

Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, Yang Liu

IEEE Trans. Inf. Forensics Secur., 2021

Can We Trust Your Explanations? Sanity Checks for Interpreters in Android Malware Analysis.

Ming Fan, Wenying Wei, Xiaofei Xie, Yang Liu, Xiaohong Guan, Ting Liu

IEEE Trans. Inf. Forensics Secur., 2021

Text Backdoor Detection Using an Interpretable RNN Abstract Model.

Ming Fan, Ziliang Si, Xiaofei Xie, Yang Liu, Ting Liu

IEEE Trans. Inf. Forensics Secur., 2021

Trace-Length Independent Runtime Monitoring of Quantitative Policies.

Xiaoning Du, Alwen Tiu, Kun Cheng, Yang Liu

IEEE Trans. Dependable Secur. Comput., 2021

GUI-Squatting Attack: Automated Generation of Android Phishing Apps.

Sen Chen, Lingling Fan, Chunyang Chen, Minhui Xue, Yang Liu, Lihua Xu

IEEE Trans. Dependable Secur. Comput., 2021

On Evaluating Fault Resilient Encoding Schemes in Software.

Jakub Breier, Xiaolu Hou, Yang Liu

IEEE Trans. Dependable Secur. Comput., 2021

Guardauto: A Decentralized Runtime Protection System for Autonomous Driving.

Kun Cheng, Yuan Zhou, Bihuan Chen, Rui Wang, Yuebin Bai, Yang Liu

IEEE Trans. Computers, 2021

A permission-dependent type system for secure information flow analysis.

Zhiwu Xu, Hongxu Chen, Alwen Tiu, Yang Liu, Kunal Sareen

J. Comput. Secur., 2021

An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model.

Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong

J. Autom. Reason., 2021

CoreGen: Contextualized Code Representation Learning for Commit Message Generation.

Lun Yiu Nie, Cuiyun Gao, Zhicong Zhong, Wai Lam, Yang Liu, Zenglin Xu

Neurocomputing, 2021

Advanced evasion attacks and mitigations on practical ML-based phishing website classifiers.

Fu Song, Yusi Lei, Sen Chen, Lingling Fan, Yang Liu

Int. J. Intell. Syst., 2021

Generalized Local Optimality for Video Steganalysis in Motion Vector Domain.

Liming Zhai, Lina Wang, Yanzhen Ren, Yang Liu

CoRR, 2021

Robust and Privacy-Preserving Collaborative Learning: A Comprehensive Survey.

Shangwei Guo, Xu Zhang, Fei Yang, Tianwei Zhang, Yan Gan, Tao Xiang, Yang Liu

CoRR, 2021

Boosting the Capability of Intelligent Vulnerability Detection by Training in a Human-Learning Manner.

Shihan Dou, Yueming Wu, Wenxuan Li, Feng Cheng, Wei Yang, Yang Liu

CoRR, 2021

TRACER: Finding Patches for Open Source Software Vulnerabilities.

Congying Xu, Bihuan Chen, Chenhao Lu, Kaifeng Huang, Xin Peng, Yang Liu

CoRR, 2021

A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation.

Ziyuan Zhong, Yun Tang, Yuan Zhou, Vânia de Oliveira Neves, Yang Liu, Baishakhi Ray

CoRR, 2021

Benchmarking Shadow Removal for Facial Landmark Detection and Beyond.

Lan Fu, Qing Guo, Felix Juefei-Xu, Hongkai Yu, Wei Feng, Yang Liu, Song Wang

CoRR, 2021

AdvBokeh: Learning to Adversarially Defocus Blur.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Weikai Miao, Yang Liu, Geguang Pu

CoRR, 2021

GraphSearchNet: Enhancing GNNs via Capturing Global Dependency for Semantic Code Search.

Shangqing Liu, Xiaofei Xie, Lei Ma, Jing Kai Siow, Yang Liu

CoRR, 2021

GTG-Shapley: Efficient and Accurate Participant Contribution Evaluation in Federated Learning.

Zelei Liu, Yuanyuan Chen, Han Yu, Yang Liu, Lizhen Cui

CoRR, 2021

SEC4SR: A Security Analysis Platform for Speaker Recognition.

Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu

CoRR, 2021

Research on Third-Party Libraries in AndroidApps: A Taxonomy and Systematic LiteratureReview.

Xian Zhan, Tianming Liu, Lingling Fan, Li Li, Sen Chen, Xiapu Luo, Yang Liu

CoRR, 2021

CarveNet: Carving Point-Block for Complex 3D Shape Completion.

Qing Guo, Zhijie Wang, Felix Juefei-Xu, Di Lin, Lei Ma, Wei Feng, Yang Liu

CoRR, 2021

Cross-Lingual Adaptation for Type Inference.

Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu

CoRR, 2021

Enriching Query Semantics for Code Search with Reinforcement Learning.

Chaozheng Wang, Zhenghao Nong, Cuiyun Gao, Zongjie Li, Jichuan Zeng, Zhenchang Xing, Yang Liu

CoRR, 2021

Sparta: Spatially Attentive and Adversarially Robust Activation.

Qing Guo, Felix Juefei-Xu, Changqing Zhou, Yang Liu, Song Wang

CoRR, 2021

When NAS Meets Watermarking: Ownership Verification of DNN Models via Cache Side Channels.

Xiaoxuan Lou, Shangwei Guo, Tianwei Zhang, Yinqian Zhang, Yang Liu

CoRR, 2021

VIVA: Binary Level Vulnerability Identification via Partial Signature.

Yang Xiao, Zhengzi Xu, Weiwei Zhang, Chendong Yu, Longquan Liu, Wei Zou, Zimu Yuan, Yang Liu, Aihua Piao, Wei Huo

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

APICraft: Fuzz Driver Generation for Closed-source SDK Libraries.

Cen Zhang, Xingwei Lin, Yuekang Li, Yinxing Xue, Jundong Xie, Hongxu Chen, Xinlei Ying, Jiashui Wang, Yang Liu

Proceedings of the 30th USENIX Security Symposium, 2021

Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems.

Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

An Investigation of Byzantine Threats in Multi-Robot Systems.

Gelei Deng, Yuan Zhou, Yuan Xu, Tianwei Zhang, Yang Liu

Proceedings of the RAID '21: 24th International Symposium on Research in Attacks, 2021

FakeTagger: Robust Safeguards against DeepFake Dissemination via Provenance Tracking.

Run Wang, Felix Juefei-Xu, Meng Luo, Yang Liu, Lina Wang

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

JPGNet: Joint Predictive Filtering and Generative Network for Image Inpainting.

Qing Guo, Xiaoguang Li, Felix Juefei-Xu, Hongkai Yu, Yang Liu, Song Wang

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.

Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices.

Cen Zhang, Yuekang Li, Hongxu Chen, Xiaoxing Luo, Miaohua Li, Anh Quynh Nguyen, Yang Liu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification.

Yun Tang, Yuan Zhou, Tianwei Zhang, Fenghua Wu, Yang Liu, Gang Wang

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution.

Qiang Liu, Cen Zhang, Lin Ma, Muhui Jiang, Yajin Zhou, Lei Wu, Wenbo Shen, Xiapu Luo, Yang Liu, Kui Ren

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing.

Siqi Li, Yun Lin, Xiaofei Xie, Yuekang Li, Xiaohong Li, Weimin Ge, Yang Liu, Jin Song Dong

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning.

Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps.

Yun Tang, Yuan Zhou, Yang Liu, Jun Sun, Gang Wang

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

Vall-nut: Principled Anti-Grey box - Fuzzing.

Yuekang Li, Guozhu Meng, Jun Xu, Cen Zhang, Hongxu Chen, Xiaofei Xie, Haijun Wang, Yang Liu

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Peeking into the Gray Area of Mobile World: An Empirical Study of Unlabeled Android Apps.

Sen Chen, Lingling Fan, Cuiyun Gao, Fu Song, Yang Liu

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

A Unified Anomaly Detection Methodology for Lane-Following of Autonomous Driving Systems.

Xingshuo Han, Kangjie Chen, Yuan Zhou, Meikang Qiu, Chun Fan, Yang Liu, Tianwei Zhang

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

AVA: Adversarial Vignetting Attack against Visual Recognition.

Binyu Tian, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Xiaohong Li, Yang Liu

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Fine-tuning Is Not Enough: A Simple yet Effective Watermark Removal Attack for DNN Models.

Shangwei Guo, Tianwei Zhang, Han Qiu, Yi Zeng, Tao Xiang, Yang Liu

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning.

Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao, Yang Liu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

ATVHUNTER: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Applications.

Xian Zhan, Lingling Fan, Sen Chen, Feng Wu, Tianming Liu, Xiapu Luo, Yang Liu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Route Coverage Testing for Autonomous Vehicles via Map Modeling.

Yun Tang, Yuan Zhou, Fenghua Wu, Yang Liu, Jun Sun, Wuling Huang, Gang Wang

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

RNNRepair: Automatic RNN Repair via Model-based Analysis.

Xiaofei Xie, Wenbo Guo, Lei Ma, Wei Le, Jian Wang, Lingjun Zhou, Yang Liu, Xinyu Xing

Proceedings of the 38th International Conference on Machine Learning, 2021

Retrieval-Augmented Generation for Code Summarization via Hybrid GNN.

Shangqing Liu, Yu Chen, Xiaofei Xie, Jing Kai Siow, Yang Liu

Proceedings of the 9th International Conference on Learning Representations, 2021

Learning to Adversarially Blur Visual Object Tracking.

Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Formal Analysis of Composable DeFi Protocols.

Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Privacy-Preserving Collaborative Learning With Automatic Transformation Search.

Wei Gao, Shangwei Guo, Tianwei Zhang, Han Qiu, Yonggang Wen, Yang Liu

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

Auto-Exposure Fusion for Single-Image Shadow Removal.

Lan Fu, Changqing Zhou, Qing Guo, Felix Juefei-Xu, Hongkai Yu, Wei Feng, Yang Liu, Song Wang

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

SoFi: Reflection-Augmented Fuzzing for JavaScript Engines.

Xiaoyu He, Xiaofei Xie, Yuekang Li, Jianwen Sun, Feng Li, Wei Zou, Yang Liu, Lei Yu, Jianhua Zhou, Wenchang Shi, Wei Huo

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Temporal Watermarks for Deep Reinforcement Learning Models.

Kangjie Chen, Shangwei Guo, Tianwei Zhang, Shuxin Li, Yang Liu

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Stealing Deep Reinforcement Learning Models for Fun and Profit.

Kangjie Chen, Shangwei Guo, Tianwei Zhang, Xiaofei Xie, Yang Liu

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks.

Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.

Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

CANeleon: Protecting CAN Bus With Frame ID Chameleon.

Kun Cheng, Yuebin Bai, Yuan Zhou, Yun Tang, David Sanán, Yang Liu

IEEE Trans. Veh. Technol., 2020

METTLE: A METamorphic Testing Approach to Assessing and Validating Unsupervised Machine Learning Systems.

Xiaoyuan Xie, Zhiyi Zhang, Tsong Yueh Chen, Yang Liu, Pak-Lok Poon, Baowen Xu

IEEE Trans. Reliab., 2020

Large-Scale Empirical Studies on Effort-Aware Security Vulnerability Prediction Methods.

Xiang Chen, Yingquan Zhao, Zhanqi Cui, Guozhu Meng, Yang Liu, Zan Wang

IEEE Trans. Reliab., 2020

Information Theoretical Analysis of Unfair Rating Attacks Under Subjectivity.

Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu

IEEE Trans. Inf. Forensics Secur., 2020

BBB-CFI: Lightweight CFI Approach Against Code-Reuse Attacks Using Basic Block Information.

Wenjian He, Sanjeev Das, Wei Zhang, Yang Liu

ACM Trans. Embed. Comput. Syst., 2020

Automated synthesis of local time requirement for service composition.

Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong

Softw. Syst. Model., 2020

Risk Management Framework for Machine Learning Security.

Jakub Breier, Adrian Baldwin, Helen Balinsky, Yang Liu

CoRR, 2020

SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices.

Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu

CoRR, 2020

Being Single Has Benefits. Instance Poisoning to Deceive Malware Classifiers.

Tzvika Shapira, David Berend, Ishai Rosenberg, Yang Liu, Asaf Shabtai, Yuval Elovici

CoRR, 2020

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.

Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu

CoRR, 2020

Adversarial Exposure Attack on Diabetic Retinopathy Imagery.

Yupeng Cheng, Felix Juefei-Xu, Qing Guo, Huazhu Fu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Yang Liu

CoRR, 2020

FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu

CoRR, 2020

It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception.

Liming Zhai, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Wei Feng, Shengchao Qin, Yang Liu

CoRR, 2020

The Hidden Vulnerability of Watermarking for Deep Neural Networks.

Shangwei Guo, Tianwei Zhang, Han Qiu, Yi Zeng, Tao Xiang, Yang Liu

CoRR, 2020

Light Can Hack Your Face! Black-box Backdoor Attack on Face Recognition Systems.

Haoliang Li, Yufei Wang, Xiaofei Xie, Yang Liu, Shiqi Wang, Renjie Wan, Lap-Pui Chau, Alex C. Kot

CoRR, 2020

Fairness Matters - A Data-Driven Framework Towards Fair and High Performing Facial Recognition Systems.

Yushi Cao, David Berend, Palina Tolmach, Moshe Levy, Guy Amit, Asaf Shabtai, Yuval Elovici, Yang Liu

CoRR, 2020

Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack.

Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Wei Feng, Yang Liu

CoRR, 2020

Contextualized Code Representation Learning for Commit Message Generation.

Lun Yiu Nie, Cuiyun Gao, Zhicong Zhong, Wai Lam, Yang Liu, Zenglin Xu

CoRR, 2020

Generating Adversarial Examples withControllable Non-transferability.

Renzhi Wang, Tianwei Zhang, Xiaofei Xie, Lei Ma, Cong Tian, Felix Juefei-Xu, Yang Liu

CoRR, 2020

Differentially Private Decentralized Learning.

Shangwei Guo, Tianwei Zhang, Tao Xiang, Yang Liu

CoRR, 2020

Automatic Code Summarization via Multi-dimensional Semantic Fusing in GNN.

Shangqing Liu, Yu Chen, Xiaofei Xie, Jing Kai Siow, Yang Liu

CoRR, 2020

Stealing Deep Reinforcement Learning Models for Fun and Profit.

Kangjie Chen, Tianwei Zhang, Xiaofei Xie, Yang Liu

CoRR, 2020

Multi-IF : An Approach to Anomaly Detection in Self-Driving Systems.

Kun Cheng, Yuebin Bai, Yuan Zhou, Chao Yu, Yang Liu

CoRR, 2020

Why an Android App is Classified as Malware? Towards Malware Classification Interpretation.

Bozhi Wu, Sen Chen, Cuiyun Gao, Lingling Fan, Yang Liu, Weiping Wen, Michael R. Lyu

CoRR, 2020

An Empirical Study on Benchmarks of Artificial Software Vulnerabilities.

Sijia Geng, Yuekang Li, Yunlan Du, Jun Xu, Yang Liu, Bing Mao

CoRR, 2020

ABBA: Saliency-Regularized Motion-Based Adversarial Blur Attack.

Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Wei Feng, Yang Liu

CoRR, 2020

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.

Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu

CoRR, 2020

A distributed method to avoid higher-order deadlocks in multi-robot systems.

Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding

Autom., 2020

How Are Performance Issues Caused and Resolved?-An Empirical Study from a Design Perspective.

Yutong Zhao, Lu Xiao, Xiao Wang, Lei Sun, Bihuan Chen, Yang Liu, Andre B. Bondi

Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020

CORE: Automating Review Recommendation for Code Changes.

Jing Kai Siow, Cuiyun Gao, Lingling Fan, Sen Chen, Yang Liu

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Automatic Hot Patch Generation for Android Kernels.

Zhengzi Xu, Yulong Zhang, Longri Zheng, Liangzhao Xia, Chenfu Bao, Zhi Wang, Yang Liu

Proceedings of the 29th USENIX Security Symposium, 2020

MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures.

Yang Xiao, Bihuan Chen, Chendong Yu, Zhengzi Xu, Zimu Yuan, Feng Li, Binghong Liu, Yang Liu, Wei Huo, Wei Zou, Wenchang Shi

Proceedings of the 29th USENIX Security Symposium, 2020

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs.

Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, Yang Liu

Proceedings of the 29th USENIX Security Symposium, 2020

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity.

Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Watch out! Motion is Blurring the Vision of Your Deep Neural Networks.

Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng, Yang Liu

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices.

Run Wang, Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Amora: Black-box Adversarial Morphing Attack.

Run Wang, Felix Juefei-Xu, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Yang Liu

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms.

Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.

Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Automated Third-Party Library Detection for Android Applications: Are We There Yet?

Xian Zhan, Lingling Fan, Tianming Liu, Sen Chen, Li Li, Haoyu Wang, Yifei Xu, Xiapu Luo, Yang Liu

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations.

Lili Quan, Qianyu Guo, Hongxu Chen, Xiaofei Xie, Xiaohong Li, Yang Liu, Jing Hu

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Generating Concept based API Element Comparison Using a Knowledge Graph.

Yang Liu, Mingwei Liu, Xin Peng, Christoph Treude, Zhenchang Xing, Xiaoxin Zhang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Audee: Automated Testing for Deep Learning Frameworks.

Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, Chao Shen

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems.

Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness.

David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software.

Xiongfei Wu, Liangyu Qin, Bing Yu, Xiaofei Xie, Lei Ma, Yinxing Xue, Yang Liu, Jianjun Zhao

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Patch based vulnerability matching for binary programs.

Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, Ting Liu

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

An empirical study on ARM disassembly tools.

Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, Kui Ren

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

An Empirical Evaluation of GDPR Compliance Violations in Android mHealth Apps.

Ming Fan, Le Yu, Sen Chen, Hao Zhou, Xiapu Luo, Shuyue Li, Yang Liu, Jun Liu, Ting Liu

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces.

Run Wang, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yihao Huang, Jian Wang, Yang Liu

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Generating Behavior-Diverse Game AIs with Evolutionary Multi-Objective Deep Reinforcement Learning.

Ruimin Shen, Yan Zheng, Jianye Hao, Zhaopeng Meng, Yingfeng Chen, Changjie Fan, Yang Liu

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Variable Precision Multi-granularity Rough Soft Sets Based on Multiple Thresholds.

Xiaomin Wang, Yan Shang, Yang Liu, Hanxiang He

Proceedings of the Learning Technologies and Systems, 2020

An Empirical Study of Usages, Updates and Risks of Third-Party Libraries in Java Projects.

Ying Wang, Bihuan Chen, Kaifeng Huang, Bowen Shi, Congying Xu, Xin Peng, Yijian Wu, Yang Liu

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Source Code based On-demand Class Documentation Generation.

Mingwei Liu, Xin Peng, Xiujie Meng, Huanjun Xu, Shuangshuang Xing, Xin Wang, Yang Liu, Gang Lv

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.

Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

MemLock: memory usage guided fuzzing.

Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Typestate-guided fuzzer for discovering use-after-free vulnerabilities.

Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

An empirical assessment of security risks of global Android banking apps.

Sen Chen, Lingling Fan, Guozhu Meng, Ting Su, Minhui Xue, Yinxing Xue, Yang Liu, Lihua Xu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Butterfly Space: An Architectural Approach for Investigating Performance Issues.

Yutong Zhao, Lu Xiao, Xiao Wang, Zhifei Chen, Bihuan Chen, Yang Liu

Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

DesignDiff: Continuously Modeling Software Design Difference from Code Revisions.

Xiao Wang, Lu Xiao, Kaifeng Huang, Bihuan Chen, Yutong Zhao, Yang Liu

Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

Privacy-Aware UAV Flights through Self-Configuring Motion Planning.

Yixing Luo, Yijun Yu, Zhi Jin, Yao Li, Zuohua Ding, Yuan Zhou, Yang Liu

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices.

Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

SPARK: Spatial-Aware Online Incremental Attack Against Visual Tracking.

Qing Guo, Xiaofei Xie, Felix Juefei-Xu, Lei Ma, Zhongguo Li, Wanli Xue, Wei Feng, Yang Liu

Proceedings of the Computer Vision - ECCV 2020, 2020

Generating Adversarial Examples for Holding Robustness of Source Code Processing Models.

Huangzhao Zhang, Zhuo Li, Ge Li, Lei Ma, Yang Liu, Zhi Jin

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning.

Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Continuous Multiagent Control Using Collective Behavior Entropy for Large-Scale Home Energy Management.

Jianwen Sun, Yan Zheng, Jianye Hao, Zhaopeng Meng, Yang Liu

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems.

Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding

IEEE Trans. Syst. Man Cybern. Syst., 2019

Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search with Emulation.

Yinxing Xue, Zhengzi Xu, Mahinthan Chandramohan, Yang Liu

IEEE Trans. Software Eng., 2019

Automatic Loop Summarization via Path Dependency Analysis.

Xiaofei Xie, Bihuan Chen, Liang Zou, Yang Liu, Wei Le, Xiaohong Li

IEEE Trans. Software Eng., 2019

Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints.

Bihuan Chen, Xin Peng, Yang Liu, Songzheng Song, Jiahuan Zheng, Wenyun Zhao

IEEE Trans. Serv. Comput., 2019

Layered Object-Oriented Programming: Advanced VTable Reuse Attacks on Binary-Level Defense.

Chenyu Wang, Bihuan Chen, Yang Liu, Hongjun Wu

IEEE Trans. Inf. Forensics Secur., 2019

Securing Android App Markets via Modeling and Predicting Malware Spread Between Markets.

Guozhu Meng, Matthew Patrick, Yinxing Xue, Yang Liu, Jie Zhang

IEEE Trans. Inf. Forensics Secur., 2019

Refinement-Based Specification and Security Analysis of Separation Kernels.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

IEEE Trans. Dependable Secur. Comput., 2019

Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers.

Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2019

Automatic Detection and Repair Recommendation for Missing Checks.

Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li

J. Comput. Sci. Technol., 2019

A PSO-Based CEGAR Framework for Stochastic Model Checking.

Yan Ma, Zining Cao, Yang Liu

Int. J. Softw. Eng. Knowl. Eng., 2019

Experimental Evaluation of Deep Neural Network Resistance Against Fault Injection Attacks.

Xiaolu Hou, Jakub Breier, Dirmanto Jap, Lei Ma, Shivam Bhasin, Yang Liu

IACR Cryptol. ePrint Arch., 2019

A Countermeasure Against Statistical Ineffective Fault Analysis.

Jakub Breier, Mustafa Khairallah, Xiaolu Hou, Yang Liu

IACR Cryptol. ePrint Arch., 2019

What's Spain's Paris? Mining analogical libraries from Q&A discussions.

Chunyang Chen, Zhenchang Xing, Yang Liu

Empir. Softw. Eng., 2019

On embedding a hardware description language in Isabelle/HOL.

Wilayat Khan, David Sanán, Zhe Hou, Yang Liu

Des. Autom. Embed. Syst., 2019

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules.

Yinxing Xue, Jiaming Ye, Mingliang Ma, Lei Ma, Yi Li, Haijun Wang, Yun Lin, Tianyong Peng, Yang Liu

CoRR, 2019

Amora: Black-box Adversarial Morphing Attack.

Run Wang, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Yihao Huang, Yang Liu

CoRR, 2019

Spatial-aware Online Adversarial Perturbations Against Visual Object Tracking.

Qing Guo, Xiaofei Xie, Lei Ma, Zhongguo Li, Wei Feng, Yang Liu

CoRR, 2019

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu

CoRR, 2019

FakeSpotter: A Simple Baseline for Spotting AI-Synthesized Fake Faces.

Run Wang, Lei Ma, Felix Juefei-Xu, Xiaofei Xie, Jian Wang, Yang Liu

CoRR, 2019

A formalisation of the SPARC TSO memory model for multi-core machine code.

Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong

CoRR, 2019

Securing android applications via edge assistant third-party library detection.

Zhushou Tang, Minhui Xue, Guozhu Meng, Chengguo Ying, Yugeng Liu, Jianan He, Haojin Zhu, Yang Liu

Comput. Secur., 2019

How security bugs are fixed and what can be improved: an empirical study with Mozilla.

Xiaobing Sun, Xin Peng, Kai Zhang, Yang Liu, Yuanfang Cai

Sci. China Inf. Sci., 2019

DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems.

Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Locating vulnerabilities in binaries via memory layout recovering.

Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Generating query-specific class API summaries.

Mingwei Liu, Xin Peng, Andrian Marcus, Zhenchang Xing, Wenkai Xie, Shuangshuang Xing, Yang Liu

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Cerebro: context-aware adaptive fuzzing for effective vulnerability detection.

Yuekang Li, Yinxing Xue, Hongxu Chen, Xiuheng Wu, Cen Zhang, Xiaofei Xie, Haijun Wang, Yang Liu

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

DeepStellar: model-based quantitative analysis of stateful deep learning systems.

Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks.

Yaqin Zhou, Shangqing Liu, Jing Kai Siow, Xiaoning Du, Yang Liu

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning.

Yan Zheng, Changjie Fan, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yingfeng Chen

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Coverage-Guided Fuzzing for Feedforward Neural Networks.

Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepMutation++: A Mutation Testing Framework for Deep Learning Systems.

Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, Jianjun Zhao

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms.

Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Quantitative Analysis Framework for Recurrent Neural Network.

Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepHunter: a coverage-guided fuzz testing framework for deep neural networks.

Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

DiffChaser: Detecting Disagreements for Deep Neural Networks.

Xiaofei Xie, Lei Ma, Haijun Wang, Yuekang Li, Yang Liu, Xiaohong Li

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Performance Optimization from Code Changes for Android Apps.

Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu, Shang-Wei Lin

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

ReCDroid: automatically reproducing Android application crashes from bug reports.

Yu Zhao, Tingting Yu, Ting Su, Yang Liu, Wei Zheng, Jingzhi Zhang, William G. J. Halfond

Proceedings of the 41st International Conference on Software Engineering, 2019

Localized or architectural: an empirical study of performance issues dichotomy.

Yutong Zhao, Lu Xiao, Xiao Wang, Bihuan Chen, Yang Liu

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Vultron: catching vulnerable smart contracts once and for all.

Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Superion: grammar-aware greybox fuzzing.

Junjie Wang, Bihuan Chen, Lei Wei, Yang Liu

Proceedings of the 41st International Conference on Software Engineering, 2019

A large-scale empirical study on industrial fake apps.

Chongbin Tang, Sen Chen, Lingling Fan, Lihua Xu, Yang Liu, Zhushou Tang, Liang Dou

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

Leopard: identifying vulnerable code for vulnerability assessment through program metrics.

Xiaoning Du, Bihuan Chen, Yuekang Li, Jianmin Guo, Yaqin Zhou, Yang Liu, Yu Jiang

Proceedings of the 41st International Conference on Software Engineering, 2019

StoryDroid: automated generation of storyboard for Android apps.

Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu, Lihua Xu

Proceedings of the 41st International Conference on Software Engineering, 2019

A Performance-Sensitive Malware Detection System on Mobile Platform.

Ruitao Feng, Yang Liu, Shangwei Lin

Proceedings of the Formal Methods and Software Engineering, 2019

Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems.

Yang Liu, Lei Ma, Jianjun Zhao

Proceedings of the Formal Methods and Software Engineering, 2019

Safe Inputs Approximation for Black-Box Systems.

Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

A Formally Verified Buddy Memory Allocation Model.

Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform.

Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu, Shang-Wei Lin

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

The Seventh Visual Object Tracking VOT2019 Challenge Results.

Matej Kristan, Amanda Berg, Linyu Zheng, Litu Rout, Luc Van Gool, Luca Bertinetto, Martin Danelljan, Matteo Dunnhofer, Meng Ni, Min Young Kim, Ming Tang, Ming-Hsuan Yang, Abdelrahman Eldesokey, Naveen Paluru, Niki Martinel, Pengfei Xu, Pengfei Zhang, Pengkun Zheng, Pengyu Zhang, Philip H. S. Torr, Qi Zhang, Qiang Wang, Qing Guo, Radu Timofte, Jani Käpylä, Rama Krishna Sai Subrahmanyam Gorthi, Richard M. Everson, Ruize Han, Ruohan Zhang, Shan You, Shao-Chuan Zhao, Shengwei Zhao, Shihu Li, Shikun Li, Shiming Ge, Gustavo Fernández, Shuai Bai, Shuosen Guan, Tengfei Xing, Tianyang Xu, Tianyu Yang, Ting Zhang, Tomás Vojír, Wei Feng, Weiming Hu, Weizhao Wang, Abel Gonzalez-Garcia, Wenjie Tang, Wenjun Zeng, Wenyu Liu, Xi Chen, Xi Qiu, Xiang Bai, Xiao-Jun Wu, Xiaoyun Yang, Xier Chen, Xin Li, Alireza Memarmoghadam, Xing Sun, Xingyu Chen, Xinmei Tian, Xu Tang, Xuefeng Zhu, Yan Huang, Yanan Chen, Yanchao Lian, Yang Gu, Yang Liu, Andong Lu, Yanjie Chen, Yi Zhang, Yinda Xu, Yingming Wang, Yingping Li, Yu Zhou, Yuan Dong, Yufei Xu, Yunhua Zhang, Yunkun Li, Anfeng He, Zeyu Wang, Zhao Luo, Zhaoliang Zhang, Zhen-Hua Feng, Zhenyu He, Zhichao Song, Zhihao Chen, Zhipeng Zhang, Zhirong Wu, Zhiwei Xiong, Zhongjian Huang, Anton Varfolomieiev, Zhu Teng, Zihan Ni, Antoni B. Chan, Jirí Matas, Ardhendu Shekhar Tripathi, Arnold W. M. Smeulders, Bala Suraj Pedasingu, Bao Xin Chen, Baopeng Zhang, Baoyuan Wu, Bi Li, Bin He, Bin Yan, Bing Bai, Ales Leonardis, Bing Li, Bo Li, Byeong Hak Kim, Chao Ma, Chen Fang, Chen Qian, Cheng Chen, Chenglong Li, Chengquan Zhang, Chi-Yi Tsai, Michael Felsberg, Chong Luo, Christian Micheloni, Chunhui Zhang, Dacheng Tao, Deepak Gupta, Dejia Song, Dong Wang, Efstratios Gavves, Eunu Yi, Fahad Shahbaz Khan, Roman P. Pflugfelder, Fangyi Zhang, Fei Wang, Fei Zhao, George De Ath, Goutam Bhat, Guangqi Chen, Guangting Wang, Guoxuan Li, Hakan Cevikalp, Hao Du, Joni-Kristian Kämäräinen, Haojie Zhao, Hasan Saribas, Ho Min Jung, Hongliang Bai, Hongyuan Yu, Houwen Peng, Huchuan Lu, Hui Li, Jiakun Li, Luka Cehovin Zajc, Jianhua Li, Jianlong Fu, Jie Chen, Jie Gao, Jie Zhao, Jin Tang, Jing Li, Jingjing Wu, Jingtuo Liu, Jinqiao Wang, Ondrej Drbohlav, Jinqing Qi, Jinyue Zhang, John K. Tsotsos, Jong Hyuk Lee, Joost van de Weijer, Josef Kittler, Jun Ha Lee, Junfei Zhuang, Kangkai Zhang, Kangkang Wang, Alan Lukezic, Kenan Dai, Lei Chen, Lei Liu, Leida Guo, Li Zhang, Liang Wang, Liangliang Wang, Lichao Zhang, Lijun Wang, Lijun Zhou

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshops, 2019

A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Towards Model Checking Android Applications.

Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser

IEEE Trans. Software Eng., 2018

A Formal Specification and Verification Framework for Timed Security Protocols.

Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong

IEEE Trans. Software Eng., 2018

Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code.

Jakub Breier, Xiaolu Hou, Yang Liu

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018

Fully Automated Differential Fault Analysis on Software Implementations of Cryptographic Algorithms.

Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu

IACR Cryptol. ePrint Arch., 2018

Fault Resilient Encoding Schemes in Software: How Far Can We Go?

Jakub Breier, Xiaolu Hou, Yang Liu

IACR Cryptol. ePrint Arch., 2018

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.

Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin

Formal Aspects Comput., 2018

A multi-view context-aware approach to Android malware detection and malicious code localization.

Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu

Empir. Softw. Eng., 2018

DroidEcho: an in-depth dissection of malicious behaviors in Android applications.

Guozhu Meng, Ruitao Feng, Guangdong Bai, Kai Chen, Yang Liu

Cybersecur., 2018

DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems.

Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Jianjun Zhao, Yang Liu

CoRR, 2018

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms.

Qianyu Guo, Xiaofei Xie, Lei Ma, Qiang Hu, Ruitao Feng, Li Li, Yang Liu, Jianjun Zhao, Xiaohong Li

CoRR, 2018

An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

CoRR, 2018

Secure Deep Learning Engineering: A Software Quality Assurance Perspective.

Lei Ma, Felix Juefei-Xu, Minhui Xue, Qiang Hu, Sen Chen, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See

CoRR, 2018

Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer.

Alvin Chan, Lei Ma, Felix Juefei-Xu, Xiaofei Xie, Yang Liu, Yew-Soon Ong

CoRR, 2018

Coverage-Guided Fuzzing for Deep Neural Networks.

Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Hongxu Chen, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See

CoRR, 2018

A Validation and Quality Assessment Method with Metamorphic Relations for Unsupervised Machine Learning Software.

Zhiyi Zhang, Xiaoyuan Xie, Tsong Yueh Chen, Yang Liu, Baowen Xu

CoRR, 2018

Combinatorial Testing for Deep Learning Systems.

Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang

CoRR, 2018

AUSERA: Large-Scale Automated Security Risk Assessment of Global Mobile Banking Apps.

Sen Chen, Guozhu Meng, Ting Su, Lingling Fan, Yinxing Xue, Yang Liu, Lihua Xu, Minhui Xue, Bo Li, Shuang Hao

CoRR, 2018

K-Rust: An Executable Formal Semantics for Rust.

Shuanglong Kan, David Sanán, Shang-Wei Lin, Yang Liu

CoRR, 2018

Executable Operational Semantics of Solidity.

Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun

CoRR, 2018

Towards Efficient Data-flow Test Data Generation.

Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su

CoRR, 2018

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.

Lei Ma, Felix Juefei-Xu, Jiyuan Sun, Chunyang Chen, Ting Su, Fuyuan Zhang, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang

CoRR, 2018

ROPSentry: Runtime defense against ROP attacks using hardware performance counters.

Sanjeev Das, Bihuan Chen, Mahinthan Chandramohan, Yang Liu, Wei Zhang

Comput. Secur., 2018

Anti-chain based algorithms for timed/probabilistic refinement checking.

Ting Wang, Tieming Chen, Yang Liu, Ye Wang

Sci. China Inf. Sci., 2018

A distributed approach to robust control of multi-robot systems.

Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding

Autom., 2018

Are mobile banking apps secure? what can be improved?

Sen Chen, Ting Su, Lingling Fan, Guozhu Meng, Minhui Xue, Yang Liu, Lihua Xu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

FOT: a versatile, configurable, extensible fuzzing framework.

Hongxu Chen, Yuekang Li, Bihuan Chen, Yinxing Xue, Yang Liu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

DeepGauge: multi-granularity testing criteria for deep learning systems.

Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Tell them apart: distilling technology differences from crowd-scale comparison discussions.

Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, Yang Liu

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

ClDiff: generating concise linked code differences.

Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, Wenyun Zhao

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Efficiently manifesting asynchronous programming errors in Android apps.

Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

DeepMutation: Mutation Testing of Deep Learning Systems.

Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

DangDone: Eliminating Dangling Pointers via Intermediate Pointers.

Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities.

Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

A Novel System for Fingerprint Orientation Estimation.

Zhenshen Qu, Junyu Liu, Yang Liu, Qiuyu Guan, Ruikun Li, Yuxin Zhang

Proceedings of the Image and Graphics Technologies and Applications, 2018

Automatic Generation of API Documentations for Open-Source Projects.

Xin Peng, Yifan Zhao, Mingwei Liu, Fengyi Zhang, Yang Liu, Xin Wang, Zhenchang Xing

Proceedings of the IEEE Third International Workshop on Dynamic Software Documentation, 2018

Detecting missing checks for identifying insufficient attack protections.

Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Large-scale analysis of framework-specific exceptions in Android apps.

Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su

Proceedings of the 40th International Conference on Software Engineering, 2018

From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation.

Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing, Yang Liu

Proceedings of the 40th International Conference on Software Engineering, 2018

Speedoo: prioritizing performance optimization opportunities.

Zhifei Chen, Bihuan Chen, Lu Xiao, Xiao Wang, Lin Chen, Yang Liu, Baowen Xu

Proceedings of the 40th International Conference on Software Engineering, 2018

Apk2vec: Semi-Supervised Multi-view Representation Learning for Profiling Android Applications.

Annamalai Narayanan, Charlie Soh, Lihui Chen, Yang Liu, Lipo Wang

Proceedings of the IEEE International Conference on Data Mining, 2018

SGXlinger: A New Side-Channel Attack Vector Based on Interrupt Latency Against Enclave Execution.

Wenjian He, Wei Zhang, Sanjeev Das, Yang Liu

Proceedings of the 36th IEEE International Conference on Computer Design, 2018

OrieNet: A Regression System for Latent Fingerprint Orientation Field Extraction.

Zhenshen Qu, Junyu Liu, Yang Liu, Qiuyu Guan, Chunyu Yang, Yuxin Zhang

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

An Original Neural Network for Pulmonary Tuberculosis Diagnosis in Radiographs.

Junyu Liu, Yang Liu, Cheng Wang, Anwei Li, Bowen Meng, Xiangfei Chai, Panli Zuo

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

Compositional Reasoning for Shared-Variable Concurrent Programs.

Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun

Proceedings of the Formal Methods - 22nd International Symposium, 2018

A Permission-Dependent Type System for Secure Information Flow Analysis.

Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

Hawkeye: Towards a Desired Directed Grey-box Fuzzer.

Hongxu Chen, Yinxing Xue, Yuekang Li, Bihuan Chen, Xiaofei Xie, Xiuheng Wu, Yang Liu

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Practical Fault Attack on Deep Neural Networks.

Jakub Breier, Xiaolu Hou, Dirmanto Jap, Lei Ma, Shivam Bhasin, Yang Liu

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach.

Yuan Zhou, Hesuan Hu, Yang Liu, Zuohua Ding

IEEE Trans. Syst. Man Cybern. Syst., 2017

Detecting Bugs of Concurrent Programs With Program Invariants.

Rong Wang, Zuohua Ding, Ning Gui, Yang Liu

IEEE Trans. Reliab., 2017

Battery-Aware Mobile Data Service.

Liang He, Guozhu Meng, Yu Gu, Cong Liu, Jun Sun, Ting Zhu, Yang Liu, Kang G. Shin

IEEE Trans. Mob. Comput., 2017

Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique.

Yinxing Xue, Guozhu Meng, Yang Liu, Tian Huat Tan, Hongxu Chen, Jun Sun, Jie Zhang

IEEE Trans. Inf. Forensics Secur., 2017

Context-Aware, Adaptive, and Scalable Android Malware Detection Through Online Learning.

Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu

IEEE Trans. Emerg. Top. Comput. Intell., 2017

By the Community & For the Community: A Deep Learning Approach to Assist Collaborative Editing in Q&A Sites.

Chunyang Chen, Zhenchang Xing, Yang Liu

Proc. ACM Hum. Comput. Interact., 2017

AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis.

Guozhu Meng, Yinxing Xue, Jing Kai Siow, Ting Su, Annamalai Narayanan, Yang Liu

CoRR, 2017

High-Assurance Separation Kernels: A Survey on Formal Methods.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

CoRR, 2017

graph2vec: Learning Distributed Representations of Graphs.

Annamalai Narayanan, Mahinthan Chandramohan, Rajasekar Venkatesan, Lihui Chen, Yang Liu, Shantanu Jaiswal

CoRR, 2017

Context-aware, Adaptive and Scalable Android Malware Detection through Online Learning (extended version).

Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu

CoRR, 2017

CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.

David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Skyfire: Data-Driven Seed Generation for Fuzzing.

Junjie Wang, Bihuan Chen, Lei Wei, Yang Liu

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

Loopster: static loop termination analysis.

Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, Xiaohong Li

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Guided, stochastic model-based GUI testing of Android apps.

Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Steelix: program-state based binary fuzzing.

Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, Alwen Tiu

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers.

Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Mining implicit design templates for actionable code reuse.

Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, Jin Song Dong

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Proof Tactics for Assertions in Separation Logic.

Zhe Hou, David Sanán, Alwen Tiu, Yang Liu

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

SPAIN: security patch analysis for binaries towards understanding the pain and pills.

Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu, Fu Song

Proceedings of the 39th International Conference on Software Engineering, 2017

Feedback-based debugging.

Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, Jin Song Dong

Proceedings of the 39th International Conference on Software Engineering, 2017

A distributed approach to automated manufacturing systems with complex structures using Petri nets.

Yan Yang, Hesuan Hu, Yang Liu

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Static and dynamic partitions of inequalities and their application in supervisor simplification.

Chen Chen, Hesuan Hu, Yang Liu

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

A Verification Framework for Stateful Security Protocols.

Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2017

No-Jump-into-Basic-Block: Enforce Basic Block CFI on the Fly for Real-world Binaries.

Wenjian He, Sanjeev Das, Wei Zhang, Yang Liu

Proceedings of the 54th Annual Design Automation Conference, 2017

A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets.

Xiaojun Wang, Hesuan Hu, Yuan Zhou, Yang Liu

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets.

Junyao Hou, Hesuan Hu, Yuan Zhou, Yang Liu

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Robust control of automated manufacturing systems with complex structures using Petri Nets.

Nan Du, Hesuan Hu, Yuan Zhou, Yang Liu

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

A Fine-Grained Control Flow Integrity Approach Against Runtime Memory Attacks for Embedded Systems.

Sanjeev Das, Wei Zhang, Yang Liu

IEEE Trans. Very Large Scale Integr. Syst., 2016

Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

IEEE Trans. Ind. Informatics, 2016

Semantics-Based Online Malware Detection: Towards Efficient Real-Time Protection Against Malware.

Sanjeev Das, Yang Liu, Wei Zhang, Mahinthan Chandramohan

IEEE Trans. Inf. Forensics Secur., 2016

Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking.

Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jie Zhang

IEEE Trans. Hum. Mach. Syst., 2016

Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets.

Hesuan Hu, Rong Su, MengChu Zhou, Yang Liu

IEEE Trans. Control. Syst. Technol., 2016

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets.

Hesuan Hu, Yang Liu, Ling Yuan

IEEE Trans. Control. Syst. Technol., 2016

Verifying a quantitative relaxation of linearizability via refinement.

Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang

Int. J. Softw. Tools Technol. Transf., 2016

Formalizing and verifying stochastic system architectures using Monterey Phoenix.

Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen

Softw. Syst. Model., 2016

ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols.

Akin Günay, Yang Liu, Jie Zhang

J. Artif. Intell. Res., 2016

Compositional Reasoning for Shared-variable Concurrent Programs.

Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun

CoRR, 2016

subgraph2vec: Learning Distributed Representations of Rooted Sub-graphs from Large Graphs.

Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu, Santhoshkumar Saminathan

CoRR, 2016

IBED: Combining IBEA and DE for optimal feature selection in software product line engineering.

Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen, Jun Sun

Appl. Soft Comput., 2016

A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor.

Zhe Hou, David Sanán, Alwen Tiu, Yang Liu

Arch. Formal Proofs, 2016

Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Prospective memory aid reminder system design for group tasks.

Jinghua Hou, Chunyan Miao, Yang Liu

Proceedings of the 10th International Conference on Software, 2016

Proteus: computing disjunctive loop summary via path dependency analysis.

Xiaofei Xie, Bihuan Chen, Yang Liu, Wei Le, Xiaohong Li

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

BinGo: cross-architecture cross-OS binary search.

Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu, Chia Yuan Cho, Hee Beng Kuan Tan

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Detecting Bugs of Concurrent Programs with Program Invariants.

Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Semantic modelling of Android malware for effective malware comprehension, detection, and classification.

Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu, Jie Zhang, Annamalai Narayanan

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Online malware defense using attack behavior model.

Sanjeev Das, Hao Xiao, Yang Liu, Wei Zhang

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Contextual Weisfeiler-Lehman graph kernel for malware detection.

Annamalai Narayanan, Guozhu Meng, Yang Liu, Jinliang Liu, Lihui Chen

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

Adaptive and scalable Android malware detection through online learning.

Annamalai Narayanan, Yang Liu, Lihui Chen, Jinliang Liu

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

How to Use Information Theory to Mitigate Unfair Rating Attacks.

Tim Muller, Dongxia Wang, Yang Liu, Jie Zhang

Proceedings of the Trust Management X - 10th IFIP WG 11.11 International Conference, 2016

Limitations on Robust Ratings and Predictions.

Tim Muller, Yang Liu, Jie Zhang

Proceedings of the Trust Management X - 10th IFIP WG 11.11 International Conference, 2016

Optimizing selection of competing services with probabilistic hierarchical refinement.

Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong

Proceedings of the 38th International Conference on Software Engineering, 2016

Generating performance distributions via probabilistic symbolic execution.

Bihuan Chen, Yang Liu, Wei Le

Proceedings of the 38th International Conference on Software Engineering, 2016

Robust control of automated manufacturing systems with assembly operations using petri nets.

Nan Du, Hesuan Hu, Yang Liu

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Scaling BDD-based Timed Verification with Simulation Reduction.

Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2016

Automated Requirements Validation for ATP Software via Specification Review and Testing.

Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong

Proceedings of the Formal Methods and Software Engineering, 2016

Service Adaptation with Probabilistic Partial Models.

Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2016

Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.

Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Prospective memory aid: A reminding model based on Fuzzy Cognitive Maps.

Jinghua Hou, Zhiwei Zeng, Chunyan Miao, Yang Liu

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor.

Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa

Proceedings of the FM 2016: Formal Methods, 2016

Critical stages and their application in large scale automated manufacturing systems via Petri nets.

Hesuan Hu, Yan Yang, Yang Liu, Nan Du

Proceedings of the 15th European Control Conference, 2016

Robust Real-Time Human Perception with Depth Camera.

Guyue Zhang, Luchao Tian, Ye Liu, Jun Liu, Xiang An Liu, Yang Liu, Yan Qiu Chen

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.

Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Mystique: Evolving Android Malware for Auditing Anti-Malware Tools.

Guozhu Meng, Yinxing Xue, Mahinthan Chandramohan, Annamalai Narayanan, Yang Liu, Jie Zhang, Tieming Chen

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

Critical stages and their identification in large scale automated manufacturing systems via Petri nets.

Hesuan Hu, Yan Yang, Yang Liu, Nan Du

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

A Language for Trust Modelling.

Tim Muller, Jie Zhang, Yang Liu

Proceedings of the 18th International Workshop on Trust in Agent Societies co-located with the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), 2016

Is It Harmful When Advisors Only Pretend to Be Honest?

Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.

Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li

IEEE Trans. Software Eng., 2015

Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets.

Hesuan Hu, Yang Liu

IEEE Trans. Ind. Informatics, 2015

Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets.

Hesuan Hu, Yang Liu, Mengchu Zhou

IEEE Trans. Control. Syst. Technol., 2015

Collaborative Security: A Survey and Taxonomy.

Guozhu Meng, Yang Liu, Jie Zhang, Alexander Pokluda, Raouf Boutaba

ACM Comput. Surv., 2015

Automated Agent Behavior Construction for Protocol-Based Multiagent Systems.

Akin Günay, Yang Liu, Jie Zhang, Partha Sarathi Dutta

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Fast Relative-Error Approximation Algorithm for Ridge Regression.

Shouyuan Chen, Yang Liu, Michael R. Lyu, Irwin King, Shengyu Zhang

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking.

Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Event and Strategy Analytics.

Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

TLV: abstraction through testing, learning, and validation.

Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract).

Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Interpolation Guided Compositional Verification (T).

Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Detection and classification of malicious JavaScript via attack behavior modelling.

Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, Mahinthan Chandramohan

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

S-looper: automatic summarization for multipath string loops.

Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, Hongxu Chen

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Optimizing selection of competing features via feedback-directed evolutionary algorithms.

Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Reliability assessment for distributed systems via communication abstraction and refinement.

Lin Gui, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B.

Yongwang Zhao, Zhibin Yang, David Sanán, Yang Liu

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory.

Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

An Adaptive Markov Strategy for Effective Network Intrusion Detection.

Jianye Hao, Yinxing Xue, Mahinthan Chandramohan, Yang Liu, Jun Sun

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets.

Hesuan Hu, Yan Yang, Yang Liu, Chen Chen

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Supervisors and their simplification in automated manufacturing systems via Petri nets.

Hesuan Hu, Chen Chen, Yang Liu, Yan Yang

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

GPU Accelerated On-the-Fly Reachability Checking.

Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code.

David Sanán, Yang Liu, Yongwang Zhao, Zhenchang Xing, Mike Hinchey

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Verifying Parameterized Timed Security Protocols.

Li Li, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the FM 2015: Formal Methods, 2015

Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL.

Xiaoning Du, Yang Liu, Alwen Tiu

Proceedings of the FM 2015: Formal Methods, 2015

JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification.

Junjie Wang, Yinxing Xue, Yang Liu, Tian Huat Tan

Proceedings of the 10th ACM Symposium on Information, 2015

A Petri net-based distributed control of automated manufacturing systems with assembly operations.

Yan Yang, Hesuan Hu, Yang Liu

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Robust supervisor synthesis for automated manufacturing systems using Petri nets.

Yan Cheng, Hesuan Hu, Yang Liu

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Using Information Theory to Improve the Robustness of Trust Systems.

Dongxia Wang, Tim Muller, Athirai Aravazhi Irissappane, Jie Zhang, Yang Liu

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

The Fallacy of Endogenous Discounting of Trust Recommendations.

Tim Muller, Yang Liu, Jie Zhang

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Automated Analysis of Commitment Protocols Using Probabilistic Model Checking.

Akin Günay, Songzheng Song, Yang Liu, Jie Zhang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Learning Assumptions for CompositionalVerification of Timed Systems.

Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong

IEEE Trans. Software Eng., 2014

Towards Formal Modelling and Verification of Pervasive Computing Systems.

Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari

Trans. Comput. Collect. Intell., 2014

Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis.

Hesuan Hu, Yang Liu

IEEE Trans Autom. Sci. Eng., 2014

Parameter synthesis for hierarchical concurrent real-time systems.

Étienne André, Yang Liu, Jun Sun, Jin Song Dong

Real Time Syst., 2014

Practice and Evaluation of Pagelet-Based Client-Side Rendering Mechanism.

Hao Han, Yinxing Xue, Keizo Oyama, Yang Liu

IEICE Trans. Inf. Syst., 2014

Complexity of the Soundness Problem of Workflow Nets.

Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong

Fundam. Informaticae, 2014

Model checking approach to automated planning.

Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun

Formal Methods Syst. Des., 2014

Model checking with fairness assumptions using PAT.

Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang

Frontiers Comput. Sci., 2014

Towards verification of computation orchestration.

Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang

Formal Aspects Comput., 2014

Stateful Security Protocol Verification.

Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong

CoRR, 2014

Automated runtime recovery for QoS-based service composition.

Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 23rd International World Wide Web Conference, 2014

Towards Robust and Effective Trust Management for Security: A Survey.

Dongxia Wang, Tim Muller, Yang Liu, Jie Zhang

Proceedings of the 13th IEEE International Conference on Trust, 2014

Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata.

Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Automatic Verification for Later-Correspondence of Security Protocols.

Xiaofei Xie, Xiaohong Li, Yang Liu, Li Li, Ruitao Feng, Zhiyong Feng

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

RaPiD: a toolkit for reliability analysis of non-deterministic systems.

Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Automatic early defects detection in use case documents.

Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Reconfigurable Dynamic Trusted Platform Module for Control Flow Checking.

Sanjeev Das, Wei Zhang, Yang Liu

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

On Robustness of Trust Systems.

Tim Muller, Yang Liu, Sjouke Mauw, Jie Zhang

Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

Event Analytics.

Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance.

Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, Jin Song Dong

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Detecting differences across multiple instances of code clones.

Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu, Xin Peng, Jun Sun, Wenyun Zhao

Proceedings of the 36th International Conference on Software Engineering, 2014

VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition.

Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 36th International Conference on Software Engineering, 2014

Distributed supervisor synthesis for automated manufacturing systems using Petri nets.

Hesuan Hu, Chen Chen, Rong Su, Yang Liu, MengChu Zhou

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

GPU Accelerated Counterexample Generation in LTL Model Checking.

Zhimin Wu, Yang Liu, Yun Liang, Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2014

TAuth: Verifying Timed Security Protocols.

Li Li, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2014

Practical Analysis Framework for Software-Based Attestation Scheme.

Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2014

SCC-Based Improved Reachability Analysis for Markov Decision Processes.

Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2014

Symbolic Analysis of an Electric Vehicle Charging Protocol.

Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Formal Verification of Operational Transformation.

Yang Liu, Yi Xu, Shao Jie Zhang, Chengzheng Sun

Proceedings of the FM 2014: Formal Methods, 2014

MDP-Based Reliability Analysis of an Ambient Assisted Living System.

Yan Liu, Lin Gui, Yang Liu

Proceedings of the FM 2014: Formal Methods, 2014

TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms.

Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin

Proceedings of the FM 2014: Formal Methods, 2014

Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.

Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis.

Hesuan Hu, Yan Yang, Yang Liu, Chen Chen

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets.

Hesuan Hu, Chen Chen, Yang Liu, Yan Yang

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Towards a Combination of CafeOBJ and PAT.

Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun

Proceedings of the Specification, Algebra, and Software, 2014

PeCAn: Compositional Verification of Petri Nets Made Easy.

Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, Étienne André, Laure Petrucci, Yang Liu

Proceedings of the Automated Technology for Verification and Analysis, 2014

An extensive model checking framework for multi-agent systems.

Songzheng Song, Yang Liu, Jie Zhang, Jun Sun

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Verifying Linearizability via Optimized Refinement Checking.

Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong

IEEE Trans. Software Eng., 2013

Modeling and verifying hierarchical real-time systems using stateful timed CSP.

Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André

ACM Trans. Softw. Eng. Methodol., 2013

State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction.

Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu

Proceedings of the Verification, 2013

USMMC: a self-contained model checker for UML state machines.

Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop.

G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai

Proceedings of the IEEE Ninth World Congress on Services, 2013

AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.

Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Constraint-based automatic symmetry detection.

Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

TzuYu: Learning stateful typestates.

Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, Chengnian Sun

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Automatically partition software into least privilege components using dynamic data dependency analysis.

Yongzheng Wu, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Combining model checking and testing with an application to reliability prediction and distribution.

Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improved Reachability Analysis in DTMC via Divide and Conquer.

Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

A Formal Semantics for Complete UML State Machines with Communications.

Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Message from ESSS 2013 Workshop Co-chairs.

Jun Pang, Yang Liu, Sjouke Mauw

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Dynamic synthesis of local time requirement for service composition.

Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen

Proceedings of the 35th International Conference on Software Engineering, 2013

Build your own model checker in one month.

Jin Song Dong, Jun Sun, Yang Liu

Proceedings of the 35th International Conference on Software Engineering, 2013

Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.

Yuanjie Si, Jun Sun, Yang Liu, Ting Wang

Proceedings of the Formal Methods and Software Engineering, 2013

A UTP Semantics for Communicating Processes with Shared Variables.

Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2013

vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.

Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2013

Verification of Functional and Non-functional Requirements of Web Service Composition.

Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li

Proceedings of the Formal Methods and Software Engineering, 2013

TTM/PAT: Specifying and Verifying Timed Transition Models.

Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems.

Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets.

Hesuan Hu, MengChu Zhou, Yang Liu

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

CELL: A Compositional Verification Framework.

Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen

Proceedings of the Automated Technology for Verification and Analysis, 2013

Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions.

Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Timed Automata.

Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Handbook of Finite State Based Models and Applications., 2012

Formal modeling and validation of Stateflow diagrams.

Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng

Int. J. Softw. Tools Technol. Transf., 2012

SeVe: automatic tool for verification of security protocols.

Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Thanh Tho Quan

Frontiers Comput. Sci. China, 2012

Planning as Model Checking Tasks.

Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.

Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung

Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Analyzing multi-agent systems with probabilistic model checking approach.

Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jin Song Dong

Proceedings of the 34th International Conference on Software Engineering, 2012

More Anti-chain Based Refinement Checking.

Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li

Proceedings of the Formal Methods and Software Engineering, 2012

An Analytical and Experimental Comparison of CSP Extensions and Tools.

Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho

Proceedings of the Formal Methods and Software Engineering, 2012

Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2012

Automatic Generation of Provably Correct Embedded Systems.

Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2012

Formal Analysis of Pervasive Computing Systems.

Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Translating PDDL into CSP# - The PAT Approach.

Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Model Checking Software Architecture Design.

Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Improved BDD-Based Discrete Analysis of Timed Systems.

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu

Proceedings of the FM 2012: Formal Methods, 2012

Automatic Compositional Verification of Timed Systems.

Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André

Proceedings of the FM 2012: Formal Methods, 2012

A Model Checker for Hierarchical Probabilistic Real-Time Systems.

Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Using Monterey Phoenix to Formalize and Verify System Architectures.

Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Complexity of the Soundness Problem of Bounded Workflow Nets.

Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Towards bug-free implementation for wireless sensor networks.

Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

A model checking framework for hierarchical systems.

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers.

Yang Liu, Jun Sun, Jin Song Dong

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Towards a Model Checker for NesC and Wireless Sensor Networks.

Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu

Proceedings of the Formal Methods and Software Engineering, 2011

Differencing Labeled Transition Systems.

Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2011

Verification of Orchestration Systems Using Compositional Partial Order Reduction.

Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2011

PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems.

Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li

Proceedings of the Formal Methods and Software Engineering, 2011

On Combining State Space Reductions with Global Fairness Assumptions.

Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong

Proceedings of the FM 2011: Formal Methods, 2011

An Efficient Algorithm for Learning Event-Recording Automata.

Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.

Xian Zhang, Yang Liu, Mikhail Auguston

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

An Automatic Approach to Model Checking UML State Machines.

Shao Jie Zhang, Yang Liu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Model Checking a Lazy Concurrent List-Based Set Algorithm.

Shao Jie Zhang, Yang Liu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Discovering Anomalies in Semantic Web Rules.

Yuzhang Feng, Yang Liu, Yuan-Fang Li, Daqing Zhang

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Analyzing hierarchical complex real-time systems.

Yang Liu, Jun Sun, Jin Song Dong

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

SpecDiff: debugging formal specifications.

Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the ASE 2010, 2010

Model Checking Hierarchical Probabilistic Systems.

Jun Sun, Songzheng Song, Yang Liu

Proceedings of the Formal Methods and Software Engineering, 2010

Model Checking a Model Checker: A Code Contract Combined Approach.

Jun Sun, Yang Liu, Bin Cheng

Proceedings of the Formal Methods and Software Engineering, 2010

Developing Model Checkers Using PAT.

Yang Liu, Jun Sun, Jin Song Dong

Proceedings of the Automated Technology for Verification and Analysis, 2010

Model-Based Methods for Linking Web Service Choreography and Orchestration.

Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Integrating Specification and Programs for System Modeling and Verification.

Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen

Proceedings of the TASE 2009, 2009

Verification of Population Ring Protocols in PAT.

Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao

Proceedings of the TASE 2009, 2009

Formal Verification of Scalable NonZero Indicators.

Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.

Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2009

Scalable Multi-core Model Checking Fairness Enhanced Systems.

Yang Liu, Jun Sun, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2009

Fair Model Checking with Process Counter Abstraction.

Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong

Proceedings of the FM 2009: Formal Methods, 2009

Model Checking Linearizability via Refinement.

Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun

Proceedings of the FM 2009: Formal Methods, 2009

PAT: Towards Flexible Verification under Fairness.

Jun Sun, Yang Liu, Jin Song Dong, Jun Pang

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Compositional encoding for bounded model checking.

Jun Sun, Yang Liu, Jin Song Dong, Jing Sun

Frontiers Comput. Sci. China, 2008

Bounded Model Checking of Compositional Processes.

Jun Sun, Yang Liu, Jin Song Dong, Jing Sun

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.

Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Leveraging Applications of Formal Methods, 2008

An analyzer for extended compositional process algebras.

Yang Liu, Jun Sun, Jin Song Dong

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Specifying and Verifying Event-Based Fairness Enhanced Systems.

Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang

Proceedings of the Formal Methods and Software Engineering, 2008

2006

Verification of Computation Orchestration Via Timed Automata.

Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Algorithmic Design Using Object-Z for Twig XML Queries Evaluation.

Yang Liu, Jun Sun

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005