A Formal Semantics for Complete UML State Machines with Communications. - Shuang Liu 007; Yang Liu 003; Étienne André; Christine Choppy; Jun Sun 001; Bimlesh Wadhwa; Jin Song Dong (IFM, 2013)

USMMC: a self-contained model checker for UML state machines. - Shuang Liu 007; Yang Liu 003; Jun Sun 001; Manchun Zheng; Bimlesh Wadhwa; Jin Song Dong (ESEC/SIGSOFT FSE, 2013)

Automatic early defects detection in use case documents. - Shuang Liu 007; Jun Sun 001; Yang Liu 003; Yue Zhang 004; Bimlesh Wadhwa; Jin Song Dong; Xinyu Wang 001 (ASE, 2014)

Multiple sub-hyper-spheres support vector machine for multi-class classification. - Shuang Liu 007; Peng Chen 026; Keqiu Li (Int. J. Wavelets Multiresolution Inf. Process., 2014)

Towards Using Concurrent Java API Correctly. - Shuang Liu 007; Guangdong Bai; Jun Sun 001; Jin Song Dong (ICECCS, 2016)

Improving Quality of Use Case Documents through Learning and User Interaction. - Shuang Liu 007; Jun Sun 001; Hao Xiao; Bimlesh Wadhwa; Jin Song Dong; Xinyu Wang 001 (ICECCS, 2016)

Towards Solving Decision Making Problems Using Probabilistic Model Checking. - Ling Shi; Shuang Liu 007; Jianye Hao; Jun Yang Koh; Zhe Hou; Jin Song Dong (ICECCS, 2017)

JSFox: integrating static and dynamic type analysis of JavaScript programs. - Tian Huat Tan; Yinxing Xue; Manman Chen; Shuang Liu 007; Yi Yu 001; Jun Sun 001 (ICSE (Companion Volume), 2017)

Attention-Based Recurrent Multi-Channel Neural Network for Influenza Epidemic Prediction. - Bofeng Fu; Yaodong Yang 002; Yu Ma; Jianye Hao; Siqi Chen 001; Shuang Liu 007; Tiegang Li; Zhenyu Liao; Xianglei Zhu (BIBM, 2018)

PFix: fixing concurrency bugs based on memory access patterns. - Huarui Lin; Zan Wang; Shuang Liu 007; Jun Sun 001; Dongdi Zhang; Guangning Wei (ASE, 2018)

Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software. - Yongxin Zhao; Xiujuan Zhang; Ling Shi; Gan Zeng; Feng Sheng; Shuang Liu 007 (APSEC, 2019)

Adaptive Randomized Scheduling for Concurrency Bug Detection. - Zan Wang; Dongdi Zhang; Shuang Liu 007; Jun Sun 001; Yingquan Zhao (ICECCS, 2019)

TECCD: A Tree Embedding Approach for Code Clone Detection. - Yi Gao; Zan Wang; Shuang Liu 007; Lin Yang; Wei Sang; Yuanfang Cai (ICSME, 2019)

MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. - Zan Wang; Yingquan Zhao; Shuang Liu 007; Jun Sun 001; Xiang Chen 005; Huarui Lin (ASE, 2019)

Attention-based recurrent neural network for influenza epidemic prediction. - Xianglei Zhu; Bofeng Fu; Yaodong Yang 002; Yu Ma; Jianye Hao; Siqi Chen 001; Shuang Liu 007; Tiegang Li; Sen Liu; Weiming Guo; Zhenyu Liao (BMC Bioinform., 2019)

There is Limited Correlation between Coverage and Robustness for Deep Neural Networks. - Yizhen Dong; Peixin Zhang 001; Jingyi Wang 004; Shuang Liu 007; Jun Sun 001; Jianye Hao; Xinyu Wang 001; Li Wang; Jin Song Dong; Dai Ting (CoRR, 2019)

LoopFix: an approach to automatic repair of buggy loops. - Weichao Wang; Zhaopeng Meng; Zan Wang; Shuang Liu 007; Jianye Hao (J. Syst. Softw., 2019)

An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. - Yizhen Dong; Peixin Zhang 001; Jingyi Wang 004; Shuang Liu 007; Jun Sun 001; Jianye Hao; Xinyu Wang 001; Li Wang; Jin Song Dong; Ting Dai (ICECCS, 2020)

IFIX: Fixing Concurrency Bugs While They Are Introduced. - Zan Wang; Haichi Wang; Shuang Liu 007; Jun Sun 001; Haoyu Wang 017; Junjie Chen 003 (ICECCS, 2020)

What Makes Open Source Software Projects Impactful: A Data-Driven Approach. - Huaiwei Yang; Shuang Liu 007; Lin Gui 002; Yongxin Zhao; Jun Sun 001; Junjie Chen 003 (Internetware, 2020)

Towards Generating Thread-Safe Classes Automatically. - Haichi Wang; Zan Wang; Jun Sun 001; Shuang Liu 007; Ayesha Sadiq; Yuan-Fang Li (ASE, 2020)

Deep learning library testing via effective model generation. - Zan Wang; Ming Yan 010; Junjie Chen 003; Shuang Liu 007; Dongdi Zhang (ESEC/SIGSOFT FSE, 2020)

APPCorp: A Corpus for Android Privacy Policy Document Structure Analysis. - Shuang Liu 007; Renjie Guo; Baiyang Zhao; Tao Chen 008; Meishan Zhang (CoRR, 2020)

Automated synthesis of local time requirement for service composition. - Étienne André; Tian Huat Tan; Manman Chen; Shuang Liu 007; Jun Sun 001; Yang Liu 003; Jin Song Dong (Softw. Syst. Model., 2020)

FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning. - Shaohua Zhang; Shuang Liu 007; Jun Sun 001; Yuqi Chen 013; Wenzhi Huang; Jinyi Liu 002; Jian Liu 004; Jianye Hao (ASE, 2021)

HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing. - Yanzhou Mu; Zan Wang; Shuang Liu 007; Jun Sun 001; Junjie Chen 003; Xiang Chen 005 (QRS, 2021)

A comprehensive study on learning-based PE malware family classification methods. - Yixuan Ma; Shuang Liu 007; Jiajun Jiang; Guanhong Chen; Keqiu Li (ESEC/SIGSOFT FSE, 2021)

Have You been Properly Notified? Automatic Compliance Analysis of Privacy Policy Text with GDPR Article 13. - Shuang Liu 007; Baiyang Zhao; Renjie Guo; Guozhu Meng; Fan Zhang; Meishan Zhang (WWW, 2021)

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. - Yoriyuki Yamagata; Shuang Liu 007; Takumi Akazaki; Yihai Duan; Jianye Hao (IEEE Trans. Software Eng., 2021)

Reducing Malware labeling Efforts Through Efficient Prototype Selection. - Guanhong Chen; Shuang Liu 007 (ICECCS, 2022)

Natural Test Generation for Precise Testing of Question Answering Software. - Qingchao Shen; Junjie Chen 003; Jie M. Zhang; Haoyu Wang 017; Shuang Liu 007; Menghan Tian (ASE, 2022)

Fake news detection via knowledgeable prompt learning. - Gongyao Jiang; Shuang Liu 007; Yu Zhao 043; Yueheng Sun; Meishan Zhang (Inf. Process. Manag., 2022)

A Pilot Study on Dialogue-Level Dependency Parsing for Chinese. - Gongyao Jiang; Shuang Liu 007; Meishan Zhang; Min Zhang 005 (ACL (Findings), 2023)

A Programmable Logic-in-Memory Architecture Based on 22nm Fully DepletedSilicon on Insulator Technology. - Yihe Liu; Junjie Wang 008; Shuang Liu 007; Mingyuan Sun; Kai Tang; Guohui Ren; Xindi Zhao; Mingliang Sun; Yang Liu 062 (CECCT, 2023)

Regression Fuzzing for Deep Learning Systems. - Hanmo You; Zan Wang; Junjie Chen 003; Shuang Liu 007; Shuochuan Li (ICSE, 2023)

An Empirical Study on AST-level mutation-based fuzzing techniques for JavaScript Engines. - Song Tang; Shuang Liu 007; Junjie Wang 007; Xiangwei Zhang (Internetware, 2023)

MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure. - Haoyu Wang 017; Junjie Chen 003; Chuyue Xie; Shuang Liu 007; Zan Wang; Qingchao Shen; Yingquan Zhao (ASE, 2023)

FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler. - Junjie Wang 008; Zhiyi Zhang; Shuang Liu 007; Xiaoning Du 001; Junjie Chen 003 (USENIX Security Symposium, 2023)

Formalizing UML State Machines for Automated Verification - A Survey. - Étienne André; Shuang Liu 007; Yang Liu 003; Christine Choppy; Jun Sun 001; Jin Song Dong 001 (ACM Comput. Surv., 2023)

APPCorp: a corpus for Android privacy policy document structure analysis. - Shuang Liu 007; Fan Zhang; Baiyang Zhao; Renjie Guo; Tao Chen 008; Meishan Zhang (Frontiers Comput. Sci., 2023)

Achieving High MAP-Coverage Through Pattern Constraint Reduction. - Yingquan Zhao; Zan Wang; Shuang Liu 007; Jun Sun 001; Junjie Chen 003; Xiang Chen 005 (IEEE Trans. Software Eng., 2023)

An Area- and Energy-Efficient Spiking Neural Network With Spike-Time-Dependent Plasticity Realized With SRAM Processing-in-Memory Macro and On-Chip Unsupervised Learning. - Shuang Liu 007; Junjie Wang 008; Jingtao Zhou; Shaogang Hu; Qi Yu 002; Tupei Chen; Yang Liu 062 (IEEE Trans. Biomed. Circuits Syst., 2023)

Enhancing RDF Verbalization with Descriptive and Relational Knowledge. - Fan Zhang; Meishan Zhang; Shuang Liu 007; Yueheng Sun; Nan Duan (ACM Trans. Asian Low Resour. Lang. Inf. Process., 2023)

A Survey on Automated Driving System Testing: Landscapes and Trends. - Shuncheng Tang; Zhenya Zhang; Yi Zhang; Jixiang Zhou; Yan Guo; Shuang Liu 007; Shengjian Guo; Yan-Fu Li; Lei Ma 003; Yinxing Xue; Yang Liu 003 (ACM Trans. Softw. Eng. Methodol., 2023)

Differential Testing of Machine Translators Based on Compositional Semantics. - Shuang Liu 007; Shujie Dou; Junjie Chen 003; Zhirun Zhang; Ye Lu 004 (IEEE Trans. Software Eng., 2023)

WasmCFuzz: Structure-aware Fuzzing for Wasm Compilers. - Xiangwei Zhang; Junjie Wang 007; Xiaoning Du 001; Shuang Liu 007 (EnCyCriS/SVM, 2024)

I3DE: An IDE for Inspecting Inconsistencies in PL/SQL Code. - Jiangshan Liu; Shuang Liu 007; Junjie Chen 003 (IDE@ICSE, 2024)

Live Demonstration for Input-Sparsity-Aware RRAM Processing-in-Memory Chip. - Junjie Wang 008; Shuang Liu 007; Ruicheng Pan; Shiqin Yan; Yihe Liu; Yang Liu 062 (ISCAS, 2024)

Testing Graph Database Systems with Graph-State Persistence Oracle. - Shuang Liu 007; Junhao Lan; Xiaoning Du 001; Jiyuan Li; Wei Lu 015; Jiajun Jiang; Xiaoyong Du 001 (ISSTA, 2024)

Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis. - Chenyao Suo; Junjie Chen 003; Shuang Liu 007; Jiajun Jiang; Yingquan Zhao; Jianrong Wang (ISSTA, 2024)

LLM-Assisted Data Augmentation for Chinese Dialogue-Level Dependency Parsing. - Meishan Zhang; Gongyao Jiang; Shuang Liu 007; Jing Chen; Min Zhang 005 (Comput. Linguistics, 2024)

Conformance Testing of Relational DBMS Against SQL Specifications. - Shuang Liu 007; Chenglin Tian; Jun Sun 001; Ruifeng Wang; Wei Lu 015; Yongxin Zhao; Yinxing Xue; Junjie Wang 007; Xiaoyong Du 001 (CoRR, 2024)

Formalizing UML State Machines for Automated Verification - A Survey. - Étienne André; Shuang Liu 007; Yang Liu 003; Christine Choppy; Jun Sun 001; Jin Song Dong (CoRR, 2024)

GeoTP: Latency-aware Geo-Distributed Transaction Processing in Database Middlewares (Extended Version). - Qiyu Zhuang; Xinyue Shi; Shuang Liu 007; Wei Lu 015; Zhanhao Zhao; Yuxing Chen; Tong Li; Anqun Pan; Xiaoyong Du 001 (CoRR, 2024)

Design and implementation of a charge-sharing in-memory-computing macro with sparse feature for quantized neural network. - Yihe Liu; Junjie Wang 008; Shuang Liu 007; Mingyuan Sun; Xiaoyang Zhang; Jingtao Zhou; Shiqin Yan; Ruicheng Pan; Hao Hu; Yang Liu 062 (Microelectron. J., 2024)

Design and Implementation of a Hybrid, ADC/DAC-Free, Input-Sparsity-Aware, Precision Reconfigurable RRAM Processing-in-Memory Chip. - Junjie Wang 008; Teng Zhang; Shuang Liu 007; Yihe Liu; Yuancong Wu; Shaogang Hu; Tupei Chen; Yang Liu 062; Yuchao Yang 001; Ru Huang 001 (IEEE J. Solid State Circuits, 2024)

sFuzz2.0: Storage-access pattern guided smart contract fuzzing. - Haoyu Wang 017; Zan Wang; Shuang Liu 007; Jun Sun 001; Yingquan Zhao; Yan Wan; Tai D. Nguyen (J. Softw. Evol. Process., 2024)

Semantic Conformance Testing of Relational DBMS. - Shuang Liu 007; Chenglin Tian; Jun Sun 001; Ruifeng Wang; Wei Lu 015; Yongxin Zhao; Yinxing Xue; Junjie Wang 007; Xiaoyong Du 001 (Proc. VLDB Endow., 2024)

GeoTP: Latency-Aware Geo-Distributed Transaction Processing in Database Middlewares. - Qiyu Zhuang; Xinyue Shi; Shuang Liu 007; Wei Lu 015; Zhanhao Zhao; Yuxing Chen; Tong Li; Anqun Pan; Xiaoyong Du 001 (ICDE, 2025)

De-duplicating Silent Compiler Bugs via Deep Semantic Representation. - Junjie Chen 003; Xingyu Fan; Chen Yang; Shuang Liu 007; Jun Sun 001 (Proc. ACM Softw. Eng., 2025)

TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection. - Qiyu Zhuang; Wei Lu 015; Shuang Liu 007; Yuxing Chen; Xinyue Shi; Zhanhao Zhao; Yipeng Sun; Anqun Pan; Xiaoyong Du 001 (CoRR, 2025)

Mitigating Regression Faults Induced by Feature Evolution in Deep Learning Systems. - Hanmo You; Zan Wang; Xuyang Chen; Junjie Chen 003; Jun Sun 001; Shuang Liu 007; Zishuo Dong (ACM Trans. Softw. Eng. Methodol., 2025)

An efficient and scalable graph database with built-in temporal support. - Jiamin Hou; Zhanhao Zhao; Wei Lu 015; Shiming Yang; Shuang Liu 007; Quanqing Xu; Chuanhui Yang; Xiaoyong Du 001 (VLDB J., 2025)