Shuang Liu

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 41

Top Topics

Prototype Selection

Top Venues

IEEE Trans. Software Eng.

Publications

Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
Formalizing UML State Machines for Automated Verification - A Survey. CoRR (2024)
Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du
Conformance Testing of Relational DBMS Against SQL Specifications. CoRR (2024)
Haoyu Wang, Zan Wang, Shuang Liu, Jun Sun, Yingquan Zhao, Yan Wan, Tai D. Nguyen
sFuzz2.0: Storage-access pattern guided smart contract fuzzing. J. Softw. Evol. Process. 36 (4) (2024)
Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. 55 (13s) (2023)
Haoyu Wang, Junjie Chen, Chuyue Xie, Shuang Liu, Zan Wang, Qingchao Shen, Yingquan Zhao
MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure. ASE (2023)
Song Tang, Shuang Liu, Junjie Wang, Xiangwei Zhang
An Empirical Study on AST-level mutation-based fuzzing techniques for JavaScript Engines. Internetware (2023)
Yingquan Zhao, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen
Achieving High MAP-Coverage Through Pattern Constraint Reduction. IEEE Trans. Software Eng. 49 (1) (2023)
Hanmo You, Zan Wang, Junjie Chen, Shuang Liu, Shuochuan Li
Regression Fuzzing for Deep Learning Systems. ICSE (2023)
Fan Zhang, Meishan Zhang, Shuang Liu, Yueheng Sun, Nan Duan
Enhancing RDF Verbalization with Descriptive and Relational Knowledge. ACM Trans. Asian Low Resour. Lang. Inf. Process. 22 (6) (2023)
Shuang Liu, Fan Zhang, Baiyang Zhao, Renjie Guo, Tao Chen, Meishan Zhang
APPCorp: a corpus for Android privacy policy document structure analysis. Frontiers Comput. Sci. 17 (3) (2023)
Shuang Liu, Shujie Dou, Junjie Chen, Zhirun Zhang, Ye Lu
Differential Testing of Machine Translators Based on Compositional Semantics. IEEE Trans. Software Eng. 49 (12) (2023)
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. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Gongyao Jiang, Shuang Liu, Yu Zhao, Yueheng Sun, Meishan Zhang
Fake news detection via knowledgeable prompt learning. Inf. Process. Manag. 59 (5) (2022)
Qingchao Shen, Junjie Chen, Jie M. Zhang, Haoyu Wang, Shuang Liu, Menghan Tian
Natural Test Generation for Precise Testing of Question Answering Software. ASE (2022)
Guanhong Chen, Shuang Liu
Reducing Malware labeling Efforts Through Efficient Prototype Selection. ICECCS (2022)
Yanzhou Mu, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen
HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing. QRS (2021)
Yixuan Ma, Shuang Liu, Jiajun Jiang, Guanhong Chen, Keqiu Li
A comprehensive study on learning-based PE malware family classification methods. ESEC/SIGSOFT FSE (2021)
Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. IEEE Trans. Software Eng. 47 (12) (2021)
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. WWW (2021)
Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen
What Makes Open Source Software Projects Impactful: A Data-Driven Approach. Internetware (2020)
Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai
An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. ICECCS (2020)
Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, Dongdi Zhang
Deep learning library testing via effective model generation. ESEC/SIGSOFT FSE (2020)
Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen
IFIX: Fixing Concurrency Bugs While They Are Introduced. ICECCS (2020)
Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
Automated synthesis of local time requirement for service composition. CoRR (2020)
Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
Automated synthesis of local time requirement for service composition. Softw. Syst. Model. 19 (4) (2020)
Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li
Towards Generating Thread-Safe Classes Automatically. ASE (2020)
Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks. CoRR (2019)
Weichao Wang, Zhaopeng Meng, Zan Wang, Shuang Liu, Jianye Hao
LoopFix: an approach to automatic repair of buggy loops. J. Syst. Softw. 156 (2019)
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. BMC Bioinform. (18) (2019)
Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao
Adaptive Randomized Scheduling for Concurrency Bug Detection. ICECCS (2019)
Zan Wang, Yingquan Zhao, Shuang Liu, Jun Sun, Xiang Chen, Huarui Lin
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. ASE (2019)
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. APSEC (2019)
Yi Gao, Zan Wang, Shuang Liu, Lin Yang, Wei Sang, Yuanfang Cai
TECCD: A Tree Embedding Approach for Code Clone Detection. ICSME (2019)
Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, Guangning Wei
PFix: fixing concurrency bugs based on memory access patterns. ASE (2018)
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. BIBM (2018)
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. CoRR (2018)
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. FM (2018)
Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong
Towards Solving Decision Making Problems Using Probabilistic Model Checking. ICECCS (2017)
Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun
JSFox: integrating static and dynamic type analysis of JavaScript programs. ICSE (Companion Volume) (2017)
Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang
Improving Quality of Use Case Documents through Learning and User Interaction. ICECCS (2016)
Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong
Towards Using Concurrent Java API Correctly. ICECCS (2016)
Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang
Automatic early defects detection in use case documents. ASE (2014)
Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong
USMMC: a self-contained model checker for UML state machines. ESEC/SIGSOFT FSE (2013)
Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong
A Formal Semantics for Complete UML State Machines with Communications. IFM (2013)