logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Shaoying Liu

Hosei University

23H-index
298Paper Count
2.6KCitation Count
Published Papers 35
Publication Date
logo
Automated formal-specification-to-code trace links recovery using multi-dimensional similarity measures
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-04-19
err0
PREAI
errLi, Jiandong; Liu, Shaoying; Jin, Zhi
errShare
errSave
ID-SR: Privacy-Preserving Social Recommendation Based on Infinite Divisibility for Trustworthy AI
errACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA
IF4.8
err2024-06-19
err2
errOAAI
errCui, Jingyi; Xu, Guangquan; Liu, Jian; Feng, Shicheng; Wang, Jianli; Peng, Hao; Fu, Shihui; Zheng, Zhaohua; Zheng, Xi; Liu, Shaoying
errShare
errSave
OFEI: A Semi-Black-Box Android Adversarial Sample Attack Framework Against DLaaS
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2024-04-01
err4
errOAAI
errXu, Guangquan; Xin, Guohua; Jiao, Litao; Liu, Jian; Liu, Shaoying; Feng, Meiqi; Zheng, Xi
errShare
errSave
Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-10-01
err0
errOAAI
errZhou, Yingnan; Hu, Xue; Xu, Sihan; Jia, Yan; Liu, Yuhao; Wang, Junyong; Xu, Guangquan; Wang, Wei; Liu, Shaoying; Baker, Thar
errShare
errSave
GenDroid: A query-efficient black-box android adversarial attack framework
errCOMPUTERS & SECURITY
IF5.4
err2023-09-01
err0
PREAI
errXu, Guangquan; Shao, Hongfei; Cui, Jingyi; Bai, Hongpeng; Li, Jiliang; Bai, Guangdong; Liu, Shaoying; Meng, Weizhi; Zheng, Xi
errShare
errSave
ASQ-FastBM3D: An Adaptive Denoising Framework for Defending Adversarial Attacks in Machine Learning Enabled Systems
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2023-03-01
err9
PREAI
errXu, Guangquan; Han, Zhengbo; Gong, Lixiao; Jiao, Litao; Bai, Hongpeng; Liu, Shaoying; Zheng, Xi
errShare
errSave
A Privacy-Preserving Medical Data Sharing Scheme Based on Blockchain
errIEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS
IF6.8
err2023-02-01
err25
PREAI
errXu, Guangquan; Qi, Chen; Dong, Wenyu; Gong, Lixiao; Liu, Shaoying; Chen, Si; Liu, Jian; Zheng, Xi
errShare
errSave
Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-01-01
err2
PREAI
errLiu, Ai; Liu, Shaoying
errShare
errSave
CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2022-10-01
err11
PREAI
errWang, Jinyan; Xu, Guangquan; Lei, Wenqing; Gong, Lixiao; Zheng, Xi; Liu, Shaoying
errShare
errSave
DevFemOps: enhancing maintainability based on microservices using formal engineering methods
errCONNECTION SCIENCE
IF3.4
err2022-08-08
err1
PREAI
errFukuzaki, Tetsuo; Liu, Shaoying; Butler, Michael
errShare
errSave
Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2022-06-01
err7
PREAI
errFang, Dingbang; Liu, Shaoying; Liu, Ai
errShare
errSave
SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2022-06-01
err128
PREAI
errXu, Guangquan; Bai, Hongpeng; Xing, Jun; Luo, Tao; Xiong, Neal N.; Cheng, Xiaochun; Liu, Shaoying; Zheng, Xi
errShare
errSave
Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-02-01
err14
PREAI
errLiu, Shaoying; Nakajima, Shin
errShare
errSave
Mining Python fix patterns via analyzing fine-grained source code changes
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2022-01-28
err11
PREAI
errYang, Yilin; He, Tianxing; Feng, Yang; Liu, Shaoying; Xu, Baowen
errShare
errSave
An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement
errIEEE ACCESS
IF3.6
err2022-01-01
err3
errOAAI
errRao, Lei; Liu, Shaoying; Peng, Han
errShare
errSave
TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning
errIEEE ACCESS
IF3.6
err2022-01-01
err1
errOAAI
errLiu, Haiyi; Liu, Shaoying; Wen, Chenglong; Wong, W. Eric
errShare
errSave
SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2021-09-01
err7
errOAAI
errWang, Rong; Liu, Shaoying; Sato, Yuji
errShare
errSave
A formal specification animation method for operation validation
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-08-01
err3
PREAI
errLiu, Shaoying; Miao, Weikai
errShare
errSave
A three-step hybrid specification approach to error prevention
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-08-01
err4
PREAI
errLiu, Shaoying
errShare
errSave
Rigorous code review by reverse engineering
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2021-05-01
err3
PREAI
errLiu, Shaoying; Li, Honghui; Jiang, Zhouxian; Li, Xiuru; Liu, Feng; Zhong, Yan
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
N
Naixue Xiong
H-index: 90 · Papers: 1.1K
王
王浩 (Hao Wang)
H-index: 87 · Papers: 3.7K
M
Masaaki Ohba
H-index: 61 · Papers: 581
T
Thar Baker
H-index: 52 · Papers: 285
罗
罗涛 (Tao Luo)
H-index: 51 · Papers: 195
View more