Shaoying Liu

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 82

Top Venues

Publications

Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang
Detecting security vulnerabilities with vulnerability nets. J. Syst. Softw. 208 (2024)
Pingyan Wang, Shaoying Liu
Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis. ICECCS (2023)
Yanzhao Xia, Shaoying Liu
A Framework of Formal Specification-Based Data Generation for Deep Neural Networks. ICSCA (2023)
Guangquan Xu, Wenqing Lei, Lixiao Gong, Jian Liu, Hongpeng Bai, Kai Chen, Ran Wang, Wei Wang, Kaitai Liang, Weizhe Wang, Weizhi Meng, Shaoying Liu
UAF-GUARD: Defending the use-after-free exploits via fine-grained memory permission management. Comput. Secur. 125 (2023)
Guangquan Xu, Wenyu Dong, Jun Xing, Wenqing Lei, Jian Liu, Lixiao Gong, Meiqi Feng, James Xi Zheng, Shaoying Liu
Delay-CJ: A novel cryptojacking covert attack method based on delayed strategy and its detection. Digit. Commun. Networks 9 (5) (2023)
Guangquan Xu, Zhengbo Han, Lixiao Gong, Litao Jiao, Hongpeng Bai, Shaoying Liu, Xi Zheng
ASQ-FastBM3D: An Adaptive Denoising Framework for Defending Adversarial Attacks in Machine Learning Enabled Systems. IEEE Trans. Reliab. 72 (1) (2023)
Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu
A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL. IEICE Trans. Inf. Syst. 106 (5) (2023)
Jiandong Li, Shaoying Liu
Requirements-related fault prevention during the transformation from formal specifications to programs. IET Softw. 17 (3) (2023)
Ai Liu, Shaoying Liu
Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages. IEEE Trans. Software Eng. 49 (1) (2023)
Yu Du, Shaoying Liu
Maintainability Assessment for SOFL Formal Specifications. DSA (2023)
Dingbang Fang, Shaoying Liu, Yang Li
Cross-Project Transfer Learning on Lightweight Code Semantic Graphs for Defect Prediction. Int. J. Softw. Eng. Knowl. Eng. 33 (7) (2023)
Yingnan Zhou, Xue Hu, Sihan Xu, Yan Jia, Yuhao Liu, Junyong Wang, Guangquan Xu, Wei Wang, Shaoying Liu, Thar Baker
Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters. IEEE Trans. Software Eng. 49 (10) (2023)
Guangquan Xu, Hongfei Shao, Jingyi Cui, Hongpeng Bai, Jiliang Li, Guangdong Bai, Shaoying Liu, Weizhi Meng, Xi Zheng
GenDroid: A query-efficient black-box android adversarial attack framework. Comput. Secur. 132 (2023)
Guangquan Xu, Chen Qi, Wenyu Dong, Lixiao Gong, Shaoying Liu, Si Chen, Jian Liu, Xi Zheng
A Privacy-Preserving Medical Data Sharing Scheme Based on Blockchain. IEEE J. Biomed. Health Informatics 27 (2) (2023)
Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu
Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. ICECCS (2023)
Tetsuo Fukuzaki, Shaoying Liu, Michael Butler
DevFemOps: enhancing maintainability based on microservices using formal engineering methods. Connect. Sci. 34 (1) (2022)
Lei Rao, Shaoying Liu, Han Peng
An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement. IEEE Access 10 (2022)
Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang
Detecting Security Vulnerabilities with Vulnerability Nets. QRS Companion (2022)
Qingying Liu, Tao Zhang, Jerry Gao, Shaoying Liu, Jing Cheng
Construction of Semantic Model for GUI of Mobile Applications Using Deep Learning. AITest (2022)
Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang
Knowledge Graph Construction for SOFL Formal Specifications. Int. J. Softw. Eng. Knowl. Eng. 32 (4) (2022)
Yilin Yang, Tianxing He, Yang Feng, Shaoying Liu, Baowen Xu
Mining Python fix patterns via analyzing fine-grained source code changes. Empir. Softw. Eng. 27 (2) (2022)
Ai Liu, Shaoying Liu, Meng Sun
Probabilistic mediator: A coalgebraic perspective. J. Log. Algebraic Methods Program. 129 (2022)
Jiandong Li, Shaoying Liu
Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming. QRS Companion (2022)
Lei Rao, Shaoying Liu, Ai Liu
Testing Program Segments to Detect Runtime Exceptions in Java. SOFL+MSVL (2022)
Yang Li, Shaoying Liu
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. SOFL+MSVL (2022)
Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu
Verifying and Improving Neural Networks Using Testing-Based Formal Verification. SOFL+MSVL (2022)
Shaoying Liu, Shin Nakajima
Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing. IEEE Trans. Software Eng. 48 (2) (2022)
Jinyan Wang, Guangquan Xu, Wenqing Lei, Lixiao Gong, Xi Zheng, Shaoying Liu
CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0. IEEE Trans. Ind. Informatics 18 (10) (2022)
Guangquan Xu, Hongpeng Bai, Jun Xing, Tao Luo, Neal N. Xiong, Xiaochun Cheng, Shaoying Liu, James Xi Zheng
SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles. J. Parallel Distributed Comput. 164 (2022)
Hongning Miao, Shaoying Liu
Automatic Localization of Potential Faults for Java Runtime Exceptions. DSA (2022)
Haiyi Liu, Shaoying Liu, Chenglong Wen, W. Eric Wong
TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning. IEEE Access 10 (2022)
Dingbang Fang, Shaoying Liu, Ai Liu
Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction. IEEE Trans. Reliab. 71 (2) (2022)
Yujun Dai, Shaoying Liu
Applying Cognitive Complexity to Checklist-Based Human-Machine Pair Inspection. QRS Companion (2021)
Guangquan Xu, Guohua Xin, Litao Jiao, Jian Liu, Shaoying Liu, Meiqi Feng, Xi Zheng
OFEI: A Semi-black-box Android Adversarial Sample Attack Framework Against DLaaS. CoRR (2021)
Guangquan Xu, Yihua Liu, Jun Xing, Tao Luo, Yonghao Gu, Shaoying Liu, Xi Zheng, Athanasios V. Vasilakos
SG-PBFT: a Secure and Highly Efficient Blockchain PBFT Consensus Algorithm for Internet of Vehicles. CoRR (2021)
Lei Rao, Shaoying Liu, Ai Liu
Testing Program Segments to Detect Software Faults during Programming. Int. J. Perform. Eng. 17 (11) (2021)
Rong Wang, Shaoying Liu, Yuji Sato
SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution. IEEE Trans. Reliab. 70 (3) (2021)
Kenya Saiki, Shaoying Liu, Hiroyuki Okamura, Tadashi Dohi
A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis. QRS (2021)
Shaoying Liu
A three-step hybrid specification approach to error prevention. J. Syst. Softw. 178 (2021)
Kenta Sugai, Hiroshi Hosobe, Shaoying Liu
SMT-Based Theorem Verification for Testing-Based Formal Verification. ICSCA (2021)
Shaoying Liu, Honghui Li, Zhouxian Jiang, Xiuru Li, Feng Liu, Yan Zhong
Rigorous code review by reverse engineering. Inf. Softw. Technol. 133 (2021)
Pengli Nie, Guangquan Xu, Litao Jiao, Shaoying Liu, Jian Liu, Weizhi Meng, Hongyue Wu, Meiqi Feng, Weizhe Wang, Zhengjun Jing, Xi Zheng
Sparse Trust Data Mining. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Chunyan Ma, Shaoying Liu, Jinglan Fu, Tao Zhang
Test Oracle Generation Based on BPNN by Using the Values of Variables at Different Breakpoints for Programs. Int. J. Softw. Eng. Knowl. Eng. 31 (10) (2021)
Shaoying Liu, Weikai Miao
A formal specification animation method for operation validation. J. Syst. Softw. 178 (2021)
Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang
Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures. QRS (2021)
Dingbang Fang, Shaoying Liu, Ai Liu
EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction. QRS (2021)
Guangquan Xu, Xiaotong Li, Litao Jiao, Weizhe Wang, Ao Liu, Chunhua Su, Xi Zheng, Shaoying Liu, Xiaochun Cheng
BAGKD: A Batch Authentication and Group Key Distribution Protocol for VANETs. IEEE Commun. Mag. 58 (7) (2020)
Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. SOFL+MSVL (2020)
Guangquan Xu, Miao Li, Xiaotong Li, Kai Chen, Ran Wang, Wei Wang, Kaitai Liang, Qiang Tang, Shaoying Liu
Defending Use-After-Free via Relationship Between Memory and Pointer. CollaborateCom (1) (2020)
Shaoying Liu
Range Partition Testing: Principle and Technique. QRS Companion (2020)
Rong Wang, Shaoying Liu, Yuji Sato
A Fault Localization Approach Derived From Testing-based Formal Verification. ICECCS (2020)
Xu Qin, Shaoying Liu, Tao Zhang
A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction. SOFL+MSVL (2019)
Rong Wang, Yuji Sato, Shaoying Liu
Specification-based Test Case Generation with Genetic Algorithm. CEC (2019)
Rong Wang, Shaoying Liu
Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution. QRS Companion (2019)
Busalire Onesmus Emeka, Shaoying Liu
A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. SOFL+MSVL (2019)
Shaoying Liu
Software Construction Monitoring and Predicting for Human-Machine Pair Programming. SOFL+MSVL (2018)
Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu
An efficient approach for verifying automobile distributed application systems on timing property. ICSE (Companion Volume) (2018)
Yufei Yin, Shaoying Liu, Yixiang Chen
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. SOFL+MSVL (2018)
Rong Wang, Shaoying Liu
TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. QRS (2018)
Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. Sci. China Inf. Sci. 61 (5) (2018)
Fumiko Nagoya, Shaoying Liu
An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. SOFL+MSVL (2017)
Pan Zhao, Shaoying Liu
A Software Tool to Support the "Vibration" Method. SOFL+MSVL (2017)
Fumiko Nagoya, Shaoying Liu
Development of a Web Dictionary System Using SOFL. Wirel. Pers. Commun. 94 (2) (2017)
Shingo Fukuoka, Yixiang Chen, Shaoying Liu
Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. GSKI (1) (2017)
Busalire Onesmus Emeka, Shaoying Liu
Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications. QRS (2017)
Siyuan Li, Shaoying Liu
A Software Tool to Support Scenario-Based Formal Specification for Error Prevention. SOFL+MSVL (2017)
Fumiko Nagoya, Shaoying Liu
A Comparative Study of a GUI-Aided Formal Specification Construction Approach. ICCSA (1) (2017)
Shaoying Liu
A Tool Supported Testing Method for Reducing Cost and Improving Quality. QRS (2016)
Mo Li, Shaoying Liu
Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems. IEEE Trans. Reliab. 65 (1) (2016)
Shaoying Liu
Validating formal specifications using testing-based specification animation. FormaliSE@ICSE (2016)
Shaoying Liu
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification. TAP@STAF (2016)
Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou
Applying SOFL to a Railway Interlocking System in Industry. SOFL+MSVL (2016)
Fumiko Nagoya, Shaoying Liu
A Case Study of a GUI-Aided Approach to Constructing Formal Specifications. SOFL+MSVL (2016)
Fumiko Nagoya, Shaoying Liu, Kyousuke Hamada
Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach. ICITCS (2015)
Xiongwen Luo, Shaoying Liu
Automatic Transformation from SOFL Module Specifications to Program Structures. SOFL+MSVL (2015)
Shaoying Liu
A GUI-Aided Approach to Formal Specification Construction. SOFL+MSVL (2015)
Shaoying Liu
Automatic Selection of System Functional Scenarios for Formal Specification Animation. APSEC (2015)
Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou
Validating Timed Component Contracts. EUROMICRO-SEAA (2015)
Fauziah binti Zainuddin, Shaoying Liu
PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation. APSEC (2015)
Weikai Miao, Xi Wang, Shaoying Liu
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. TASE (2015)
Fumiko Nagoya, Shaoying Liu
Development of a web-based conference management system using SOFL. RACS (2015)
Shaoying Liu, Xi Wang, Weikai Miao
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. ICFEM (2015)
Mo Li, Shaoying Liu
Tool Support for Rigorous Formal Specification Inspection. CSE (2014)
Mo Li, Shaoying Liu
Reviewing Formal Specification for Validation Using Animation and Trace Links. APSEC (1) (2014)
Mo Li, Shaoying Liu
Traceability-Based Formal Specification Inspection. SERE (2014)
Jinghua Zhang, Shaoying Liu
Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. SOFL+MSVL (2014)
Mo Li, Shaoying Liu
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process. SOFL+MSVL (2014)
Shaoying Liu
Extending Operation Semantics to Enhance the Applicability of Formal Refinement. Specification, Algebra, and Software (2014)
Xi Wang, Shaoying Liu
Computer-Aided Formalization of Requirements Based on Patterns. IEICE Trans. Inf. Syst. (2) (2014)
Azma binti Abdullah, Shaoying Liu
Hazard analysis for safety-critical systems using SOFL. CIES (2013)
Wahyu Eko Sulistiono, Shaoying Liu
Applying SOFL to Constructing a Smart Traffic Light Specification. SOFL+MSVL (2013)
Shaoying Liu, Shin Nakajima
Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice. SOFL+MSVL (2013)
Xi Wang, Shaoying Liu
An Approach to Declaring Data Types for Formal Specifications. SOFL+MSVL (2013)
Weikai Miao, Shaoying Liu
Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling. SOFL+MSVL (2013)
Shenghua Zhu, Shaoying Liu
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios. SOFL+MSVL (2013)
Xi Wang, Shaoying Liu
Guided Requirements Clarification for Automatic Formalization. SNPD (2013)
Xi Wang, Shaoying Liu
An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements. ICIS (2013)
Weikai Miao, Shaoying Liu
A Formal Engineering Framework for Service-Based Software Modeling. IEEE Trans. Serv. Comput. 6 (4) (2013)
Mo Li, Shaoying Liu
SOFL Specification Animation with Tool Support. SOFL+MSVL (2013)
Shaoying Liu, Yuting Chen, Fumiko Nagoya, John Alexander McDermid
Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. 38 (5) (2012)

Shaoying Liu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shaoying Liu