Shuang Liu 刘爽

• Publication Chair

  ICPADS 2019; NDBC 2026

• Program Committee Member

  ICECCS 2018, ICECCS 2019, ICFEM 2019, SETTA 2019, ICECCS 2020, ICECCS 2022, ASE Student Research Competition 2022, ICSE 2023 CORE, SETTA 2023, Internetware 2026, SETTA 2026, and ICDE 2026

• Project Advisor, OpenTeleDB Database Open-Source Community Advisory Board 2025 - 2026
• Reviewer of the following journals: TOSEM, ISSE, Computing and Informatics, Journal of Systems and Software

• Reviewer of the following conferences: ICSE, TASE, ICFEM, APSEC, SEFM, ISORC, FTSCS, ACM SAC, ACOMP, SVT, CAI

• Testing Methods for Silent Bugs in NewSQL Databases January 2025 - December 2028

  National Natural Science Foundation of China General Program · Principal Investigator

• Trusted Verification for SGX-based Cloud-Native HTAP Databases September 2024 - August 2025

  CCF-Ant Research Fund · Principal Investigator

• Key Technologies for Material-Data Aggregation, Integration, and Visualization July 2025 - June 2028

  National Science and Technology Major Project, subproject · Principal Investigator

• Transaction Dependency Graph-based OLTP Database Testing September 2024 - August 2027

  Renmin University of China Research Fund · Principal Investigator

• Adaptive Storage-Scheme Selection for Cloud-Native HTAP Databases December 2025 - December 2026

  Tencent Cloud · Principal Investigator

• Automatic Interpretation and Presentation of Android Privacy Policies January 2019 - December 2021

  National Natural Science Foundation of China Youth Program · Principal Investigator

• Key Technologies for Natural-Language Understanding in Hisense Cloud Brain May 2020 - December 2020

  Industry-sponsored project · Principal Investigator

• Model Anomaly Detection for Cyber-Physical Systems with Missing Anomaly Information January 2019 - December 2021

  Tianjin University Independent Innovation Fund · Principal Investigator

• Key Technologies for Functional Testing of Database Management Systems August 2022 - July 2024

  Open Project of the Key Laboratory of High-Confidence Software Technologies · Principal Investigator

• 刘爽，窦淑洁

  一种基于组合语义的机器翻译软件缺陷检测方法

• 刘爽，冷林珊，田承霖2024.05.07 · CN113986345B

  一种预训练增强的代码克隆检测方法

• 刘爽，涂钰2024.04.30 · CN11563087B

  一种基于编码特征与统计行为特征融合的 DNS 隧道检测方法

• 刘爽，杨怀伟2022.04.19 · CN113051607B

  一种隐私政策信息提取方法

• 刘爽，陈冠宏2022.11.01 · CN113434858B

  基于反汇编代码结构和语义特征的恶意软件家族分类方法

• 陈俊洁，闫明，王赞，刘爽，张栋迪2023.04.18 · CN112183749B

  基于有导向模型变异的深度学习库测试方法

• 沐燕舟，王赞，刘爽2022.05.17 · CN113468047B

  基于启发式规则的并发式自适应随机测试方法

• Outstanding Advisor Award, National Student Computer System Capability Competition — Compiler Design Track2025
• Wu Yuzhang Young Scholar, Renmin University of China2024
• CCF Prototype System Competition Award (SANER 2022)2022

  Natural Test Generation for Precise Testing of Question Answering Software

• Outstanding Undergraduate Thesis Advisor, Tianjin University2021
• Shen Zhikang Teaching Award, Tianjin University2021
• Outstanding Reviewer, Journal of Software2020
• ACM SigSoft Distinguish Paper Award 2020

  ACM

• MAPTest: An Automatic Platform for Testing Java Thread-Safe Classes based on MAP-Coverage.First Prize of Prototype Competition 2019.11.24

  China Computer Federation

• Second Prize of Best Exhibition Award 2019.11.24

  China Computer Federation

• ACM TOSEM Distinguished Referee 2017 - 2018

  ACM TOSEM Outstanding Jury

• ACM TOSEM Distinguished Referee 2015 - 2016

  ACM TOSEM Outstanding Jury

• National University of Singapore Scholarship2010 - 2014
• National Scholarship2009
• National Scholarship2008

• [ICSE 2026] DBcover: A White-box SQL Test Generation Framework for Coverage Improvement [pdf] (CCF-A)

  Yankai Rong, Shuang Liu*, Jinhao Dong, Qiang Yin, Wei Lu, Jianhua Wang, and Xiaoyong Du

• [ICDE 2026] Doux: Decoupling Values from Keys for Real-Time Analytics [link] (CCF-A)

  Shiming Yang, Yu Luo, Shuang Liu*, Wei Lu, Kuien Liu, Yuxing Chen, Anqun Pan, Lixiong Zheng, and Xiaoyong Du

• [ASE 2026] DBRepro: Automated Database Synthesis via a Hybrid Constraint-Solving Approach for Reproducing Slow Queries [pdf] (CCF-A)

  Zhaoyang Zhang, Shuang Liu*, Dengfeng Xu, Wei Lu, Jianquan Leng, Sheng Du, and Xiaoyong Du

• [ICDE 2026] DBdoctor: A Fine-grained and Non-intrusive Performance Diagnosis Platform for Databases [link] (CCF-A)

  Xinyue Shi, Quanqi Xin, Zhengjin Wang, Xinyi Zhang, Haoqiong Bian, Wei Lu, Qiyu Zhuang, Shuang Liu, Jikuan Zhang, Xiang Zheng, Yunpeng Chai, and Xiaoyong Du

• [ESEC/FSE 2025] De-duplicating Silent Compiler Bugs via Deep Semantic Representation [paper] (CCF-A)

  Junjie Chen, Xingyu Fan, Chen Yang, Shuang Liu, and Jun Sun

• [PVLDB 2025] TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection [pdf] (CCF-A)

  Qiyu Zhuang, Wei Lu, Shuang Liu, Yuxing Chen, Xinyue Shi, Zhanhao Zhao, Yipeng Sun, Anqun Pan, and Xiaoyong Du

• [PVLDB 2025] Chimera: Mitigating Ownership Transfers in Multi-Primary Shared-Storage Cloud-Native Databases [pdf] (CCF-A)

  Chunyue Huang, Shuang Liu, Xinyi Zhang, Wenhao Li, Wei Lu, and Xiaoyong Du

• [ICDE 2025] GeoTP: Latency-aware Geo-Distributed Transaction Processing in Database Middlewares [pdf] (CCF-A)

  Qiyu Zhuang, Xinyue Shi, Shuang Liu, Wei Lu, Zhanhao Zhao, Yuxing Chen, Tong Li, Anqun Pan, and Xiaoyong Du

• [PVLDB’25] Semantic Conformance Testing of Relational DBMS . [pdf] (CCF-A)

  Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang and Xiaoyong Du

  In.  The 51st International Conference on Very Large Data Bases

• [ISSTA’24] Testing Graph Databases with Graph-State Persistence Oracle . [pdf] (CCF-A)

  Shuang Liu, Junhao Lan, Xiaoning Du, Jiyuan Li, Wei Lu, Jiajun Jiang and Xiaoyong Du

  In.  The 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis

• [ISSTA’24] Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis . [pdf] (CCF-A)

  Chenyao Suo, Junjie Chen, Shuang Liu, Jiajun Jiang, Yingquan Zhao, Jianrong Wang

  In.  The 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis

• [USENIX’23] FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler . [pdf] (CCF-A)

  Junjie Wang, Zhiyi Zhang, Shuang Liu*, Xiaoning Du, Junjie Chen

  In. 32th USENIX Security Symposium (USENIX 2023)

• [ICSE’23] DRFuzz: A Regression Fuzzing Framework for Deep Learning Systems . [pdf] (CCF-A)

  Hanmo You, Zan Wang, Junjie Chen, Shuang Liu, Shuochuan Li

  In. 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE 2023)

• [ASE’23] MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure . [pdf] (CCF-A)

  Haoyu Wang, Junjie Chen*, Chunyue Xie, Shuang Liu, Zan Wang, Qingchao Shen, Yingquan Zhao

  In. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)

• [Findings of ACL’23] A Pilot Study on Dialogue-Level Dependency Parsing for Chinese . [pdf] (CCF-A)

  Gongyao Jiang, Shuang Liu, Meishan Zhang*, Min Zhang

  In. Findings of ACL 2023

• [Internetware '23] An Empirical Study on AST-level mutation-based fuzzing techniques for JavaScript Engines . [pdf] (CCF-C)

  Song Tang, Shuang Liu*, Junjie Wang, Xiangwei Zhang

  In. Internetware '23: Proceedings of the 14th Asia-Pacific Symposium on InternetwareAugust 2023Pages 216–226.

• [ICECCS’22] Reducing Malware labeling Efforts Through Efficient Prototype Selection . [pdf] (CCF-C)

  Guanhong Chen, Shuang Liu*

  In.  2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (pp.17-22)

• [ASE'22] Natural test generation for precise testing of question answering software . [pdf] (CCF-A)

  Qingchao Shen, Junjie Chen, Jie M Zhang, Haoyu Wang, Shuang Liu, Menghan Tian

  In. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (pp. 1-12)

• [WWW'21] Have You been Properly Notified? Automatic Compliance Analysis of Privacy Policy Text with GDPR Article 13 . [pdf] (CCF-A)

  Shuang Liu, Baiyang Zhao, Renjie Guo, Guozhu Meng, Fan Zhang, Meishan Zhang*

  In. The 30th The Web Conference (WWW 2021). pp2154-2164.

• [FSE'21] A comprehensive study on learning-based PE malware family classification methods . [pdf] (CCF-A)

  Yixuan Ma, Shuang Liu*, Jiajun Jiang, Guanhong Chen, Keqiu Li

  In. Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021) (pp. 1314-1325)

• [ASE’21] FIGCPS: Effective failure-inducing input generation for cyber-physical systems with deep reinforcement learning . [pdf] (CCF-A)

  Shaohua Zhang, Shuang Liu*, Jun Sun, Yuqi Chen, Wenzhi Huang, Jinyi Liu, Jian Liu, Jianye Hao

  In. 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 555-567)

• [QRS’21] HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing . [pdf] (CCF-C)

  Yanzhou Mu, Zan Wang, Shuang Liu*, and Xiang Chen

  In. The 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021)

• [Internetware '20] What Makes Open Source Software Projects Impactful: A Data-Driven Approach . [pdf] (CCF-C)

  Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao*, Jun Sun, Junjie Chen

  In. Internetware '20: Proceedings of the 12th Asia-Pacific Symposium on InternetwareNovember 2020Pages 126–135

• [ICECCS '20] IFIX: fixing concurrency bugs while they are introduced . [pdf] (CCF-C)

  Zan Wang, Haichi Wang, Shuang Liu*, Jun Sun, Haoyu Wang, Junjie Chen

  In.  2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 2020, pp. 155-164

• [ICECCS '20] An empirical study on correlation between coverage and robustness for deep neural networks . [pdf] (CCF-C)

  Yizhen Dong, Peixin Zhang, Jingyi Wang*, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang*, Li Wang, Jinsong Dong, Ting Dai

  In.  2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 2020, pp. 73-82

• [FSE '21] Deep learning library testing via effective model generation . [pdf] (CCF-A)

  Zan Wang, Ming Yan, Junjie Chen*, Shuang Liu, Dongdi Zhang

  In. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringNovember 2020Pages 788–799

• [ASE’20] Towards generating thread-safe classes automatically . [pdf] (CCF-A)

  Haichi Wang, Zan Wang, Jun Sun, Shuang Liu*, Ayesha Sadiq, Yuan-Fang Li

  In.  2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE): Virtual, September 21-25: Proceedings. 943-955.

• [BIBM '20] SE-ECGNet: A multi-scale deep residual network with squeeze-and-excitation module for ECG signal classification . [pdf] (CCF-B)

  Haozhen Zhang, Wei Zhao, Shuang Liu*

  In. 2020 IEEE International Conference on Bioinformatics and Biomedicine (pp. 2685-2691)

• [FSE'20] Deep Learning Library Testing via Effective Model Generation. (CCF-A)

  Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, Dongdi Zhang

  In. The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering , November 8-13, 2020, pages to appear, Sacramento, California, United States

  🏆 ACM SIGSOFT Distinguished Paper Award

• [ICECCS'20] iFix: Fixing Concurrency Bugs While They Are Introduced. (CCF-C)

  Zan Wang, Haichi Wang, Shuang Liu*, Jun Sun, Haoyu Wang, Junjie Chen

  In. The 25th International Conference on Engineering of Complex Computer Systems, October 28-31, 2020, pages to appear, Singapore

• [ICECCS'20] An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. (CCF-C)

  Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong and Ting Dai

  In. The 25th International Conference on Engineering of Complex Computer Systems, October 28-31, 2020, pages to appear, Singapore

• [APSEC'19] Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software . [pdf] (CCF-C)

  Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu

  In. The 26th Asia-Pacific Software Engineering Conference (APSEC) (pp. 331-338). IEEE

• [ICECCS'19] Adaptive randomized scheduling for concurrency bug detection . [pdf] (CCF-C)

  Zan Wang, Dongdi Zhang, Shuang Liu*, Jun Sun, Yingquan Zhao

  In.2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019, pp. 124-133

• [ICECCS'20] An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks . [pdf] (CCF-C)

  Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jinsong Dong, Dai Ting

  In 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 2020, pp. 73-82

• [ASE'19] MAP-Coverage: a Novel Coverage Criteria for Testing Thread-Safe Classes . [pdf] (CCF-A)

  Zan Wang, Yingquan Zhao, Shuang Liu*, Jun Sun, Xiang Chen, Huarui Lin

  In. The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 722-734). IEEE

• [ICECCS'19] Adaptive Randomized Scheduling for Concurrency Bug Detection . [pdf] (CCF-C)

  Zan Wang, Dongdi Zhang, Shuang Liu*, Jun Sun, Yingquan Zhao

  In. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 124-133). IEEE

• [ICSME'19] TECCD: A Tree Embedding Approach for Code Clone Detection . [pdf] (CCF-B)

  Yi Gao, Zan Wang, Shuang Liu*, Lin Yang, Wei Sang, Yuanfang Cai

  In. 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME) (pp. 145-156). IEEE

• [APSEC'19] Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software . [pdf] (CCF-C)

  Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu

  In.  2019 26th Asia-Pacific Software Engineering Conference (APSEC), Putrajaya, Malaysia, 2019, pp. 331-338

• [BIBM'18] Attention-Based Recurrent Multi-Channel Neural Network for Influenza Epidemic Prediction . [pdf] (CCF-B)

  Bofeng Fu, Yaodong Yang, Yu Ma, Jianye Hao, Siqi Chen, Shuang Liu, Tiegang Li, Zhenyu Liao, Xianglei Zhu

  In. 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) (pp. 1245-1248). IEEE

• [ASE'18] PFix: fixing concurrency bugs based on memory access patterns . [pdf] (CCF-A)

  Huarui Lin, Zan Wang, Shuang Liu*, Jun Sun, Dongdi Zhang, Guangning Wei

  In. The 33rd ACM/IEEE International Conference on Automated Software Engineering (pp. 589-600)

• [FM'18] Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning . [pdf] (CCF-A)

  Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata,Yihai Duan and Jianye Hao

  In. The International Symposium on Formal Methods (pp. 456-465). Springer, Cham

• [ICECCS'17] Towards solving decision making problems using probabilistic model checking . [pdf] (CCF-C)

  Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong

  In. The 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 150-153). IEEE

• [ICSE'17] JSFox: Integrating Static and Dynamic Type Analysis of JavaScript Programs . [pdf] (CCF-A)

  Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun

  In. 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) (pp. 256-258). IEEE

• [ICECCS'16] Improving Quality of Use Case Documents through Learning and User Interaction . [pdf] (CCF-C)

  Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang

  In. 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 101-110). IEEE

• [ICECCS'16] Towards Using Concurrent Java API Correctly . [pdf] (CCF-C)

  Shuang Liu, Guangdong Bai, Jun Sun, Jinsong Dong

  In. 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 219-222). IEEE

• [ASE'14] Automatic Early Defects Detection in Use Case Documents . [pdf] (CCF-A)

  Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang

  In. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (pp.785-790)

• [FSE'13] USMMC: A Self-Contained Model Checker for UML State Machines . [pdf] (CCF-A)

  Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong

  In. Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (pp. 623-626)

• [IFM'13] A Formal Semantics for the Complete Syntax of UML State Machines with Communications . [pdf]

  Shuang Liu, Yang Liu, Etienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong

  In. International Conference on Integrated Formal Methods (pp. 331-346). Springer, Berlin, Heidelberg

• [Automated Software Engineering 2026] ByteEye: A Smart Contract Vulnerability Detection Framework at Bytecode Level with Graph Neural Networks [open access] (CCF-B)

  Jinni Yang, Shuang Liu*, Surong Dai, Yaozheng Fang, Kunpeng Xie, and Ye Lu*

• [TSE 2025] A Comprehensive Study of Bugs in Relational DBMS [doi] (CCF-A)

  Shuang Liu, Ruifeng Wang, Yuanfeng Xie, Junjie Chen, Wei Lu, Xiao Zhang*, Quanqing Xu, Chuanhui Yang, and Xiaoyong Du

• [TVCG 2025] PolyGraph: A Graph-based Method for Floorplan Reconstruction from 3D Scans [doi] (CCF-A)

  Qian Sun, Chenrong Fang, Shuang Liu, Yidan Sun, Yu Shang, and Ying He

• [TSE 2025] Mitigating Regression Faults Induced by Feature Evolution in Deep Learning Systems [pdf] (CCF-A)

  Hanmo You, Zan Wang, Xuyang Chen, Junjie Chen, Jun Sun, Shuang Liu, and Zishuo Dong

• [The VLDB Journal 2025] An Efficient and Scalable Graph Database with Built-in Temporal Support [doi] (CCF-A)

  Jiamin Hou, Zhanhao Zhao, Wei Lu, Shiming Yang, Shuang Liu, Quanqing Xu, Chuanhui Yang, and Xiaoyong Du

• [Computational Linguistics 2024] LLM-assisted Data Augmentation for Chinese Dialogue-level Dependency Parsing [pdf] (CCF-A)

  Meishan Zhang, Gongyao Jiang, Shuang Liu, Jing Chen, and Min Zhang

• [TSE'23] Differential Testing of Machine Translators based on Compositional Semantics . [pdf] (CCF-A)

  Shuang Liu, Shujie Dou, Junjie Chen, Zhirun Zhang and Ye Lu

  In. IEEE Transactions on Software Engineering ( Volume: 49, Issue: 12, December 2023) pp5046 - 5059.

• [FCS'23] APPCorp: A corpus for Android privacy policy document structure analysis . [pdf] (CCF-B)

  Shuang Liu, Renjie Guo, Baiyang Zhao, Tao Chen, Meishan Zhang*

  In. Front. Comput. Sci. 17, 173320 (2023).

• [Computers and Security '23] DNS tunnelling detection by fusing encoding feature and behavioral feature . [pdf] (CCF-B)

  Yu Tu, Shuang Liu* and Qian Sun

  In. Computers & Security Volume 132, September 2023, 103357.

• [TOSEM'23] A Survey on Automated Driving System Testing: Landscapes and Trends . [pdf] (CCF-A)

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

  In. ACM Transactions on Software Engineering and MethodologyVolume 32Issue 5Article No.: 124pp 1–62

• [TALLIP'23] Enhancing RDF Verbalization with Descriptive and Relational Knowledge . [pdf] (CCF-C)

  Fan Zhang, Meishan Zhang*, Shuang Liu, Nan Duan

  In. ACM Transactions on Asian and Low-Resource Language Information ProcessingVolume 22Issue 6Article No.: 174pp 1–18.

• [Journal of Software: Evolution and Process'23] sFuzz2.0: Storage-access pattern guided smart contract fuzzing . [pdf] (CCF-B)

  Haoyu Wang,Zan Wang,Shuang Liu*,Jun Sun,Yingquan Zhao,Yan Wan,Tai D. Nguyen

  In. 2023 Journal of Software: Evolution and Process.

• [ACM Computing Surveys'23] Formalizing UML State Machines for Automated Verification – A Survey . [pdf] (CCF-A)

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

  In. ACM Computing SurveysVolume 55Issue 13sArticle No.: 277pp 1–47

• [TSE'22] Achieving high MAP-coverage through pattern constraint reduction . [pdf] (CCF-A)

  Yingquan Zhao, Zan Wang, Shuang Liu*, Jun Sun, Junjie Chen and Xiang Chen

  In.  (2023). IEEE Transactions on Software Engineering. 49, (1), 99-112.

• [Information Processing & Management'22] Fake news detection via knowledgeable prompt learning . [pdf] (CCF-B)

  Gongyao Jiang, Shuang Liu, Meishan Zhang, Yu Zhao, Yueheng Sun

  In. Information Processing & Management Volume 59, Issue 5, September 2022, 103029

• [软件学报'22] 预训练增强的代码克隆检测技术 . [pdf] (CCF 中文T1)

  冷林珊， 刘爽*， 田承霖， 窦淑洁， 王赞， 张梅山

  In.  Ruan Jian Xue Bao/Journal of Software, 2022, 33(5): 1758–1773 (in Chinese).

• [软件学报'21] 自动驾驶智能系统测试研究综述 . [pdf] (CCF 中文T1)

  朱向雷， 王海弛， 尤翰墨， 张蔚珩， 张颖异， 刘爽， 陈俊洁*， 王赞， 李克秋

  In.  Ruan Jian Xue Bao/Journal of Software, 2021,32(7):2056–2077 (in Chinese).

• [TSE'21] Falsification of cyber-physical systems using deep reinforcement learning . [pdf] (CCF-A)

  Yoriyuki Yamagata, Shuang Liu*, Takumi Akazaki, Yihai Duan, Jianye Hao

  In.  IEEE Transactions on Software Engineering, vol. 47, no. 12, pp. 2823-2840, 1 Dec. 2021.

• [软件学报'20] 深度神经网络测试研究综述 . [pdf] (CCF 中文T1)

  王赞， 闫明， 刘爽*， 陈俊洁， 张栋迪， 吴卓， 陈翔

  In.  Ruan Jian Xue Bao/Journal of Software, 2020,31(5):1255−1275 (in Chinese) .

• [TSE'20] Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning . [pdf] (CCF-A)

  Yoriyuki Yamagata, Shuang Liu*, Takumi Akazaki, Yihai Duan, Jianye Hao

  In. IEEE Transactions on Software Engineering 2020, to appear

• [SSM'20] Automated synthesis of local time requirement for service composition . [pdf] (CCF-B)

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

  In.  Software and Systems Modeling (SSM 2020) 19, 983–1013.

• [BMC'19] Attention-based recurrent neural network for influenza epidemic prediction . [pdf] (CCF-B)

  Xianglei Zhu, Bofeng Fu, Yaodong Yang, Yu Ma, Jianye Hao, Siqi Chen, Shuang Liu, Tiegang Li, Sen Liu, Weiming Guo and others

  In. The BMC bioinformatics 20.18 (2019): 1-10

• [JSS'19] LoopFix: An Approach to Automatic Repair of Buggy Loops . [pdf] (CCF-B)

  Weichao Wang, Zhaopeng Meng, Zan Wang*, Shuang Liu, Jianye Hao

  In. Journal of Systems and Software 2019, Volume 156, Pages 100-112

No matching publications.

• Compiler Principles (Honors Course)

  Core undergraduate course

• Software Engineering

  Core undergraduate course