default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShaoying Liu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[b1]Shaoying Liu:
Agile-SOFL - Agile Formal Engineering Method. Springer 2024, ISBN 978-981-97-2284-6, pp. 1-143- [j64]Haiyi Liu
, Shaoying Liu, Guangquan Xu, Ai Liu, Dingbang Fang:
NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification. Int. J. Softw. Eng. Knowl. Eng. 34(2): 273-300 (2024) - [j63]Pingyan Wang, Shaoying Liu:
Toward Pointer-Analysis-Based Vulnerability Discovery in Human-Machine Pair Programming. Int. J. Softw. Eng. Knowl. Eng. 34(5): 751-774 (2024) - [j62]Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang:
Detecting security vulnerabilities with vulnerability nets. J. Syst. Softw. 208: 111902 (2024) - [j61]Yujun Dai, Shaoying Liu, Guangquan Xu:
Enhancing human-machine pair inspection with risk number and code inspection diagram. Softw. Qual. J. 32(3): 939-959 (2024) - [j60]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. IEEE Trans. Computers 73(4): 956-969 (2024) - [j59]Jingyi Cui, Guangquan Xu, Jian Liu, Shicheng Feng, Jianli Wang, Hao Peng, Shihui Fu, Zhaohua Zheng, James Xi Zheng, Shaoying Liu:
ID-SR: Privacy-Preserving Social Recommendation Based on Infinite Divisibility for Trustworthy AI. ACM Trans. Knowl. Discov. Data 18(7): 161 (2024) - [c138]Yang Li, Shaoying Liu, Lisen Guo:
Testing the Security of Deep Learning Systems Based on Chest X-ray Images. ICSCA 2024: 198-203 - 2023
- [j58]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: 103048 (2023) - [j57]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: 103359 (2023) - [j56]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): 1169-1179 (2023) - [j55]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): 986-1000 (2023) - [j54]Jiandong Li, Shaoying Liu:
Requirements-related fault prevention during the transformation from formal specifications to programs. IET Softw. 17(3): 316-332 (2023) - [j53]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): 1095-1117 (2023) - [j52]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): 698-709 (2023) - [j51]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): 317-328 (2023) - [j50]Ai Liu, Shaoying Liu:
Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages. IEEE Trans. Software Eng. 49(1): 304-324 (2023) - [j49]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): 4624-4638 (2023) - [c137]Yu Du, Shaoying Liu:
Maintainability Assessment for SOFL Formal Specifications. DSA 2023: 680-687 - [c136]Lixiao Gong, Guangquan Xu, Jingyi Cui, Xiao Wang, Shihui Fu, Xi Zheng, Shaoying Liu:
GDTM: Gaussian Differential Trust Mechanism for Optimal Recommender System. ICA3PP (6) 2023: 78-92 - [c135]Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu:
Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. ICECCS 2023: 108-115 - [c134]Pingyan Wang, Shaoying Liu:
Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis. ICECCS 2023: 152-156 - [c133]Yanzhao Xia, Shaoying Liu:
A Framework of Formal Specification-Based Data Generation for Deep Neural Networks. ICSCA 2023: 273-282 - [e12]Shaoying Liu, Zhenhua Duan, Ai Liu:
Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13854, Springer 2023, ISBN 978-3-031-29475-4 [contents] - 2022
- [j48]Lei Rao, Shaoying Liu, Han Peng:
An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement. IEEE Access 10: 13089-13102 (2022) - [j47]Haiyi Liu, Shaoying Liu, Chenglong Wen, W. Eric Wong:
TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning. IEEE Access 10: 39674-39680 (2022) - [j46]Tetsuo Fukuzaki, Shaoying Liu, Michael Butler:
DevFemOps: enhancing maintainability based on microservices using formal engineering methods. Connect. Sci. 34(1): 2125-2138 (2022) - [j45]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): 48 (2022) - [j44]Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang:
Knowledge Graph Construction for SOFL Formal Specifications. Int. J. Softw. Eng. Knowl. Eng. 32(4): 605-644 (2022) - [j43]Ai Liu, Shaoying Liu, Meng Sun:
Probabilistic mediator: A coalgebraic perspective. J. Log. Algebraic Methods Program. 129: 100808 (2022) - [j42]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: 1-11 (2022) - [j41]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): 7186-7195 (2022) - [j40]Dingbang Fang, Shaoying Liu, Ai Liu:
Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction. IEEE Trans. Reliab. 71(2): 512-526 (2022) - [j39]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): 691-712 (2022) - [c132]Qingying Liu, Tao Zhang, Jerry Gao, Shaoying Liu, Jing Cheng:
Construction of Semantic Model for GUI of Mobile Applications Using Deep Learning. AITest 2022: 7-11 - [c131]Hongning Miao, Shaoying Liu:
Automatic Localization of Potential Faults for Java Runtime Exceptions. DSA 2022: 320-329 - [c130]Jiandong Li, Shaoying Liu:
Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming. QRS Companion 2022: 359-367 - [c129]Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang:
Detecting Security Vulnerabilities with Vulnerability Nets. QRS Companion 2022: 375-383 - [c128]Lei Rao, Shaoying Liu, Ai Liu:
Testing Program Segments to Detect Runtime Exceptions in Java. SOFL+MSVL 2022: 93-105 - [c127]Yang Li, Shaoying Liu:
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. SOFL+MSVL 2022: 119-125 - [c126]Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu:
Verifying and Improving Neural Networks Using Testing-Based Formal Verification. SOFL+MSVL 2022: 126-141 - 2021
- [j38]Lei Rao, Shaoying Liu, Ai Liu:
Testing Program Segments to Detect Software Faults during Programming. Int. J. Perform. Eng. 17(11): 907 (2021) - [j37]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): 1469-1494 (2021) - [j36]Shaoying Liu, Honghui Li, Zhouxian Jiang, Xiuru Li, Feng Liu, Yan Zhong:
Rigorous code review by reverse engineering. Inf. Softw. Technol. 133: 106503 (2021) - [j35]Shaoying Liu, Weikai Miao:
A formal specification animation method for operation validation. J. Syst. Softw. 178: 110948 (2021) - [j34]Shaoying Liu:
A three-step hybrid specification approach to error prevention. J. Syst. Softw. 178: 110975 (2021) - [j33]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: 4559-4573 (2021) - [j32]Rong Wang, Shaoying Liu, Yuji Sato:
SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution. IEEE Trans. Reliab. 70(3): 1053-1070 (2021) - [c125]Kenta Sugai, Hiroshi Hosobe, Shaoying Liu:
SMT-Based Theorem Verification for Testing-Based Formal Verification. ICSCA 2021: 251-257 - [c124]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: 149-156 - [c123]Yujun Dai, Shaoying Liu:
Applying Cognitive Complexity to Checklist-Based Human-Machine Pair Inspection. QRS Companion 2021: 314-318 - [c122]Dingbang Fang, Shaoying Liu, Ai Liu:
EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction. QRS 2021: 482-492 - [c121]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: 852-863 - [e11]Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12723, Springer 2021, ISBN 978-3-030-77473-8 [contents] - [i2]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 abs/2101.01306 (2021) - [i1]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 abs/2105.11593 (2021) - 2020
- [j31]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): 35-41 (2020) - [c120]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: 583-597 - [c119]Rong Wang, Shaoying Liu, Yuji Sato:
A Fault Localization Approach Derived From Testing-based Formal Verification. ICECCS 2020: 165-170 - [c118]Shaoying Liu:
Range Partition Testing: Principle and Technique. QRS Companion 2020: 104-107 - [c117]Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu:
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. SOFL+MSVL 2020: 105-125 - [e10]Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12028, Springer 2020, ISBN 978-3-030-41417-7 [contents]
2010 – 2019
- 2019
- [c116]Rong Wang, Yuji Sato, Shaoying Liu:
Specification-based Test Case Generation with Genetic Algorithm. CEC 2019: 1382-1389 - [c115]Rong Wang, Shaoying Liu:
Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution. QRS Companion 2019: 205-212 - [c114]Busalire Onesmus Emeka, Shaoying Liu:
A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. SOFL+MSVL 2019: 13-28 - [c113]Xu Qin, Shaoying Liu, Tao Zhang:
A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction. SOFL+MSVL 2019: 167-186 - [e9]Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11392, Springer 2019, ISBN 978-3-030-13650-5 [contents] - 2018
- [j30]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): 052102:1-052102:15 (2018) - [c112]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: 230-231 - [c111]Rong Wang, Shaoying Liu:
TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. QRS 2018: 59-66 - [c110]Shaoying Liu:
Software Construction Monitoring and Predicting for Human-Machine Pair Programming. SOFL+MSVL 2018: 3-20 - [c109]Yufei Yin, Shaoying Liu, Yixiang Chen:
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. SOFL+MSVL 2018: 71-88 - [e8]Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10795, Springer 2018, ISBN 978-3-319-90103-9 [contents] - 2017
- [j29]Fumiko Nagoya, Shaoying Liu:
Development of a Web Dictionary System Using SOFL. Wirel. Pers. Commun. 94(2): 253-266 (2017) - [c108]Shingo Fukuoka, Yixiang Chen, Shaoying Liu:
Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. GSKI (1) 2017: 83-95 - [c107]Fumiko Nagoya, Shaoying Liu:
A Comparative Study of a GUI-Aided Formal Specification Construction Approach. ICCSA (1) 2017: 273-283 - [c106]Busalire Onesmus Emeka, Shaoying Liu:
Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications. QRS 2017: 176-183 - [c105]Fumiko Nagoya, Shaoying Liu:
An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. SOFL+MSVL 2017: 24-35 - [c104]Pan Zhao, Shaoying Liu:
A Software Tool to Support the "Vibration" Method. SOFL+MSVL 2017: 171-186 - [c103]Siyuan Li, Shaoying Liu:
A Software Tool to Support Scenario-Based Formal Specification for Error Prevention. SOFL+MSVL 2017: 187-199 - [e7]Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10189, 2017, ISBN 978-3-319-57707-4 [contents] - 2016
- [j28]Mo Li, Shaoying Liu:
Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems. IEEE Trans. Reliab. 65(1): 88-106 (2016) - [c102]Shaoying Liu:
Validating formal specifications using testing-based specification animation. FormaliSE@ICSE 2016: 29-35 - [c101]Shaoying Liu:
A Tool Supported Testing Method for Reducing Cost and Improving Quality. QRS 2016: 448-455 - [c100]Fumiko Nagoya, Shaoying Liu:
A Case Study of a GUI-Aided Approach to Constructing Formal Specifications. SOFL+MSVL 2016: 74-84 - [c99]Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou:
Applying SOFL to a Railway Interlocking System in Industry. SOFL+MSVL 2016: 160-177 - [c98]Shaoying Liu:
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification. TAP@STAF 2016: 112-129 - [e6]Kazuhiro Ogata, Mark Lawford, Shaoying Liu:
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. Lecture Notes in Computer Science 10009, 2016, ISBN 978-3-319-47845-6 [contents] - [e5]Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9559, Springer 2016, ISBN 978-3-319-31219-4 [contents] - 2015
- [c97]Fauziah binti Zainuddin, Shaoying Liu:
PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation. APSEC 2015: 24-31 - [c96]Shaoying Liu:
Automatic Selection of System Functional Scenarios for Formal Specification Animation. APSEC 2015: 72-79 - [c95]Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou:
Validating Timed Component Contracts. EUROMICRO-SEAA 2015: 245-249 - [c94]Shaoying Liu, Xi Wang, Weikai Miao:
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. ICFEM 2015: 100-115 - [c93]Fumiko Nagoya, Shaoying Liu, Kyousuke Hamada:
Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach. ICITCS 2015: 1-5 - [c92]Fumiko Nagoya, Shaoying Liu:
Development of a web-based conference management system using SOFL. RACS 2015: 337-342 - [c91]Shaoying Liu:
A GUI-Aided Approach to Formal Specification Construction. SOFL+MSVL 2015: 44-56 - [c90]Xiongwen Luo, Shaoying Liu:
Automatic Transformation from SOFL Module Specifications to Program Structures. SOFL+MSVL 2015: 206-218 - [c89]Weikai Miao, Xi Wang, Shaoying Liu:
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. TASE 2015: 127-130 - [e4]Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8979, Springer 2015, ISBN 978-3-319-17403-7 [contents] - 2014
- [j27]Xi Wang, Shaoying Liu:
Computer-Aided Formalization of Requirements Based on Patterns. IEICE Trans. Inf. Syst. 97-D(2): 198-212 (2014) - [c88]Mo Li, Shaoying Liu:
Reviewing Formal Specification for Validation Using Animation and Trace Links. APSEC (1) 2014: 263-270 - [c87]Shaoying Liu:
Extending Operation Semantics to Enhance the Applicability of Formal Refinement. Specification, Algebra, and Software 2014: 434-440 - [c86]Mo Li, Shaoying Liu:
Tool Support for Rigorous Formal Specification Inspection. CSE 2014: 729-734 - [c85]Jinghua Zhang, Shaoying Liu:
Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. SOFL+MSVL 2014: 32-46 - [c84]Mo Li, Shaoying Liu:
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process. SOFL+MSVL 2014: 81-93 - [c83]Mo Li, Shaoying Liu:
Traceability-Based Formal Specification Inspection. SERE 2014: 167-176 - [e3]Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8332, Springer 2014, ISBN 978-3-319-04914-4 [contents] - 2013
- [j26]Weikai Miao, Shaoying Liu:
A Formal Engineering Framework for Service-Based Software Modeling. IEEE Trans. Serv. Comput. 6(4): 536-550 (2013) - [c82]Xi Wang, Shaoying Liu:
An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements. ICIS 2013: 489-496 - [c81]Azma binti Abdullah, Shaoying Liu:
Hazard analysis for safety-critical systems using SOFL. CIES 2013: 133-140 - [c80]Xi Wang, Shaoying Liu:
Guided Requirements Clarification for Automatic Formalization. SNPD 2013: 348-355 - [c79]Shaoying Liu, Shin Nakajima:
Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice. SOFL+MSVL 2013: 3-16 - [c78]Weikai Miao, Shaoying Liu:
Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling. SOFL+MSVL 2013: 89-103 - [c77]Shenghua Zhu, Shaoying Liu:
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios. SOFL+MSVL 2013: 104-117 - [c76]Mo Li, Shaoying Liu:
SOFL Specification Animation with Tool Support. SOFL+MSVL 2013: 118-131 - [c75]Xi Wang, Shaoying Liu:
An Approach to Declaring Data Types for Formal Specifications. SOFL+MSVL 2013: 135-153 - [c74]Wahyu Eko Sulistiono, Shaoying Liu:
Applying SOFL to Constructing a Smart Traffic Light Specification. SOFL+MSVL 2013: 166-174 - [e2]Shaoying Liu:
Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7787, Springer 2013, ISBN 978-3-642-39276-4 [contents] - 2012
- [j25]Shaoying Liu, Wuwei Shen, Shin Nakajima:
A formal approach to testing programs in practice. Comput. Sci. Inf. Syst. 9(4): 1469-1491 (2012) - [j24]Shaoying Liu:
Formal engineering methods for software quality assurance. Frontiers Comput. Sci. China 6(1): 1-2 (2012) - [j23]Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid:
Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. 38(5): 1100-1122 (2012) - [c73]Mo Li, Shaoying Liu:
Automated Functional Scenarios-Based Formal Specification Animation. APSEC 2012: 107-115 - [c72]Fauziah binti Zainuddin, Shaoying Liu:
An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification. APSEC 2012: 654-663 - [c71]Shaoying Liu:
Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. Turing-100 2012: 229-238 - [c70]Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima:
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. SOFL 2012: 1-11 - [c69]Weihang Zhang, Shaoying Liu:
Supporting Tool for Automatic Specification-Based Test Case Generation. SOFL 2012: 12-25 - [c68]Weikai Miao, Shaoying Liu:
A Formal Specification-Based Integration Testing Approach. SOFL 2012: 26-43 - [c67]Mo Li, Shaoying Liu:
Design and Implementation of a Tool for Specifying Specification in SOFL. SOFL 2012: 44-55 - [c66]Xi Wang, Shaoying Liu:
Development of a Supporting Tool for Formalizing Software Requirements. SOFL 2012: 56-70 - [c65]Cong Tian, Shaoying Liu, Zhenhua Duan:
Abstract Model Checking with SOFL Hierarchy. SOFL 2012: 71-86 - 2011
- [j22]Shaoying Liu:
Pre-post notation is questionable in effectively specifying operations of object-oriented systems. Frontiers Comput. Sci. China 5(3): 341-352 (2011) - [j21]Shaoying Liu, Tetsuo Tamai, Shin Nakajima:
A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. Int. J. Softw. Eng. Knowl. Eng. 21(2): 259-288 (2011) - [j20]Richard Lai, Mohit Garg, P. K. Kapur, Shaoying Liu:
A Study of When to Release a Software Product from the Perspective of Software Reliability Models. J. Softw. 6(4): 651-661 (2011) - [j19]Richard Lai, Sajjad Mahmood, Shaoying Liu:
RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper). J. Softw. 6(6): 1050-1066 (2011) - [c64]Weikai Miao, Shaoying Liu:
A Formal Specification-Based Testing Approach to Accurate Web Service Selection. APSCC 2011: 259-266 - [c63]Shaoying Liu, Shin Nakajima:
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. APSEC 2011: 73-80 - [c62]Xi Wang, Shaoying Liu, Huaikou Miao:
A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL 2011: 159-168 - [c61]Fauziah binti Zainuddin, Shaoying Liu:
Integrating Prototyping into the SOFL Three-Step Modeling Approach. ICFEM 2011: 163-178 - [c60]Shaoying Liu, Shin Nakajima:
A framework for automatic functional testing based on formal specifications. AST 2011: 107-108 - [c59]Cong Tian, Shaoying Liu, Shin Nakajima:
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. ICST Workshops 2011: 304-309 - [c58]Shaoying Liu:
Automatic Specification-Based Testing: Challenges and Possibilities. TASE 2011: 5-8 - 2010
- [j18]Shaoying Liu:
An approach to applying SOFL for agile process and its application in developing a test support tool. Innov. Syst. Softw. Eng. 6(1-2): 137-143 (2010) - [j17]Shaoying Liu, John A. McDermid, Yuting Chen:
A Rigorous Method for Inspection of Model-Based Formal Specifications. IEEE Trans. Reliab. 59(4): 667-684 (2010) - [c57]Xi Wang, Shaoying Liu, Huaikou Miao:
A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM 2010: 662-677 - [c56]Yuting Chen, Shaoying Liu, Linzhang Wang:
An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems. QSIC 2010: 214-219 - [c55]Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima:
Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. SoMeT 2010: 383-397 - [c54]Shaoying Liu, Shin Nakajima:
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. SSIRI 2010: 147-155
2000 – 2009
- 2009
- [j16]Yongzhen Pei, Shaoying Liu, Shujing Gao, Shuping Li, Changguo Li:
A delayed SEIQR epidemic model with pulse vaccination and the quarantine measure. Comput. Math. Appl. 58(1): 135-145 (2009) - [j15]Shaoying Liu:
Integrating top-down and scenario-based methods for constructing software specifications. Inf. Softw. Technol. 51(11): 1565-1572 (2009) - [j14]Yongzhen Pei, Shaoying Liu, Changguo Li:
Complex Dynamics of an Impulsive Control System in which Predator Species Share a Common Prey. J. Nonlinear Sci. 19(3): 249-266 (2009) - [j13]Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama:
Teaching formal methods in the context of software engineering. ACM SIGCSE Bull. 41(2): 17-23 (2009) - [c53]Weikai Miao, Shaoying Liu:
Service-oriented modeling using the SOFL formal engineering method. APSCC 2009: 187-192 - [c52]Shaoying Liu, Tetsuo Tamai, Shin Nakajima:
Integration of formal specification, review, and testing for software component quality assurance. SAC 2009: 415-421 - [c51]Hector Miguel Chavez, Wuwei Shen, Shaoying Liu:
An approach to detection of UML-based ownership violation. SAC 2009: 541-542 - 2008
- [j12]Yuting Chen, Shaoying Liu, W. Eric Wong:
A Review Approach to Detecting Violations of Consistency between Specification and Program Structures. Int. J. Softw. Eng. Knowl. Eng. 18(8): 1013-1042 (2008) - [j11]Shaoying Liu, Yuting Chen:
A relation-based method combining functional and structural testing for test case generation. J. Syst. Softw. 81(2): 234-248 (2008) - [c50]Yuting Chen, Shaoying Liu, W. Eric Wong:
A Method Combining Review and Testing for Verifying Software Systems. BMEI (2) 2008: 827-831 - [c49]Shaoying Liu:
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. QSIC 2008: 105-113 - [c48]Shaoying Liu:
Utilizing Formalization to Test Programs without Available Source Code (Short Paper). QSIC 2008: 216-221 - [e1]Shaoying Liu, T. S. E. Maibaum, Keijiro Araki:
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science 5256, Springer 2008, ISBN 978-3-540-88193-3 [contents] - 2007
- [j10]Shaoying Liu, Hao Wang:
An automated approach to specification animation for validation. J. Syst. Softw. 80(8): 1271-1285 (2007) - [c47]Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou:
Developing an Insulin Pump System Using the SOFL Method. APSEC 2007: 334-341 - [c46]Shaoying Liu:
Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility. HASE 2007: 349-356 - [c45]Shaoying Liu:
Integrating Specification-Based Review and Testing for Detecting Errors in Programs. ICFEM 2007: 136-150 - [c44]Shaoying Liu:
A Framework for Practical Specification-Based Testing. SETP 2007: 176-189 - 2006
- [c43]Fumiko Nagoya, Yuting Chen, Shaoying Liu:
An Empirical Study on a Specification-Based Program Review Approach. DepCoS-RELCOMEX 2006: 199-206 - [c42]Yuting Chen, Shaoying Liu, Fumiko Nagoya:
A Tool-Supported Review Approach to Detecting Structural Consistency Violations. ICECCS 2006: 121-130 - 2005
- [c41]Yuting Chen, Shaoying Liu, Fumiko Nagoya:
A Review Approach to Detecting Structural Consistency Violations in Programs. ACIS-ICIS 2005: 61-66 - [c40]Fumiko Nagoya, Shaoying Liu, Yuting Chen:
A Tool and Case Study for Specification-Based Program Review. COMPSAC (1) 2005: 375-380 - [c39]Yuting Chen, Shaoying Liu, Fumiko Nagoya:
A Framework for SOFL-Based Program Review. ICECCS 2005: 6-7 - [c38]Fumiko Nagoya, Shaoying Liu, Yuting Chen:
Design of a Tool for Specification-Based Program Review. ICECCS 2005: 10-11 - [c37]Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid:
An Automated Approach to Specification-Based Program Inspection. ICFEM 2005: 421-434 - 2004
- [c36]Yuting Chen, Shaoying Liu:
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. APSEC 2004: 276-283 - [c35]Shaoying Liu:
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. ATVA 2004: 15-19 - [c34]Fumiko Nagoya, Shaoying Liu, Yuting Chen:
An Investigation of the Approach to Specification-Based Program Review through Case Studies. ICECCS 2004: 249-258 - [c33]Shaoying Liu:
Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. ICFEM 2004: 7-8 - [c32]Yuting Chen, Shaoying Liu, Fumiko Nagoya:
An Approach to Integration Testing Based on Data Flow Specifications. ICTAC 2004: 235-249 - 2003
- [j9]A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann:
Generating test data from state-based specifications. Softw. Test. Verification Reliab. 13(1): 25-53 (2003) - [c31]Shaoying Liu:
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols. AINA 2003: 289-292 - [c30]Shaoying Liu:
Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. APSEC 2003: 510-519 - [c29]Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu:
The Availability Semantics of Predicate Data Flow Diagram. GCC (2) 2003: 970-977 - [c28]Wuwei Shen, Shaoying Liu:
Formalization, Testing and Execution of a Use Case Diagram. ICFEM 2003: 68-85 - [c27]Sirin Bekbay, Shaoying Liu:
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. QSIC 2003: 100-107 - 2002
- [c26]Jin Song Dong, Shaoying Liu:
The Semantics of Extended SOFL. COMPSAC 2002: 653-658 - [c25]Shaoying Liu:
A Simulation Approach to Verification and Validation of Formal Specifications. CW 2002: 113-120 - [c24]Shaoying Liu:
Capturing Complete and Accurate Requirements by Refinemen. ICECCS 2002: 57-67 - [c23]Shaoying Liu:
Developing Quality Software Systems Using the SOFL Formal Engineering Method. ICFEM 2002: 3-19 - [c22]Shaoying Liu, Jin Song Dong:
Extending SOFL to support both top-down and bottom-up approaches. SMC 2002: 6 - 2001
- [c21]Shaoying Liu, Jin Song Dong:
Class and Module in SOFL. APAQS 2001: 241-248 - 2000
- [c20]Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto:
A GUI and testing tool for SOFL. APSEC 2000: 421- - [c19]Hassan Gomaa, Shaoying Liu, Michael E. Shin:
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. ICECCS 2000: 61-71
1990 – 1999
- 1999
- [j8]A. Jefferson Offutt, Shaoying Liu:
Generating test data from SOFL specifications. J. Syst. Softw. 49(1): 49-62 (1999) - [c18]Shaoying Liu, Masaomi Shibata, Ryuichi Sato:
Applying SOFL to Develop a University Information System. APSEC 1999: 404-411 - [c17]Shaoying Liu:
Verifying Consistency and Validity of Formal Specifications by Testing. World Congress on Formal Methods 1999: 896-914 - [c16]A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu:
Criteria for Generating Specification-Based Tests. ICECCS 1999: 119- - [c15]Jin Song Dong, Shaoying Liu:
An Object Semantic Model of SOFL. IFM 1999: 189-208 - 1998
- [j7]Shaoying Liu:
A Formal Definition of FRSM and Applications. Int. J. Softw. Eng. Knowl. Eng. 8(2): 253-281 (1998) - [j6]Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba:
SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Trans. Software Eng. 24(1): 24-45 (1998) - [c14]Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura:
An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. ICECCS 1998: 100-114 - [c13]Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills:
Interacting Frameworks in Catalysis. ICFEM 1998: 110-121 - [c12]Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura:
Applying SOFL to Specify A Railway Crossing Controller for Industry. WIFT 1998: 16-27 - 1997
- [c11]Chris Ho-Stuart, Shaoying Liu:
A Formal Operational Semantics for SOFL. APSEC 1997: 52-61 - [c10]Yong Sun, Shaoying Liu, Mitsuru Ohba:
Self-independent Petri Nets for Distributed Systems. FORTE 1997: 487-502 - [c9]Shaoying Liu:
Evolution: A More Practical Approach than Refinement for Software Development. ICECCS 1997: 142-151 - [c8]Shaoying Liu:
SOFL: A Formal Engineering Methodology for Industrial Applications. RE 1997: 41 - 1996
- [j5]Shaoying Liu, John A. McDermid:
A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. J. Syst. Softw. 35(2): 151-164 (1996) - [c7]John A. McDermid, Shaoying Liu:
A Case Study Using SAM - Safety Analysis of PES. APSEC 1996: 217- - [c6]Shaoying Liu, Chris Ho-Stuart:
Semi-automatic Transformation from Formal Specifications to Programs. ICECCS 1996: 506-513 - 1995
- [j4]Shaoying Liu, Victoria Stavridou, Bruno Dutertre:
The practice of formal methods in safety-critical systems. J. Syst. Softw. 28(1): 77-87 (1995) - [j3]Shaoying Liu:
Internal consistency of FRSM specifications. J. Syst. Softw. 29(2): 167-175 (1995) - [c5]Shaoying Liu, Rolf Adams:
Limitations of Formal Methods and an Approach to Improvement. APSEC 1995: 498- - [c4]Shaoying Liu, Yong Sun:
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. ICECCS 1995: 137-144 - 1993
- [j2]Shaoying Liu:
An Abstract Programming Language and Correctness Proofs. Comput. Lang. 18(4): 273-282 (1993) - [j1]Shaoying Liu:
A formal requirements specification method based on data flow analysis. J. Syst. Softw. 21(2): 141-149 (1993) - [c3]Shaoying Liu, John A. McDermid:
Dynamic Sets and Their Application in VDM. SAC 1993: 187-192 - 1992
- [c2]Shaoying Liu:
A user-friendly formal requirements specification method. ACM Southeast Regional Conference 1992: 211-218 - [c1]Shaoying Liu:
A formal structured method for requirement specification construction. SAC 1992: 1055-1063
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-25 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
