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

Shaoying Liu

east china normal university

8H-index
47Paper Count
298Citation Count
Published Papers 9
Publication Date
logo
Design and Implementation of an Automated Maintainability Assessment Tool for SOFL Formal Specifications
errJournal of Systems and Software
IF4.1
err2026-03-03
err0
PREAI
errYu Du; Shaoying Liu
errShare
errSave
Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness
errTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
err2026-01-01
err0
PREAI
errLiu, Ai; Liu, Yang; Liu, Shaoying; Yang, Zhibin
errShare
errSave
MC-LRNN: A logic-based neural network for multi-class software vulnerability prediction
errJournal of Systems and Software
IF4.1
err2025-09-18
err0
PREAI
errYuxiang Shang; Shaoying Liu
errShare
errSave
Two-level Formal Specifications for Deep Neural Networks
errINTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
IF0.6
err2025-09-01
err0
PREAI
errXia, Yanzhao; Liu, Shaoying
errShare
errSave
Mutation-Based Approach to Supporting Human-Machine Pair Inspection
errELECTRONICS
IF2.6
err2025-01-19
err0
errOAAI
errDai, Yujun; Liu, Shaoying; Liu, Haiyi
errShare
errSave
Detecting security vulnerabilities with vulnerability nets
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2024-02-01
err2
PREAI
errWang, Pingyan; Liu, Shaoying; Liu, Ai; Jiang, Wen
errShare
errSave
Adversarial Attack and Defense in Breast Cancer Deep Learning Systems
errBIOENGINEERING-BASEL
IF3.7
err2023-08-17
err1
errOAAI
errLi, Yang; Liu, Shaoying
errShare
errSave
The Threat of Adversarial Attack on a COVID-19 CT Image-Based Deep Learning System
errBIOENGINEERING-BASEL
IF3.7
err2023-02-02
err5
errOAAI
errLi, Yang; Liu, Shaoying
errShare
errSave
UAF-GUARD: Defending the use-after-free exploits via fine-grained memory permission management
errCOMPUTERS & SECURITY
IF5.4
err2023-02-01
err1
errOAAI
errXu, Guangquan; Lei, Wenqing; Gong, Lixiao; Liu, Jian; Bai, Hongpeng; Chen, Kai; Wang, Ran; Wang, Wei; Liang, Kaitai; Wang, Weizhe; Meng, Weizhi; Liu, Shaoying
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
W
Weizhi Meng
H-index: 45 · Papers: 453
陈
陈凯 (Kai Chen)
H-index: 39 · Papers: 340
K
Kaitai Liang
H-index: 37 · Papers: 193
王
王伟 (Wei Wang)
H-index: 33 · Papers: 298
Z
Zhibin Yang
H-index: 30 · Papers: 163
View more