Shaoying Liu
Orcid: 0000-0002-6748-5052
According to our database1,
Shaoying Liu
authored at least 203 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Enhancing human-machine pair inspection with risk number and code inspection diagram.
Softw. Qual. J., September, 2024
ID-SR: Privacy-Preserving Social Recommendation Based on Infinite Divisibility for Trustworthy AI.
ACM Trans. Knowl. Discov. Data, August, 2024
Toward Pointer-Analysis-Based Vulnerability Discovery in Human-Machine Pair Programming.
Int. J. Softw. Eng. Knowl. Eng., May, 2024
IEEE Trans. Computers, April, 2024
J. Syst. Softw., February, 2024
NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification.
Int. J. Softw. Eng. Knowl. Eng., February, 2024
Proceedings of the 13th International Conference on Software and Computer Applications, 2024
Proceedings of the Formal Methods and Software Engineering, 2024
2023
Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters.
IEEE Trans. Software Eng., October, 2023
Delay-CJ: A novel cryptojacking covert attack method based on delayed strategy and its detection.
Digit. Commun. Networks, October, 2023
Comput. Secur., September, 2023
Cross-Project Transfer Learning on Lightweight Code Semantic Graphs for Defect Prediction.
Int. J. Softw. Eng. Knowl. Eng., July, 2023
Requirements-related fault prevention during the transformation from formal specifications to programs.
IET Softw., June, 2023
A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL.
IEICE Trans. Inf. Syst., May, 2023
ASQ-FastBM3D: An Adaptive Denoising Framework for Defending Adversarial Attacks in Machine Learning Enabled Systems.
IEEE Trans. Reliab., March, 2023
IEEE J. Biomed. Health Informatics, February, 2023
Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages.
IEEE Trans. Software Eng., 2023
UAF-GUARD: Defending the use-after-free exploits via fine-grained memory permission management.
Comput. Secur., 2023
Proceedings of the 12th International Conference on Software and Computer Applications, 2023
Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Proceedings of the Algorithms and Architectures for Parallel Processing, 2023
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.
IEEE Trans. Software Eng., 2022
Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction.
IEEE Trans. Reliab., 2022
CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0.
IEEE Trans. Ind. Informatics, 2022
SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles.
J. Parallel Distributed Comput., 2022
J. Log. Algebraic Methods Program., 2022
Int. J. Softw. Eng. Knowl. Eng., 2022
Empir. Softw. Eng., 2022
DevFemOps: enhancing maintainability based on microservices using formal engineering methods.
Connect. Sci., 2022
An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement.
IEEE Access, 2022
IEEE Access, 2022
Proceedings of the Structured Object-Oriented Formal Language and Method, 2022
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.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2022
Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022
2021
IEEE Trans. Reliab., 2021
J. Syst. Softw., 2021
J. Syst. Softw., 2021
Test Oracle Generation Based on BPNN by Using the Values of Variables at Different Breakpoints for Programs.
Int. J. Softw. Eng. Knowl. Eng., 2021
Int. J. Perform. Eng., 2021
SG-PBFT: a Secure and Highly Efficient Blockchain PBFT Consensus Algorithm for Internet of Vehicles.
CoRR, 2021
A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis.
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.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the ICSCA 2021, 2021
2020
IEEE Commun. Mag., 2020
Proceedings of the Structured Object-Oriented Formal Language and Method, 2020
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2020
2019
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
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
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018
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
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
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
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
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
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
Proceedings of the Structured Object-Oriented Formal Language and Method, 2015
Proceedings of the Structured Object-Oriented Formal Language and Method, 2015
Proceedings of the 2015 Conference on research in adaptive and convergent systems, 2015
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
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015
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
IEICE Trans. Inf. Syst., 2014
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
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014
Proceedings of the Specification, Algebra, and Software, 2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
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
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013
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
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013
Proceedings of the 14th ACIS International Conference on Software Engineering, 2013
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
IEEE Trans. Software Eng., 2012
Frontiers Comput. Sci. China, 2012
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012
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
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012
Proceedings of the Turing-100, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
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
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
Proceedings of the 6th International Workshop on Automation of Software Test, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
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
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011
2010
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
Proceedings of the Formal Methods and Software Engineering, 2010
2009
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
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
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
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
Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008
2007
J. Syst. Softw., 2007
A Framework for Practical Specification-Based Testing.
Proceedings of the International Conference on Software Engineering Theory and Practice, 2007
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
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
2006
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006
2005
Proceedings of the Formal Methods and Software Engineering, 2005
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
Proceedings of the 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 2005
2004
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
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2003
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
Proceedings of the Formal Methods and Software Engineering, 2003
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
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002
Proceedings of the 1st International Symposium on Cyber Worlds (CW 2002), 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
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
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
1999
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
1998
IEEE Trans. Software Eng., 1998
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998
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
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997
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
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997
1996
J. Syst. Softw., 1996
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996
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
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
1993
J. Syst. Softw., 1993
Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993
1992
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992
Proceedings of the 30th Annual Southeast Regional Conference, 1992