Shaoying Liu

According to our database, Shaoying Liu authored at least 197 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

OFEI: A Semi-Black-Box Android Adversarial Sample Attack Framework Against DLaaS.

Guangquan Xu, Guohua Xin, Litao Jiao, Jian Liu, Shaoying Liu, Meiqi Feng, Xi Zheng

IEEE Trans. Computers, April, 2024

Detecting security vulnerabilities with vulnerability nets.

Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang

J. Syst. Softw., February, 2024

NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification.

Haiyi Liu, Shaoying Liu, Guangquan Xu, Ai Liu, Dingbang Fang

Int. J. Softw. Eng. Knowl. Eng., February, 2024

2023

Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters.

Yingnan Zhou, Xue Hu, Sihan Xu, Yan Jia, Yuhao Liu, Junyong Wang, Guangquan Xu, Wei Wang, Shaoying Liu, Thar Baker

IEEE Trans. Software Eng., October, 2023

Delay-CJ: A novel cryptojacking covert attack method based on delayed strategy and its detection.

Guangquan Xu, Wenyu Dong, Jun Xing, Wenqing Lei, Jian Liu, Lixiao Gong, Meiqi Feng, James Xi Zheng, Shaoying Liu

Digit. Commun. Networks, October, 2023

GenDroid: A query-efficient black-box android adversarial attack framework.

Guangquan Xu, Hongfei Shao, Jingyi Cui, Hongpeng Bai, Jiliang Li, Guangdong Bai, Shaoying Liu, Weizhi Meng, Xi Zheng

Comput. Secur., September, 2023

Cross-Project Transfer Learning on Lightweight Code Semantic Graphs for Defect Prediction.

Dingbang Fang, Shaoying Liu, Yang Li

Int. J. Softw. Eng. Knowl. Eng., July, 2023

Requirements-related fault prevention during the transformation from formal specifications to programs.

Jiandong Li, Shaoying Liu

IET Softw., June, 2023

A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL.

Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu

IEICE Trans. Inf. Syst., May, 2023

ASQ-FastBM3D: An Adaptive Denoising Framework for Defending Adversarial Attacks in Machine Learning Enabled Systems.

Guangquan Xu, Zhengbo Han, Lixiao Gong, Litao Jiao, Hongpeng Bai, Shaoying Liu, Xi Zheng

IEEE Trans. Reliab., March, 2023

A Privacy-Preserving Medical Data Sharing Scheme Based on Blockchain.

Guangquan Xu, Chen Qi, Wenyu Dong, Lixiao Gong, Shaoying Liu, Si Chen, Jian Liu, Xi Zheng

IEEE J. Biomed. Health Informatics, February, 2023

Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages.

Ai Liu, Shaoying Liu

IEEE Trans. Software Eng., 2023

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

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

Comput. Secur., 2023

A Framework of Formal Specification-Based Data Generation for Deep Neural Networks.

Yanzhao Xia, Shaoying Liu

Proceedings of the 12th International Conference on Software and Computer Applications, 2023

Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis.

Pingyan Wang, Shaoying Liu

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection.

Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

GDTM: Gaussian Differential Trust Mechanism for Optimal Recommender System.

Lixiao Gong, Guangquan Xu, Jingyi Cui, Xiao Wang, Shihui Fu, Xi Zheng, Shaoying Liu

Proceedings of the Algorithms and Architectures for Parallel Processing, 2023

Maintainability Assessment for SOFL Formal Specifications.

Yu Du, Shaoying Liu

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

2022

Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing.

Shaoying Liu, Shin Nakajima

IEEE Trans. Software Eng., 2022

Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction.

Dingbang Fang, Shaoying Liu, Ai Liu

IEEE Trans. Reliab., 2022

CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0.

Jinyan Wang, Guangquan Xu, Wenqing Lei, Lixiao Gong, Xi Zheng, Shaoying Liu

IEEE Trans. Ind. Informatics, 2022

SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles.

Guangquan Xu, Hongpeng Bai, Jun Xing, Tao Luo, Neal N. Xiong, Xiaochun Cheng, Shaoying Liu, James Xi Zheng

J. Parallel Distributed Comput., 2022

Probabilistic mediator: A coalgebraic perspective.

Ai Liu, Shaoying Liu, Meng Sun

J. Log. Algebraic Methods Program., 2022

Knowledge Graph Construction for SOFL Formal Specifications.

Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang

Int. J. Softw. Eng. Knowl. Eng., 2022

Mining Python fix patterns via analyzing fine-grained source code changes.

Yilin Yang, Tianxing He, Yang Feng, Shaoying Liu, Baowen Xu

Empir. Softw. Eng., 2022

DevFemOps: enhancing maintainability based on microservices using formal engineering methods.

Tetsuo Fukuzaki, Shaoying Liu, Michael Butler

Connect. Sci., 2022

An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement.

Lei Rao, Shaoying Liu, Han Peng

IEEE Access, 2022

TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning.

Haiyi Liu, Shaoying Liu, Chenglong Wen, W. Eric Wong

IEEE Access, 2022

Testing Program Segments to Detect Runtime Exceptions in Java.

Lei Rao, Shaoying Liu, Ai Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

Verifying and Improving Neural Networks Using Testing-Based Formal Verification.

Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack.

Yang Li, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming.

Jiandong Li, Shaoying Liu

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Automatic Localization of Potential Faults for Java Runtime Exceptions.

Hongning Miao, Shaoying Liu

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Construction of Semantic Model for GUI of Mobile Applications Using Deep Learning.

Qingying Liu, Tao Zhang, Jerry Gao, Shaoying Liu, Jing Cheng

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022

2021

SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution.

Rong Wang, Shaoying Liu, Yuji Sato

IEEE Trans. Reliab., 2021

Sparse Trust Data Mining.

Pengli Nie, Guangquan Xu, Litao Jiao, Shaoying Liu, Jian Liu, Weizhi Meng, Hongyue Wu, Meiqi Feng, Weizhe Wang, Zhengjun Jing, Xi Zheng

IEEE Trans. Inf. Forensics Secur., 2021

A formal specification animation method for operation validation.

Shaoying Liu, Weikai Miao

J. Syst. Softw., 2021

A three-step hybrid specification approach to error prevention.

Shaoying Liu

J. Syst. Softw., 2021

Rigorous code review by reverse engineering.

Shaoying Liu, Honghui Li, Zhouxian Jiang, Xiuru Li, Feng Liu, Yan Zhong

Inf. Softw. Technol., 2021

Test Oracle Generation Based on BPNN by Using the Values of Variables at Different Breakpoints for Programs.

Chunyan Ma, Shaoying Liu, Jinglan Fu, Tao Zhang

Int. J. Softw. Eng. Knowl. Eng., 2021

Testing Program Segments to Detect Software Faults during Programming.

Lei Rao, Shaoying Liu, Ai Liu

Int. J. Perform. Eng., 2021

SG-PBFT: a Secure and Highly Efficient Blockchain PBFT Consensus Algorithm for Internet of Vehicles.

Guangquan Xu, Yihua Liu, Jun Xing, Tao Luo, Yonghao Gu, Shaoying Liu, Xi Zheng, Athanasios V. Vasilakos

CoRR, 2021

A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis.

Kenya Saiki, Shaoying Liu, Hiroyuki Okamura, Tadashi Dohi

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures.

Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction.

Dingbang Fang, Shaoying Liu, Ai Liu

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Applying Cognitive Complexity to Checklist-Based Human-Machine Pair Inspection.

Yujun Dai, Shaoying Liu

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

SMT-Based Theorem Verification for Testing-Based Formal Verification.

Kenta Sugai, Hiroshi Hosobe, Shaoying Liu

Proceedings of the ICSCA 2021, 2021

2020

BAGKD: A Batch Authentication and Group Key Distribution Protocol for VANETs.

Guangquan Xu, Xiaotong Li, Litao Jiao, Weizhe Wang, Ao Liu, Chunhua Su, Xi Zheng, Shaoying Liu, Xiaochun Cheng

IEEE Commun. Mag., 2020

A Formal Approach to Secure Design of RESTful Web APIs Using SOFL.

Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

Range Partition Testing: Principle and Technique.

Shaoying Liu

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

A Fault Localization Approach Derived From Testing-based Formal Verification.

Rong Wang, Shaoying Liu, Yuji Sato

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Defending Use-After-Free via Relationship Between Memory and Pointer.

Guangquan Xu, Miao Li, Xiaotong Li, Kai Chen, Ran Wang, Wei Wang, Kaitai Liang, Qiang Tang, Shaoying Liu

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2020

2019

A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction.

Xu Qin, Shaoying Liu, Tao Zhang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications.

Busalire Onesmus Emeka, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution.

Rong Wang, Shaoying Liu

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Specification-based Test Case Generation with Genetic Algorithm.

Rong Wang, Yuji Sato, Shaoying Liu

Proceedings of the IEEE Congress on Evolutionary Computation, 2019

2018

autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications.

Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu

Sci. China Inf. Sci., 2018

Verification of SysML Activity Diagrams Using Hoare Logic and SOFL.

Yufei Yin, Shaoying Liu, Yixiang Chen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Software Construction Monitoring and Predicting for Human-Machine Pair Programming.

Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

TBFV-SE: Testing-Based Formal Verification with Symbolic Execution.

Rong Wang, Shaoying Liu

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

An efficient approach for verifying automobile distributed application systems on timing property.

Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Development of a Web Dictionary System Using SOFL.

Fumiko Nagoya, Shaoying Liu

Wirel. Pers. Commun., 2017

A Software Tool to Support the "Vibration" Method.

Pan Zhao, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing.

Fumiko Nagoya, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

A Software Tool to Support Scenario-Based Formal Specification for Error Prevention.

Siyuan Li, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications.

Busalire Onesmus Emeka, Shaoying Liu

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

A Comparative Study of a GUI-Aided Formal Specification Construction Approach.

Fumiko Nagoya, Shaoying Liu

Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic.

Shingo Fukuoka, Yixiang Chen, Shaoying Liu

Proceedings of the Geo-Spatial Knowledge and Intelligence - 5th International Conference, 2017

2016

Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems.

Mo Li, Shaoying Liu

IEEE Trans. Reliab., 2016

Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification.

Shaoying Liu

Proceedings of the Tests and Proofs - 10th International Conference, 2016

A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.

Fumiko Nagoya, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Applying SOFL to a Railway Interlocking System in Industry.

Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

A Tool Supported Testing Method for Reducing Cost and Improving Quality.

Shaoying Liu

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Validating formal specifications using testing-based specification animation.

Shaoying Liu

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2015

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge.

Weikai Miao, Xi Wang, Shaoying Liu

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Automatic Transformation from SOFL Module Specifications to Program Structures.

Xiongwen Luo, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

A GUI-Aided Approach to Formal Specification Construction.

Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Development of a web-based conference management system using SOFL.

Fumiko Nagoya, Shaoying Liu

Proceedings of the 2015 Conference on research in adaptive and convergent systems, 2015

Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach.

Fumiko Nagoya, Shaoying Liu, Kyousuke Hamada

Proceedings of the 5th International Conference on IT Convergence and Security, 2015

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.

Shaoying Liu, Xi Wang, Weikai Miao

Proceedings of the Formal Methods and Software Engineering, 2015

Validating Timed Component Contracts.

Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation.

Fauziah binti Zainuddin, Shaoying Liu

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Automatic Selection of System Functional Scenarios for Formal Specification Animation.

Shaoying Liu

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Computer-Aided Formalization of Requirements Based on Patterns.

Xi Wang, Shaoying Liu

IEICE Trans. Inf. Syst., 2014

Traceability-Based Formal Specification Inspection.

Mo Li, Shaoying Liu

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications.

Jinghua Zhang, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Adopting Variable Dependency in Animation for Presenting the Behaviour of Process.

Mo Li, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Tool Support for Rigorous Formal Specification Inspection.

Mo Li, Shaoying Liu

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

Extending Operation Semantics to Enhance the Applicability of Formal Refinement.

Shaoying Liu

Proceedings of the Specification, Algebra, and Software, 2014

Reviewing Formal Specification for Validation Using Animation and Trace Links.

Mo Li, Shaoying Liu

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A Formal Engineering Framework for Service-Based Software Modeling.

Weikai Miao, Shaoying Liu

IEEE Trans. Serv. Comput., 2013

A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios.

Shenghua Zhu, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

An Approach to Declaring Data Types for Formal Specifications.

Xi Wang, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Applying SOFL to Constructing a Smart Traffic Light Specification.

Wahyu Eko Sulistiono, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling.

Weikai Miao, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice.

Shaoying Liu, Shin Nakajima

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

SOFL Specification Animation with Tool Support.

Mo Li, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Guided Requirements Clarification for Automatic Formalization.

Xi Wang, Shaoying Liu

Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

Hazard analysis for safety-critical systems using SOFL.

Azma binti Abdullah, Shaoying Liu

Proceedings of the IEEE Symposium on Computational Intelligence for Engineering Solutions, 2013

An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements.

Xi Wang, Shaoying Liu

Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2012

Formal Specification-Based Inspection for Verification of Programs.

Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid

IEEE Trans. Software Eng., 2012

Formal engineering methods for software quality assurance.

Shaoying Liu

Frontiers Comput. Sci. China, 2012

A formal approach to testing programs in practice.

Shaoying Liu, Wuwei Shen, Shin Nakajima

Comput. Sci. Inf. Syst., 2012

Supporting Tool for Automatic Specification-Based Test Case Generation.

Weihang Zhang, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Development of a Supporting Tool for Formalizing Software Requirements.

Xi Wang, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Abstract Model Checking with SOFL Hierarchy.

Cong Tian, Shaoying Liu, Zhenhua Duan

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

A Formal Specification-Based Integration Testing Approach.

Weikai Miao, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing.

Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Design and Implementation of a Tool for Specifying Specification in SOFL.

Mo Li, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs.

Shaoying Liu

Proceedings of the Turing-100, 2012

An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification.

Fauziah binti Zainuddin, Shaoying Liu

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Automated Functional Scenarios-Based Formal Specification Animation.

Mo Li, Shaoying Liu

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper).

Richard Lai, Sajjad Mahmood, Shaoying Liu

J. Softw., 2011

A Study of When to Release a Software Product from the Perspective of Software Reliability Models.

Richard Lai, Mohit Garg, P. K. Kapur, Shaoying Liu

J. Softw., 2011

A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability.

Shaoying Liu, Tetsuo Tamai, Shin Nakajima

Int. J. Softw. Eng. Knowl. Eng., 2011

Pre-post notation is questionable in effectively specifying operations of object-oriented systems.

Shaoying Liu

Frontiers Comput. Sci. China, 2011

Automatic Specification-Based Testing: Challenges and Possibilities.

Shaoying Liu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates.

Cong Tian, Shaoying Liu, Shin Nakajima

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

A framework for automatic functional testing based on formal specifications.

Shaoying Liu, Shin Nakajima

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Integrating Prototyping into the SOFL Three-Step Modeling Approach.

Fauziah binti Zainuddin, Shaoying Liu

Proceedings of the Formal Methods and Software Engineering, 2011

A Pattern-Based Approach to Formal Specification Construction.

Xi Wang, Shaoying Liu, Huaikou Miao

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications.

Shaoying Liu, Shin Nakajima

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

A Formal Specification-Based Testing Approach to Accurate Web Service Selection.

Weikai Miao, Shaoying Liu

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

A Rigorous Method for Inspection of Model-Based Formal Specifications.

Shaoying Liu, John A. McDermid, Yuting Chen

IEEE Trans. Reliab., 2010

An approach to applying SOFL for agile process and its application in developing a test support tool.

Shaoying Liu

Innov. Syst. Softw. Eng., 2010

A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications.

Shaoying Liu, Shin Nakajima

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation.

Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems.

Yuting Chen, Shaoying Liu, Linzhang Wang

Proceedings of the 10th International Conference on Quality Software, 2010

A Pattern System to Support Refining Informal Ideas into Formal Expressions.

Xi Wang, Shaoying Liu, Huaikou Miao

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Teaching formal methods in the context of software engineering.

Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama

ACM SIGCSE Bull., 2009

Complex Dynamics of an Impulsive Control System in which Predator Species Share a Common Prey.

Yongzhen Pei, Shaoying Liu, Changguo Li

J. Nonlinear Sci., 2009

Integrating top-down and scenario-based methods for constructing software specifications.

Shaoying Liu

Inf. Softw. Technol., 2009

A delayed SEIQR epidemic model with pulse vaccination and the quarantine measure.

Yongzhen Pei, Shaoying Liu, Shujing Gao, Shuping Li, Changguo Li

Comput. Math. Appl., 2009

Integration of formal specification, review, and testing for software component quality assurance.

Shaoying Liu, Tetsuo Tamai, Shin Nakajima

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

An approach to detection of UML-based ownership violation.

Hector Miguel Chavez, Wuwei Shen, Shaoying Liu

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Service-oriented modeling using the SOFL formal engineering method.

Weikai Miao, Shaoying Liu

Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009

2008

A relation-based method combining functional and structural testing for test case generation.

Shaoying Liu, Yuting Chen

J. Syst. Softw., 2008

A Review Approach to Detecting Violations of Consistency between Specification and Program Structures.

Yuting Chen, Shaoying Liu, W. Eric Wong

Int. J. Softw. Eng. Knowl. Eng., 2008

Utilizing Formalization to Test Programs without Available Source Code (Short Paper).

Shaoying Liu

Proceedings of the Eighth International Conference on Quality Software, 2008

A Method Combining Review and Testing for Verifying Software Systems.

Yuting Chen, Shaoying Liu, W. Eric Wong

Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008

2007

An automated approach to specification animation for validation.

Shaoying Liu, Hao Wang

J. Syst. Softw., 2007

A Framework for Practical Specification-Based Testing.

Shaoying Liu

Proceedings of the International Conference on Software Engineering Theory and Practice, 2007

Integrating Specification-Based Review and Testing for Detecting Errors in Programs.

Shaoying Liu

Proceedings of the Formal Methods and Software Engineering, 2007

Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility.

Shaoying Liu

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Developing an Insulin Pump System Using the SOFL Method.

Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

A Tool-Supported Review Approach to Detecting Structural Consistency Violations.

Yuting Chen, Shaoying Liu, Fumiko Nagoya

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

An Empirical Study on a Specification-Based Program Review Approach.

Fumiko Nagoya, Yuting Chen, Shaoying Liu

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005

An Automated Approach to Specification-Based Program Inspection.

Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid

Proceedings of the Formal Methods and Software Engineering, 2005

Design of a Tool for Specification-Based Program Review.

Fumiko Nagoya, Shaoying Liu, Yuting Chen

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Framework for SOFL-Based Program Review.

Yuting Chen, Shaoying Liu, Fumiko Nagoya

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Tool and Case Study for Specification-Based Program Review.

Fumiko Nagoya, Shaoying Liu, Yuting Chen

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

A Review Approach to Detecting Structural Consistency Violations in Programs.

Yuting Chen, Shaoying Liu, Fumiko Nagoya

Proceedings of the 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 2005

2004

An Approach to Integration Testing Based on Data Flow Specifications.

Yuting Chen, Shaoying Liu, Fumiko Nagoya

Proceedings of the Theoretical Aspects of Computing, 2004

Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method.

Shaoying Liu

Proceedings of the Formal Methods and Software Engineering, 2004

An Investigation of the Approach to Specification-Based Program Review through Case Studies.

Fumiko Nagoya, Shaoying Liu, Yuting Chen

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

An Automated Rigorous Review Method for Verifying and Validating Formal Specifications.

Shaoying Liu

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

An Approach to Detecting Domain Errors Using Formal Specification-Based Testing.

Yuting Chen, Shaoying Liu

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Generating test data from state-based specifications.

A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann

Softw. Test. Verification Reliab., 2003

A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL.

Sirin Bekbay, Shaoying Liu

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Formalization, Testing and Execution of a Use Case Diagram.

Wuwei Shen, Shaoying Liu

Proceedings of the Formal Methods and Software Engineering, 2003

The Availability Semantics of Predicate Data Flow Diagram.

Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu

Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification.

Shaoying Liu

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols.

Shaoying Liu

Proceedings of the 17th International Conference on Advanced Information Networking and Applications (AINA'03), 2003

2002

Extending SOFL to support both top-down and bottom-up approaches.

Shaoying Liu, Jin Song Dong

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

Developing Quality Software Systems Using the SOFL Formal Engineering Method.

Shaoying Liu

Proceedings of the Formal Methods and Software Engineering, 2002

Capturing Complete and Accurate Requirements by Refinemen.

Shaoying Liu

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

A Simulation Approach to Verification and Validation of Formal Specifications.

Shaoying Liu

Proceedings of the 1st International Symposium on Cyber Worlds (CW 2002), 2002

The Semantics of Extended SOFL.

Jin Song Dong, Shaoying Liu

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Class and Module in SOFL.

Shaoying Liu, Jin Song Dong

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language.

Hassan Gomaa, Shaoying Liu, Michael E. Shin

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

A GUI and testing tool for SOFL.

Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Generating test data from SOFL specifications.

A. Jefferson Offutt, Shaoying Liu

J. Syst. Softw., 1999

An Object Semantic Model of SOFL.

Jin Song Dong, Shaoying Liu

Proceedings of the Integrated Formal Methods, 1999

Criteria for Generating Specification-Based Tests.

A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu

Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Verifying Consistency and Validity of Formal Specifications by Testing.

Shaoying Liu

Proceedings of the FM'99 - Formal Methods, 1999

Applying SOFL to Develop a University Information System.

Shaoying Liu, Masaomi Shibata, Ryuichi Sato

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

SOFL: A Formal Engineering Methodology for Industrial Applications.

Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba

IEEE Trans. Software Eng., 1998

A Formal Definition of FRSM and Applications.

Shaoying Liu

Int. J. Softw. Eng. Knowl. Eng., 1998

Applying SOFL to Specify A Railway Crossing Controller for Industry.

Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Interacting Frameworks in Catalysis.

Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.

Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura

Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998

1997

SOFL: A Formal Engineering Methodology for Industrial Applications.

Shaoying Liu

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Evolution: A More Practical Approach than Refinement for Software Development.

Shaoying Liu

Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

Self-independent Petri Nets for Distributed Systems.

Yong Sun, Shaoying Liu, Mitsuru Ohba

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

A Formal Operational Semantics for SOFL.

Chris Ho-Stuart, Shaoying Liu

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System.

Shaoying Liu, John A. McDermid

J. Syst. Softw., 1996

Semi-automatic Transformation from Formal Specifications to Programs.

Shaoying Liu, Chris Ho-Stuart

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

A Case Study Using SAM - Safety Analysis of PES.

John A. McDermid, Shaoying Liu

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

The practice of formal methods in safety-critical systems.

Shaoying Liu, Victoria Stavridou, Bruno Dutertre

J. Syst. Softw., 1995

Internal consistency of FRSM specifications.

Shaoying Liu

J. Syst. Softw., 1995

Structured methodology+object-oriented methodology+formal methods: methodology of SOFL.

Shaoying Liu, Yong Sun

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Limitations of Formal Methods and an Approach to Improvement.

Shaoying Liu, Rolf Adams

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1993

A formal requirements specification method based on data flow analysis.

Shaoying Liu

J. Syst. Softw., 1993

An Abstract Programming Language and Correctness Proofs.

Shaoying Liu

Comput. Lang., 1993

Dynamic Sets and Their Application in VDM.

Shaoying Liu, John A. McDermid

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

1992

A formal structured method for requirement specification construction.

Shaoying Liu

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

A user-friendly formal requirements specification method.

Shaoying Liu

Proceedings of the 30th Annual Southeast Regional Conference, 1992