计算机学院, 新加坡国立大学 / 博士

2010年8月 – 2015年6月

计算机科学博士，主要研究方向为软件测试与验证技术

伟德国际1946源自英国, 伟德国际1946源自英国 / 学士

2006年9月 – 2010年7月

伟德国际1946源自英国，伟德国际1946源自英国/副教授

2024年1月 – 至今

智能与计算学部, 天津大学 / 副教授

2017年10月 – 2023年12月

信息与通信技术学院, 新加坡理工大学 / 讲师

2016年6月 – 2017年9月

信息系统技术设计学院, 新加坡科技与设计大学/ 博士后

2015年8月 – 2016年5月

信息系统技术设计学院, 新加坡科技与设计大学/ 科研助理

2014年8月 – 2015年7月

复杂系统测试，AI for SE，SE for AI

安卓应用隐私协议的自动解释与展示关键技术研究，61802275， 自科青年项目，主持，2019.01-2021.12

海信云脑自然语言理解关键技术开发，2020GKF-0296，横向课题，主持，2020.05-2020.12

数据库管理系统功能测试关键技术研究，NJ2022027，高安全系统的软件开发与验证技术工业和信息化部重点实验室开放课题，主持，2022.08-2024.07

异常信息缺失情况下的信息物理系统模型异常检测技术研究，2020XRG-0022，天津大学自主创新基金，主持，2019.01-2021.12

并发缺陷的快速检测、定位及高质量补丁自动生成研究，61872263，基金委面上项目，参与，2019.01-2022.12

网络异常行为检测技术及定位方法，U1836214，基金委重点项目，参与，2019.01-2022.12

面向媒体传播的网络安全关键技术研究，A32001，人民网横向项目，参与，2020.11-2022.09

专利：

刘爽, 杨怀伟, 一种隐私政策信息提取方法. 2022.04.19, CN113051607B

刘爽, 陈冠宏, 基于反汇编代码结构和语义特征的恶意软件家族分类方法,2022.11.01, CN 113434858B

陈俊洁, 闫明, 王赞, 刘爽, 张栋迪, 基于有导向模型变异的深度学习库试方法, 2023.04.18, CN 112183749B

发表论文：

2023

Shuang Liu, Shujie Dou, Junjie Chen, Zhirun Zhang and Ye Lu, Differential Testing of Machine Translators based on Compositional Semantics, Transactions on Software Engineering. (CCF A, SCI)

Haoyu Wang, Junjie Chen*, Chunyue Xie, Shuang Liu, Zan Wang, Qingchao Shen, Yingquan Zhao, MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure, 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) (CCF A)

Song Tang, Shuang Liu*, Junjie Wang and Xiangwei Zhang, An Empirical Study on AST-level mutation-based fuzzing techniques for JavaScript Engines, Internetware 2023 (CCF C, EI)

Yu Tu, Shuang Liu* and Qian Sun, DNS tunnelling detection by fusing encoding feature and behavioral feature, Computers and Security (CCF B, SCI)

Gongyao Jiang, Shuang Liu, Meishan Zhang*, Min Zhang, A Pilot Study on Dialogue-Level Dependency Parsing for Chinese, Findings of ACL 2023, (CCF A)

Shuang Liu, Renjie Guo, Baiyang Zhao, Tao Chen, Meishan Zhang*, APPCorp: A corpus for Android privacy policy document structure analysis, Frontiers of Computer Science (FCS 2022).  (CCF B, EI, Q2)

Fan Zhang, Meishan Zhang*, Shuang Liu, Nan Duan, Enhancing RDF Verbalization with Descriptive and Relational Knowledge, Transactions on Asian and Low-Resource Language Information Processing (CCF C)

Haoyu Wang, Zan Wang, Shuang Liu*, Jun Sun, Yingquan Zhao, Yan Wan, Tai D. Nguyen, sFuzz2.0: Storage-access pattern guided smart contract fuzzing, Journal of Software: Evolution and Process (CCF B, EI)

Junjie Wang, Zhiyi Zhang, Shuang Liu*, Xiaoning Du, Junjie Chen, FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler, 32th USENIX Security Symposium (USENIX 2023) (CCF A)

Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong, Formalizing UML State Machines for Automated Verification – A Survey, ACM Computing Surveys (CCF A, SCI)

Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu, A Survey on Automated Driving System Testing: Landscapes and Trends, Transactions on Software Evolution and Engineering Management (TOSEM) (CCF A, SCI)

Hanmo You, Zan Wang, Junjie Chen, Shuang Liu, Shuochuan Li, DRFuzz: A Regression Fuzzing Framework for Deep Learning Systems, 45th International Conference on Software Engineering (ICSE 2023) (CCF A)

2022

Qingchao Shen, Junjie Chen, Jie M Zhang, Haoyu Wang, Shuang Liu, Menghan Tian, Natural Test Generation for Precise Testing of Question Answering Software, 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022) (CCF A)

Gongyao Jiang, Shuang Liu, Meishan Zhang, Yu Zhao, Yueheng Sun, Fake news detection via knowledgeable prompt learning, Information Processing & Management 56(5). (CCF B, SCI)

Yingquan Zhao, Zan Wang, Shuang Liu*, Jun Sun, Junjie Chen and Xiang Chen, Achieving High MAP-Coverage through Pattern Constraint Reduction, Transactions on Software Engineering. (CCF A, EI, Q1)

冷林珊，刘爽*，田承霖，窦淑洁，王赞，张梅山，预训练增强的代码克隆检测技术，软件学报 33(5). (CCF 中文T1, EI, 核心期刊)

Guanhong Chen, Shuang Liu*, Reducing Malware labeling Efforts Through Efficient Prototype Selection, 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS). (CCF C)

2021

Yoriyuki Yamagata; Shuang Liu*; Takumi Akazaki; Yihai Duan; Jianye Hao, Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning, IEEE Transactions on Software Engineering (TSE 2021). (CCF A, SCI)

Shuang Liu, Baiyang Zhao, Renjie Guo, Guozhu Meng, Fan Zhang, Meishan Zhang*, Have You been Properly Notified? Automatic Compliance Analysis of Privacy Policy Text with GDPR Article 13, In. The 30th The Web Conference (WWW 2021). (CCF A)

Shaohua Zhang, Shuang Liu*, Jun Sun, Yuqi Chen, Wenzhi Huang, Jinyi Liu, Jian Liu, Jianye Hao, FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021). (CCF A)

Yixuan Ma, Shuang Liu*, Jiajun Jiang, Guanhong Chen, Keqiu Li, A comprehensive study on learning-based PE malware family classification methods, Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021). (CCF A)

朱向雷， 王海弛， 尤翰墨， 张蔚珩， 张颖异， 刘爽， 陈俊洁*， 王赞， 李克秋, 自动驾驶智能系统测试研究综述, 软件学报 32 (7), 2056-2077. (CCF 中文T1, SCI)

Yanzhou Mu, Zan Wang, Shuang Liu*, and Xiang Chen, HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing, The 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021). (CCF C)

2020

Haozhen Zhang, Wei Zhao, Shuang Liu*, SE-ECGNet: A Multi-scale Deep Residual Network with Squeeze-and-Excitation Module for ECG Signal Classification, 2020 IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2020). (CCF B)

Zan Wang, Ming Yan, Junjie Chen*, Shuang Liu, Dongdi Zhang, Deep learning library testing via effective model generation, Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021). (CCF A)

Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao*, Jun Sun, Junjie Chen, What Makes Open Source Software Projects Impactful: A Data-Driven Approach, 12th Asia-Pacific Symposium on Internetware (Internetware 2020) (CCF C).

Zan Wang, Haichi Wang, Shuang Liu*, Jun Sun, Haoyu Wang, Junjie Chen, IFIX: Fixing Concurrency Bugs While They Are Introduced, 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). (CCF C)

Yizhen Dong, Peixin Zhang, Jingyi Wang*, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang*, Li Wang, Jinsong Dong, Ting Dai, An empirical study on correlation between coverage and robustness for deep neural networks, 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). (CCF C)

Haichi Wang, Zan Wang, Jun Sun, Shuang Liu*, Ayesha Sadiq, Yuan-Fang Li, Towards generating thread-safe classes automatically, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020). (CCF A)

Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song, Automated synthesis of local time requirement for service composition, Software and Systems Modeling (SSM 2020). (CCF B, SCI)

王赞， 闫明， 刘爽*， 陈俊洁， 张栋迪， 吴卓， 陈翔, 深度神经网络测试研究综述, 软件学报31(5), 1255-1275.  (CCF 中文T1, SCI)

2019

Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu, Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software, In 2019 26th Asia-Pacific Software Engineering Conference (APSEC 2019). (CCF C)

Zan Wang, Yingquan Zhao, Shuang Liu*, Jun Sun, Xiang Chen, Huarui Lin, MAP-Coverage: a Novel Coverage Criteria for Testing Thread-Safe Classes, In Proceedings of the 34rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2019). (CCF A)

Yi Gao, Zan Wang, Shuang Liu*, Lin Yang, Wei Sang, Yuanfang Cai, TECCD: A Tree Embedding Approach for Code Clone Detection. The International Conference on Software Maintenance and Evolution (ICSME 2019). (CCF B)

Zan Wang, Dongdi Zhang, Shuang Liu*, Jun Sun, Yingquan Zhao, Adaptive Randomized Scheduling for Concurrency Bug Detection. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). (CCF C)

Xianglei Zhu, Bofeng Fu, Yaodong Yang, Yu Ma, Jianye Hao*, Siqi Chen, Shuang Liu, Tiegang Li, Sen Liu, Weiming Guo, Zhenyu Liao, Attention-based recurrent neural network for influenza epidemic prediction. (2019). BMC bioinformatics, 20(18), 1-10. (CCF B, SCI)

Weichao Wang, Zhaopeng Meng, Zan Wang*, Shuang Liu, Jianye Hao, LoopFix: An Approach to Automatic Repair of Buggy Loops. Journal of Systems and Software (JSS), Volume 156, 100-112. (CCF B, SCI)

2018 and Before

Huarui Lin, Zan Wang, Shuang Liu*, Jun Sun, Dongdi Zhang, Guangning Wei, PFix: fixing concurrency bugs based on memory access patterns. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018). (CCF A)

Bofeng Fu, Yaodong Yang, Yu Ma, Jianye Hao, Siqi Chen, Shuang Liu, Tiegang Li, Zhenyu Liao, Xianglei Zhu, Attention-based recurrent multi-channel neural network for influenza epidemic prediction, 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2018). (CCF B)

Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata,Yihai Duan and Jianye Hao, Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. In International Symposium on Formal Methods (FM 2018). (CCF A)

Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong, Towards solving decision making problems using probabilistic model checking. In 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017). (CCF C)

Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun, JSFox: Integrating Static and Dynamic Type Analysis of JavaScript Programs, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C 2017). (CCF A)

Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang, Improving Quality of Use Case Documents through Learning and User Interaction, 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016). (CCF C)

Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong, Towards Using Concurrent Java API Correctly, 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016). (CCF C)

Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang, Automatic Early Defects Detection in Use Case Documents, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (ASE 2014). (CCF A)

Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong, USMMC: A Self-Contained Model Checker for UML State Machines, The 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) . (CCF A)

Shuang Liu, Yang Liu, Etienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong, A Formal Semantics for the Complete Syntax of UML State Machines with Communications., The 10th International Conference on integrated Formal Methods (iFM 2013).

会议组织

ICPADS 2019 出版主席

ACCC 2022 技术委员会主席

ACCC 2023 程序委员会主席

国际会议程序委员会成员

ICECCS 2018, ICECCS 2019, ICFEM 2019, SETTA 2019, ICECCS 2020, ICECCS 2022， ASE Student Research Competition 2022, ICSE 2023 CORE，SETTA 2023

●CCF 原型系统竞赛奖(SANER 2022)，获奖系统：Natural Test Generation for Precise Testing of Question Answering Software，作者 Qingchao Shen, Junjie Chen, Jie M Zhang, Haoyu Wang, Shuang Liu, Menghan Tian

● 天津大学本科毕业设计优秀指导教师，2021

● 天津大学沈志康奖教金, 2021.

● ACM SIGSOFT 杰出论文奖 (ESEC/FSE 2020)，获奖论文：Deep Learning Library Testing via Effective Model Generation，作者： Zan Wang, Ming Yan, Junjie Chen, Shuang Liu and Dongdi Zhang

● CCF 最佳展览奖  (SANER 2020) 获奖论文： A survey for Testing Deep Neural Networks，作者： Zan Wang, Ming Yan, Shuang Liu, Junjie Chen, Dongdi Zhang and Xiang Chen

● CCF 原型系统竞赛奖（SANER 2020） 获奖系统： MAPTest: An Automatic Platform for Testing Java Thread-Safe Classes based on MAP-Coverage，作者：Zan Wang, Yingquan Zhao, Shuang Liu ,Jun Sun and Huarui Lin

● ACM TOSEM 杰出审稿人, 2017-2018

● ACM TOSEM杰出审稿人, 2015-2016  

● 新加坡国立大学奖学金, 2010-2014

● 国家奖学金, 2009

● 国家奖学金, 2008