Shaoying Liu

According to our database1, Shaoying Liu authored at least 148 papers between 1992 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2020
BAGKD: A Batch Authentication and Group Key Distribution Protocol for VANETs.
IEEE Commun. Mag., 2020

Range Partition Testing: Principle and Technique.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019
A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction.
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.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Specification-based Test Case Generation with Genetic Algorithm.
Proceedings of the IEEE Congress on Evolutionary Computation, 2019

2018
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications.
Sci. China Inf. Sci., 2018

Verification of SysML Activity Diagrams Using Hoare Logic and SOFL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Software Construction Monitoring and Predicting for Human-Machine Pair Programming.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

TBFV-SE: Testing-Based Formal Verification with Symbolic Execution.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

An efficient approach for verifying automobile distributed application systems on timing property.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Development of a Web Dictionary System Using SOFL.
Wirel. Pers. Commun., 2017

A Software Tool to Support the "Vibration" Method.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

A Software Tool to Support Scenario-Based Formal Specification for Error Prevention.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

A Comparative Study of a GUI-Aided Formal Specification Construction Approach.
Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic.
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.
IEEE Trans. Reliab., 2016

Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification.
Proceedings of the Tests and Proofs - 10th International Conference, 2016

A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Applying SOFL to a Railway Interlocking System in Industry.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

A Tool Supported Testing Method for Reducing Cost and Improving Quality.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Validating formal specifications using testing-based specification animation.
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.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Automatic Transformation from SOFL Module Specifications to Program Structures.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

A GUI-Aided Approach to Formal Specification Construction.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Development of a web-based conference management system using SOFL.
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.
Proceedings of the 5th International Conference on IT Convergence and Security, 2015

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.
Proceedings of the Formal Methods and Software Engineering, 2015

Validating Timed Component Contracts.
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.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Automatic Selection of System Functional Scenarios for Formal Specification Animation.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
Computer-Aided Formalization of Requirements Based on Patterns.
IEICE Trans. Inf. Syst., 2014

Traceability-Based Formal Specification Inspection.
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.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Adopting Variable Dependency in Animation for Presenting the Behaviour of Process.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Tool Support for Rigorous Formal Specification Inspection.
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

Extending Operation Semantics to Enhance the Applicability of Formal Refinement.
Proceedings of the Specification, Algebra, and Software, 2014

Reviewing Formal Specification for Validation Using Animation and Trace Links.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
A Formal Engineering Framework for Service-Based Software Modeling.
IEEE Trans. Serv. Comput., 2013

A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

An Approach to Declaring Data Types for Formal Specifications.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Applying SOFL to Constructing a Smart Traffic Light Specification.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

SOFL Specification Animation with Tool Support.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Guided Requirements Clarification for Automatic Formalization.
Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

Hazard analysis for safety-critical systems using SOFL.
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.
Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2012
Formal Specification-Based Inspection for Verification of Programs.
IEEE Trans. Software Eng., 2012

Formal engineering methods for software quality assurance.
Frontiers Comput. Sci. China, 2012

A formal approach to testing programs in practice.
Comput. Sci. Inf. Syst., 2012

Supporting Tool for Automatic Specification-Based Test Case Generation.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Development of a Supporting Tool for Formalizing Software Requirements.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Abstract Model Checking with SOFL Hierarchy.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

A Formal Specification-Based Integration Testing Approach.
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.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Design and Implementation of a Tool for Specifying Specification in SOFL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs.
Proceedings of the Turing-100, 2012

An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Automated Functional Scenarios-Based Formal Specification Animation.
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).
J. Softw., 2011

A Study of When to Release a Software Product from the Perspective of Software Reliability Models.
J. Softw., 2011

A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability.
Int. J. Softw. Eng. Knowl. Eng., 2011

Pre-post notation is questionable in effectively specifying operations of object-oriented systems.
Frontiers Comput. Sci. China, 2011

Automatic Specification-Based Testing: Challenges and Possibilities.
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.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

A framework for automatic functional testing based on formal specifications.
Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Integrating Prototyping into the SOFL Three-Step Modeling Approach.
Proceedings of the Formal Methods and Software Engineering, 2011

A Pattern-Based Approach to Formal Specification Construction.
Proceedings of the Software Engineering, Business Continuity, and Education, 2011

A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

A Formal Specification-Based Testing Approach to Accurate Web Service Selection.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010
A Rigorous Method for Inspection of Model-Based Formal Specifications.
IEEE Trans. Reliab., 2010

An approach to applying SOFL for agile process and its application in developing a test support tool.
Innov. Syst. Softw. Eng., 2010

A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications.
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.
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.
Proceedings of the 10th International Conference on Quality Software, 2010

A Pattern System to Support Refining Informal Ideas into Formal Expressions.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
Teaching formal methods in the context of software engineering.
ACM SIGCSE Bull., 2009

Complex Dynamics of an Impulsive Control System in which Predator Species Share a Common Prey.
J. Nonlinear Sci., 2009

Integrating top-down and scenario-based methods for constructing software specifications.
Inf. Softw. Technol., 2009

A delayed SEIQR epidemic model with pulse vaccination and the quarantine measure.
Comput. Math. Appl., 2009

Integration of formal specification, review, and testing for software component quality assurance.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

An approach to detection of UML-based ownership violation.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Service-oriented modeling using the SOFL formal engineering method.
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.
J. Syst. Softw., 2008

A Review Approach to Detecting Violations of Consistency between Specification and Program Structures.
Int. J. Softw. Eng. Knowl. Eng., 2008

Utilizing Formalization to Test Programs without Available Source Code (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

A Method Combining Review and Testing for Verifying Software Systems.
Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008

2007
An automated approach to specification animation for validation.
J. Syst. Softw., 2007

A Framework for Practical Specification-Based Testing.
Proceedings of the International Conference on Software Engineering Theory and Practice, 2007

Integrating Specification-Based Review and Testing for Detecting Errors in Programs.
Proceedings of the Formal Methods and Software Engineering, 2007

Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Developing an Insulin Pump System Using the SOFL Method.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
A Tool-Supported Review Approach to Detecting Structural Consistency Violations.
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.
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005
An Automated Approach to Specification-Based Program Inspection.
Proceedings of the Formal Methods and Software Engineering, 2005

Design of a Tool for Specification-Based Program Review.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Framework for SOFL-Based Program Review.
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.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

A Review Approach to Detecting Structural Consistency Violations in Programs.
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.
Proceedings of the Theoretical Aspects of Computing, 2004

Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method.
Proceedings of the Formal Methods and Software Engineering, 2004

An Investigation of the Approach to Specification-Based Program Review through Case Studies.
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.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

An Approach to Detecting Domain Errors Using Formal Specification-Based Testing.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
Generating test data from state-based specifications.
Softw. Test. Verification Reliab., 2003

A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Formalization, Testing and Execution of a Use Case Diagram.
Proceedings of the Formal Methods and Software Engineering, 2003

The Availability Semantics of Predicate Data Flow Diagram.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification.
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.
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.
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.
Proceedings of the Formal Methods and Software Engineering, 2002

Capturing Complete and Accurate Requirements by Refinemen.
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.
Proceedings of the 1st International Symposium on Cyber Worlds (CW 2002), 2002

The Semantics of Extended SOFL.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Class and Module in SOFL.
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.
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

A GUI and testing tool for SOFL.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
Generating test data from SOFL specifications.
J. Syst. Softw., 1999

An Object Semantic Model of SOFL.
Proceedings of the Integrated Formal Methods, 1999

Criteria for Generating Specification-Based Tests.
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Verifying Consistency and Validity of Formal Specifications by Testing.
Proceedings of the FM'99 - Formal Methods, 1999

Applying SOFL to Develop a University Information System.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998
SOFL: A Formal Engineering Methodology for Industrial Applications.
IEEE Trans. Software Eng., 1998

A Formal Definition of FRSM and Applications.
Int. J. Softw. Eng. Knowl. Eng., 1998

Applying SOFL to Specify A Railway Crossing Controller for Industry.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Interacting Frameworks in Catalysis.
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.
Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998

1997
SOFL: A Formal Engineering Methodology for Industrial Applications.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Evolution: A More Practical Approach than Refinement for Software Development.
Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

Self-independent Petri Nets for Distributed Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

A Formal Operational Semantics for SOFL.
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.
J. Syst. Softw., 1996

Semi-automatic Transformation from Formal Specifications to Programs.
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.
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995
The practice of formal methods in safety-critical systems.
J. Syst. Softw., 1995

Internal consistency of FRSM specifications.
J. Syst. Softw., 1995

Structured methodology+object-oriented methodology+formal methods: methodology of SOFL.
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.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1993
A formal requirements specification method based on data flow analysis.
J. Syst. Softw., 1993

An Abstract Programming Language and Correctness Proofs.
Comput. Lang., 1993

Dynamic Sets and Their Application in VDM.
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.
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

A user-friendly formal requirements specification method.
Proceedings of the 30th Annual Southeast Regional Conference, 1992


  Loading...