Shaoying Liu - Publications, H-index & Citations

Shaoying Liu

east china normal university

8H指数

47论文数

298被引数

收录论文 9

发表时间

Design and Implementation of an Automated Maintainability Assessment Tool for SOFL Formal Specifications SOFL形式规范自动化可维护性评估工具的设计与实现

Journal of Systems and Software

IF4.1

2026-03-03

PREAI

Yu Du; Shaoying Liu

Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness 基于程序切片的测试驱动形式化验证在功能完备性和完备性方面的测试

THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025

IF0

2026-01-01

PREAI

Liu, Ai; Liu, Yang; Liu, Shaoying; Yang, Zhibin

MC-LRNN: A logic-based neural network for multi-class software vulnerability prediction MC-LRNN：一种基于逻辑的神经网络，用于多类别软件漏洞预测

Journal of Systems and Software

IF4.1

2025-09-18

PREAI

Yuxiang Shang; Shaoying Liu

Two-level Formal Specifications for Deep Neural Networks 深度神经网络的两级形式化规范

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

IF0.6

2025-09-01

PREAI

Xia, Yanzhao; Liu, Shaoying

Mutation-Based Approach to Supporting Human-Machine Pair Inspection 基于变异的方法支持人机结对检查

ELECTRONICS

IF2.6

2025-01-19

OAAI

Dai, Yujun; Liu, Shaoying; Liu, Haiyi

Detecting security vulnerabilities with vulnerability nets

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2024-02-01

PREAI

Wang, Pingyan; Liu, Shaoying; Liu, Ai; Jiang, Wen

Adversarial Attack and Defense in Breast Cancer Deep Learning Systems

BIOENGINEERING-BASEL

IF3.7

2023-08-17

OAAI

Li, Yang; Liu, Shaoying

The Threat of Adversarial Attack on a COVID-19 CT Image-Based Deep Learning System

BIOENGINEERING-BASEL

IF3.7

2023-02-02

OAAI

Li, Yang; Liu, Shaoying

UAF-GUARD: Defending the use-after-free exploits via fine-grained memory permission management

COMPUTERS & SECURITY

IF5.4

2023-02-01

OAAI

Xu, Guangquan; Lei, Wenqing; Gong, Lixiao; Liu, Jian; Bai, Hongpeng; Chen, Kai; Wang, Ran; Wang, Wei; Liang, Kaitai; Wang, Weizhe; Meng, Weizhi; Liu, Shaoying

研究方向