Shaoying Liu - RankMe

239 papers A 2B 20C 40Misc 7Journal 74Unranked 83

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Design and implementation of an automated maintainability assessment tool for SOFL formal specifications. J. Syst. Softw. Yu Du, Shaoying Liu
2026	J	`jnl`	MC-LRNN: A logic-based neural network for multi-class software vulnerability prediction. J. Syst. Softw. Yuxiang Shang, Shaoying Liu
2026	—	`ed.`	Software Fault Prevention, Verification, and Validation - Second International Symposium, SFPVV 2025, Shanghai, China, November 8-9, 2025, Proceedings SFPVV Yuting Chen, Hiroyuki Okamura, Shaoying Liu
2025	—	`conf`	A Software Tool to Support Structured Object-Oriented Programming. WSSE Ying Xia, Shaoying Liu
2025	—	`conf`	An Empirical Study on Software Defect Prediction Based on Neural Network DeepDebugger Technique. SFPVV Yuxiang Shang, Shaoying Liu, Jin Song Dong
2025	J	`jnl`	Automated formal-specification-to-code trace links recovery using multi-dimensional similarity measures. J. Syst. Softw. Jiandong Li, Shaoying Liu, Zhi Jin
2025	A	`conf`	Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification. ISSRE Ai Liu, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang, Zhiqiu Huang
2025	—	`conf`	Design and Implementation of a Software Tool to Support Agile-SOFL. SFPVV Ran Chen, Shaoying Liu
2025	J	`jnl`	Differential-Trust-Mechanism-Based Trade-Off Method Between Privacy and Accuracy in Recommender Systems. IEEE Trans. Inf. Forensics Secur. Guangquan Xu, Shicheng Feng, Hao Xi, Qingyang Yan, Wenshan Li, Cong Wang, Wei Wang, Shaoying Liu, Zhihong Tian, James Xi Zheng
2025	J	`jnl`	IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems. IEEE Trans. Parallel Distributed Syst. Guohua Xin, Guangquan Xu, Yao Zhang, Cheng Wen, Cen Zhang, Xiaofei Xie, Neal N. Xiong, Shaoying Liu, Pan Gao
2025	—	`ed.`	Software Fault Prevention, Verification, and Validation - First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings SFPVV Shaoying Liu
2025	—	`conf`	TBFV4J: An Automated Testing-Based Formal Verification Tool for Java. ISSTA Companion Ai Liu, Yang Liu, Shaoying Liu
2025	—	`conf`	Testing-Based Formal Verification for Software Dependability. DSA Shaoying Liu
2025	Misc	`conf`	Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness. TASE Ai Liu, Yang Liu, Shaoying Liu, Zhibin Yang
2025	J	`jnl`	Two-level Formal Specifications for Deep Neural Networks. Int. J. Softw. Eng. Knowl. Eng. Yanzhao Xia, Shaoying Liu
2025	J	`jnl`	Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation. IEEE Access Wen Jiang, Shaoying Liu
2024	—	`conf`	A Methodology for Rating Maintainability Metrics of SOFL Formal Specifications. SFPVV Yu Du, Shaoying Liu
2024	—	`book`	Agile-SOFL - Agile Formal Engineering Method Shaoying Liu
2024	J	`jnl`	Detecting security vulnerabilities with vulnerability nets. J. Syst. Softw. Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang
2024	J	`jnl`	Enhancing human-machine pair inspection with risk number and code inspection diagram. Softw. Qual. J. Yujun Dai, Shaoying Liu, Guangquan Xu
2024	C	`ed.`	Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings ICFEM Kazuhiro Ogata, Dominique Méry, Meng Sun, Shaoying Liu
2024	J	`jnl`	ID-SR: Privacy-Preserving Social Recommendation Based on Infinite Divisibility for Trustworthy AI. ACM Trans. Knowl. Discov. Data Jingyi Cui, Guangquan Xu, Jian Liu, Shicheng Feng, Jianli Wang, Hao Peng, Shihui Fu, Zhaohua Zheng, James Xi Zheng, Shaoying Liu
2024	C	`conf`	LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. ICFEM Yuxiang Shang, Shaoying Liu
2024	J	`jnl`	NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification. Int. J. Softw. Eng. Knowl. Eng. Haiyi Liu, Shaoying Liu, Guangquan Xu, Ai Liu, Dingbang Fang
2024	J	`jnl`	OFEI: A Semi-Black-Box Android Adversarial Sample Attack Framework Against DLaaS. IEEE Trans. Computers Guangquan Xu, Guohua Xin, Litao Jiao, Jian Liu, Shaoying Liu, Meiqi Feng, Xi Zheng
2024	J	`jnl`	Program Segment Testing for Human-Machine Pair Programming. Int. J. Softw. Eng. Knowl. Eng. Lei Rao, Shaoying Liu, Ai Liu
2024	—	`conf`	Recovery of Trace Links Between a SOFL Formal Specification and Its Corresponding Incomplete Java Code. SFPVV Jiandong Li, Shaoying Liu, Zhi Jin
2024	—	`conf`	Testing the Security of Deep Learning Systems Based on Chest X-ray Images. ICSCA Yang Li, Shaoying Liu, Lisen Guo
2024	—	`conf`	The Three-Point Optimization Algorithm: A Novel Physics-Based Metaheuristic Approach. SFPVV Xiong Deng, Shaoying Liu, Yanli Liu
2024	J	`jnl`	Toward Pointer-Analysis-Based Vulnerability Discovery in Human-Machine Pair Programming. Int. J. Softw. Eng. Knowl. Eng. Pingyan Wang, Shaoying Liu
2023	—	`conf`	A Framework of Formal Specification-Based Data Generation for Deep Neural Networks. ICSCA Yanzhao Xia, Shaoying Liu
2023	J	`jnl`	A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL. IEICE Trans. Inf. Syst. Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu
2023	J	`jnl`	A Privacy-Preserving Medical Data Sharing Scheme Based on Blockchain. IEEE J. Biomed. Health Informatics Guangquan Xu, Chen Qi, Wenyu Dong, Lixiao Gong, Shaoying Liu, Si Chen, Jian Liu, Xi Zheng
2023	J	`jnl`	ASQ-FastBM3D: An Adaptive Denoising Framework for Defending Adversarial Attacks in Machine Learning Enabled Systems. IEEE Trans. Reliab. Guangquan Xu, Zhengbo Han, Lixiao Gong, Litao Jiao, Hongpeng Bai, Shaoying Liu, Xi Zheng
2023	J	`jnl`	Cross-Project Transfer Learning on Lightweight Code Semantic Graphs for Defect Prediction. Int. J. Softw. Eng. Knowl. Eng. Dingbang Fang, Shaoying Liu, Yang Li
2023	J	`jnl`	Delay-CJ: A novel cryptojacking covert attack method based on delayed strategy and its detection. Digit. Commun. Networks Guangquan Xu, Wenyu Dong, Jun Xing, Wenqing Lei, Jian Liu, Lixiao Gong, Meiqi Feng, James Xi Zheng, Shaoying Liu
2023	B	`conf`	Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis. ICECCS Pingyan Wang, Shaoying Liu
2023	J	`jnl`	Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages. IEEE Trans. Software Eng. Ai Liu, Shaoying Liu
2023	—	`conf`	GDTM: Gaussian Differential Trust Mechanism for Optimal Recommender System. ICA3PP (6) Lixiao Gong, Guangquan Xu, Jingyi Cui, Xiao Wang, Shihui Fu, Xi Zheng, Shaoying Liu
2023	J	`jnl`	GenDroid: A query-efficient black-box android adversarial attack framework. Comput. Secur. Guangquan Xu, Hongfei Shao, Jingyi Cui, Hongpeng Bai, Jiliang Li, Guangdong Bai, Shaoying Liu, Weizhi Meng, Xi Zheng
2023	—	`conf`	Maintainability Assessment for SOFL Formal Specifications. DSA Yu Du, Shaoying Liu
2023	J	`jnl`	Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters. IEEE Trans. Software Eng. Yingnan Zhou, Xue Hu, Sihan Xu, Yan Jia, Yuhao Liu, Junyong Wang, Guangquan Xu, Wei Wang, Shaoying Liu, Thar Baker
2023	J	`jnl`	Requirements-related fault prevention during the transformation from formal specifications to programs. IET Softw. Jiandong Li, Shaoying Liu
2023	—	`ed.`	Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers SOFL+MSVL Shaoying Liu, Zhenhua Duan, Ai Liu
2023	J	`jnl`	UAF-GUARD: Defending the use-after-free exploits via fine-grained memory permission management. Comput. Secur. Guangquan Xu, Wenqing Lei, Lixiao Gong, Jian Liu, Hongpeng Bai, Kai Chen, Ran Wang, Wei Wang, Kaitai Liang, Weizhe Wang, Weizhi Meng, Shaoying Liu
2023	B	`conf`	Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. ICECCS Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu
2022	J	`jnl`	An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement. IEEE Access Lei Rao, Shaoying Liu, Han Peng
2022	—	`conf`	Automatic Localization of Potential Faults for Java Runtime Exceptions. DSA Hongning Miao, Shaoying Liu
2022	J	`jnl`	Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing. IEEE Trans. Software Eng. Shaoying Liu, Shin Nakajima
2022	J	`jnl`	CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0. IEEE Trans. Ind. Informatics Jinyan Wang, Guangquan Xu, Wenqing Lei, Lixiao Gong, Xi Zheng, Shaoying Liu
2022	—	`conf`	Construction of Semantic Model for GUI of Mobile Applications Using Deep Learning. AITest Qingying Liu, Tao Zhang, Jerry Gao, Shaoying Liu, Jing Cheng
2022	—	`conf`	Detecting Security Vulnerabilities with Vulnerability Nets. QRS Companion Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang
2022	J	`jnl`	DevFemOps: enhancing maintainability based on microservices using formal engineering methods. Connect. Sci. Tetsuo Fukuzaki, Shaoying Liu, Michael Butler
2022	J	`jnl`	Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction. IEEE Trans. Reliab. Dingbang Fang, Shaoying Liu, Ai Liu
2022	J	`jnl`	Knowledge Graph Construction for SOFL Formal Specifications. Int. J. Softw. Eng. Knowl. Eng. Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang
2022	J	`jnl`	Mining Python fix patterns via analyzing fine-grained source code changes. Empir. Softw. Eng. Yilin Yang, Tianxing He, Yang Feng, Shaoying Liu, Baowen Xu
2022	J	`jnl`	Probabilistic mediator: A coalgebraic perspective. J. Log. Algebraic Methods Program. Ai Liu, Shaoying Liu, Meng Sun
2022	—	`conf`	Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming. QRS Companion Jiandong Li, Shaoying Liu
2022	J	`jnl`	SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles. J. Parallel Distributed Comput. Guangquan Xu, Hongpeng Bai, Jun Xing, Tao Luo, Neal N. Xiong, Xiaochun Cheng, Shaoying Liu, James Xi Zheng
2022	J	`jnl`	TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning. IEEE Access Haiyi Liu, Shaoying Liu, Chenglong Wen, W. Eric Wong
2022	—	`conf`	Testing Program Segments to Detect Runtime Exceptions in Java. SOFL+MSVL Lei Rao, Shaoying Liu, Ai Liu
2022	—	`conf`	Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. SOFL+MSVL Yang Li, Shaoying Liu
2022	—	`conf`	Verifying and Improving Neural Networks Using Testing-Based Formal Verification. SOFL+MSVL Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu
2021	C	`conf`	A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis. QRS Kenya Saiki, Shaoying Liu, Hiroyuki Okamura, Tadashi Dohi
2021	J	`jnl`	A formal specification animation method for operation validation. J. Syst. Softw. Shaoying Liu, Weikai Miao
2021	J	`jnl`	A three-step hybrid specification approach to error prevention. J. Syst. Softw. Shaoying Liu
2021	—	`conf`	Applying Cognitive Complexity to Checklist-Based Human-Machine Pair Inspection. QRS Companion Yujun Dai, Shaoying Liu
2021	C	`conf`	EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction. QRS Dingbang Fang, Shaoying Liu, Ai Liu
2021	C	`conf`	Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures. QRS Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang
2021	J	`jnl`	OFEI: A Semi-black-box Android Adversarial Sample Attack Framework Against DLaaS. CoRR Guangquan Xu, Guohua Xin, Litao Jiao, Jian Liu, Shaoying Liu, Meiqi Feng, Xi Zheng
2021	J	`jnl`	Rigorous code review by reverse engineering. Inf. Softw. Technol. Shaoying Liu, Honghui Li, Zhouxian Jiang, Xiuru Li, Feng Liu, Yan Zhong
2021	J	`jnl`	SG-PBFT: a Secure and Highly Efficient Blockchain PBFT Consensus Algorithm for Internet of Vehicles. CoRR Guangquan Xu, Yihua Liu, Jun Xing, Tao Luo, Yonghao Gu, Shaoying Liu, Xi Zheng, Athanasios V. Vasilakos
2021	J	`jnl`	SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution. IEEE Trans. Reliab. Rong Wang, Shaoying Liu, Yuji Sato
2021	—	`conf`	SMT-Based Theorem Verification for Testing-Based Formal Verification. ICSCA Kenta Sugai, Hiroshi Hosobe, Shaoying Liu
2021	J	`jnl`	Sparse Trust Data Mining. IEEE Trans. Inf. Forensics Secur. Pengli Nie, Guangquan Xu, Litao Jiao, Shaoying Liu, Jian Liu, Weizhi Meng, Hongyue Wu, Meiqi Feng, Weizhe Wang, Zhengjun Jing, Xi Zheng
2021	—	`ed.`	Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers SOFL+MSVL Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
2021	J	`jnl`	Test Oracle Generation Based on BPNN by Using the Values of Variables at Different Breakpoints for Programs. Int. J. Softw. Eng. Knowl. Eng. Chunyan Ma, Shaoying Liu, Jinglan Fu, Tao Zhang
2021	J	`jnl`	Testing Program Segments to Detect Software Faults during Programming. Int. J. Perform. Eng. Lei Rao, Shaoying Liu, Ai Liu
2020	B	`conf`	A Fault Localization Approach Derived From Testing-based Formal Verification. ICECCS Rong Wang, Shaoying Liu, Yuji Sato
2020	—	`conf`	A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. SOFL+MSVL Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu
2020	J	`jnl`	BAGKD: A Batch Authentication and Group Key Distribution Protocol for VANETs. IEEE Commun. Mag. Guangquan Xu, Xiaotong Li, Litao Jiao, Weizhe Wang, Ao Liu, Chunhua Su, Xi Zheng, Shaoying Liu, Xiaochun Cheng
2020	—	`conf`	Defending Use-After-Free via Relationship Between Memory and Pointer. CollaborateCom (1) Guangquan Xu, Miao Li, Xiaotong Li, Kai Chen, Ran Wang, Wei Wang, Kaitai Liang, Qiang Tang, Shaoying Liu
2020	—	`conf`	Range Partition Testing: Principle and Technique. QRS Companion Shaoying Liu
2020	—	`ed.`	Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers SOFL+MSVL Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
2019	—	`conf`	A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. SOFL+MSVL Busalire Onesmus Emeka, Shaoying Liu
2019	—	`conf`	A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction. SOFL+MSVL Xu Qin, Shaoying Liu, Tao Zhang
2019	—	`conf`	Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution. QRS Companion Rong Wang, Shaoying Liu
2019	B	`conf`	Specification-based Test Case Generation with Genetic Algorithm. CEC Rong Wang, Yuji Sato, Shaoying Liu
2019	—	`ed.`	Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers SOFL+MSVL Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
2018	—	`conf`	An efficient approach for verifying automobile distributed application systems on timing property. ICSE (Companion Volume) Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu
2018	—	`conf`	Software Construction Monitoring and Predicting for Human-Machine Pair Programming. SOFL+MSVL Shaoying Liu
2018	—	`ed.`	Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers SOFL+MSVL Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
2018	C	`conf`	TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. QRS Rong Wang, Shaoying Liu
2018	—	`conf`	Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. SOFL+MSVL Yufei Yin, Shaoying Liu, Yixiang Chen
2018	J	`jnl`	autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. Sci. China Inf. Sci. Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu
2017	—	`conf`	A Comparative Study of a GUI-Aided Formal Specification Construction Approach. ICCSA (1) Fumiko Nagoya, Shaoying Liu
2017	—	`conf`	A Software Tool to Support Scenario-Based Formal Specification for Error Prevention. SOFL+MSVL Siyuan Li, Shaoying Liu
2017	—	`conf`	A Software Tool to Support the "Vibration" Method. SOFL+MSVL Pan Zhao, Shaoying Liu
2017	—	`conf`	An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. SOFL+MSVL Fumiko Nagoya, Shaoying Liu
2017	J	`jnl`	Development of a Web Dictionary System Using SOFL. Wirel. Pers. Commun. Fumiko Nagoya, Shaoying Liu
2017	C	`conf`	Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications. QRS Busalire Onesmus Emeka, Shaoying Liu
2017	—	`conf`	Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. GSKI (1) Shingo Fukuoka, Yixiang Chen, Shaoying Liu
2017	—	`ed.`	Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers SOFL+MSVL Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
2016	—	`conf`	A Case Study of a GUI-Aided Approach to Constructing Formal Specifications. SOFL+MSVL Fumiko Nagoya, Shaoying Liu
2016	C	`conf`	A Tool Supported Testing Method for Reducing Cost and Improving Quality. QRS Shaoying Liu
2016	—	`conf`	Applying SOFL to a Railway Interlocking System in Industry. SOFL+MSVL Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou
2016	C	`ed.`	Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings ICFEM Kazuhiro Ogata, Mark Lawford, Shaoying Liu
2016	J	`jnl`	Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems. IEEE Trans. Reliab. Mo Li, Shaoying Liu
2016	—	`ed.`	Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers SOFL+MSVL Shaoying Liu, Zhenhua Duan
2016	—	`conf`	Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification. TAP@STAF Shaoying Liu
2016	—	`conf`	Validating formal specifications using testing-based specification animation. FormaliSE@ICSE Shaoying Liu
2015	—	`conf`	A GUI-Aided Approach to Formal Specification Construction. SOFL+MSVL Shaoying Liu
2015	Misc	`conf`	A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. TASE Weikai Miao, Xi Wang, Shaoying Liu
2015	C	`conf`	Automatic Selection of System Functional Scenarios for Formal Specification Animation. APSEC Shaoying Liu
2015	—	`conf`	Automatic Transformation from SOFL Module Specifications to Program Structures. SOFL+MSVL Xiongwen Luo, Shaoying Liu
2015	—	`conf`	Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach. ICITCS Fumiko Nagoya, Shaoying Liu, Kyousuke Hamada
2015	—	`conf`	Development of a web-based conference management system using SOFL. RACS Fumiko Nagoya, Shaoying Liu
2015	C	`conf`	PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation. APSEC Fauziah binti Zainuddin, Shaoying Liu
2015	—	`ed.`	Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers SOFL+MSVL Shaoying Liu, Zhenhua Duan
2015	C	`conf`	Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. ICFEM Shaoying Liu, Xi Wang, Weikai Miao
2015	—	`conf`	Validating Timed Component Contracts. EUROMICRO-SEAA Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou
2014	—	`conf`	Adopting Variable Dependency in Animation for Presenting the Behaviour of Process. SOFL+MSVL Mo Li, Shaoying Liu
2014	J	`jnl`	Computer-Aided Formalization of Requirements Based on Patterns. IEICE Trans. Inf. Syst. Xi Wang, Shaoying Liu
2014	—	`conf`	Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. SOFL+MSVL Jinghua Zhang, Shaoying Liu
2014	—	`conf`	Extending Operation Semantics to Enhance the Applicability of Formal Refinement. Specification, Algebra, and Software Shaoying Liu
2014	—	`conf`	Reviewing Formal Specification for Validation Using Animation and Trace Links. APSEC (1) Mo Li, Shaoying Liu
2014	—	`ed.`	Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers SOFL+MSVL Shaoying Liu, Zhenhua Duan
2014	—	`conf`	Tool Support for Rigorous Formal Specification Inspection. CSE Mo Li, Shaoying Liu
2014	—	`conf`	Traceability-Based Formal Specification Inspection. SERE Mo Li, Shaoying Liu
2013	J	`jnl`	A Formal Engineering Framework for Service-Based Software Modeling. IEEE Trans. Serv. Comput. Weikai Miao, Shaoying Liu
2013	—	`conf`	A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios. SOFL+MSVL Shenghua Zhu, Shaoying Liu
2013	—	`conf`	An Approach to Declaring Data Types for Formal Specifications. SOFL+MSVL Xi Wang, Shaoying Liu
2013	C	`conf`	An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements. ICIS Xi Wang, Shaoying Liu
2013	—	`conf`	Applying SOFL to Constructing a Smart Traffic Light Specification. SOFL+MSVL Wahyu Eko Sulistiono, Shaoying Liu
2013	—	`conf`	Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice. SOFL+MSVL Shaoying Liu, Shin Nakajima
2013	C	`conf`	Guided Requirements Clarification for Automatic Formalization. SNPD Xi Wang, Shaoying Liu
2013	—	`conf`	Hazard analysis for safety-critical systems using SOFL. CIES Azma binti Abdullah, Shaoying Liu
2013	—	`conf`	Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling. SOFL+MSVL Weikai Miao, Shaoying Liu
2013	—	`conf`	SOFL Specification Animation with Tool Support. SOFL+MSVL Mo Li, Shaoying Liu
2013	—	`ed.`	Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers SOFL Shaoying Liu
2012	—	`conf`	A Formal Specification-Based Integration Testing Approach. SOFL Weikai Miao, Shaoying Liu
2012	J	`jnl`	A formal approach to testing programs in practice. Comput. Sci. Inf. Syst. Shaoying Liu, Wuwei Shen, Shin Nakajima
2012	—	`conf`	Abstract Model Checking with SOFL Hierarchy. SOFL Cong Tian, Shaoying Liu, Zhenhua Duan
2012	C	`conf`	An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification. APSEC Fauziah binti Zainuddin, Shaoying Liu
2012	—	`conf`	Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. SOFL Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima
2012	C	`conf`	Automated Functional Scenarios-Based Formal Specification Animation. APSEC Mo Li, Shaoying Liu
2012	—	`conf`	Design and Implementation of a Tool for Specifying Specification in SOFL. SOFL Mo Li, Shaoying Liu
2012	—	`conf`	Development of a Supporting Tool for Formalizing Software Requirements. SOFL Xi Wang, Shaoying Liu
2012	J	`jnl`	Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid
2012	J	`jnl`	Formal engineering methods for software quality assurance. Frontiers Comput. Sci. China Shaoying Liu
2012	—	`conf`	Supporting Tool for Automatic Specification-Based Test Case Generation. SOFL Weihang Zhang, Shaoying Liu
2012	—	`conf`	Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. Turing-100 Shaoying Liu
2011	C	`conf`	A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. APSEC Shaoying Liu, Shin Nakajima
2011	C	`conf`	A Formal Specification-Based Testing Approach to Accurate Web Service Selection. APSCC Weikai Miao, Shaoying Liu
2011	J	`jnl`	A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. Int. J. Softw. Eng. Knowl. Eng. Shaoying Liu, Tetsuo Tamai, Shin Nakajima
2011	—	`conf`	A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL Xi Wang, Shaoying Liu, Huaikou Miao
2011	J	`jnl`	A Study of When to Release a Software Product from the Perspective of Software Reliability Models. J. Softw. Richard Lai, Mohit Garg, P. K. Kapur, Shaoying Liu
2011	—	`conf`	A framework for automatic functional testing based on formal specifications. AST@ICSE Shaoying Liu, Shin Nakajima
2011	Misc	`conf`	Automatic Specification-Based Testing: Challenges and Possibilities. TASE Shaoying Liu
2011	C	`conf`	Integrating Prototyping into the SOFL Three-Step Modeling Approach. ICFEM Fauziah binti Zainuddin, Shaoying Liu
2011	J	`jnl`	Pre-post notation is questionable in effectively specifying operations of object-oriented systems. Frontiers Comput. Sci. China Shaoying Liu
2011	J	`jnl`	RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper). J. Softw. Richard Lai, Sajjad Mahmood, Shaoying Liu
2011	—	`conf`	Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. ICST Workshops Cong Tian, Shaoying Liu, Shin Nakajima
2010	—	`conf`	A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. SSIRI Shaoying Liu, Shin Nakajima
2010	C	`conf`	A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM Xi Wang, Shaoying Liu, Huaikou Miao
2010	J	`jnl`	A Rigorous Method for Inspection of Model-Based Formal Specifications. IEEE Trans. Reliab. Shaoying Liu, John A. McDermid, Yuting Chen
2010	—	`conf`	An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems. QSIC Yuting Chen, Shaoying Liu, Linzhang Wang
2010	J	`jnl`	An approach to applying SOFL for agile process and its application in developing a test support tool. Innov. Syst. Softw. Eng. Shaoying Liu
2010	C	`conf`	Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. SoMeT Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima
2009	J	`jnl`	A delayed SEIQR epidemic model with pulse vaccination and the quarantine measure. Comput. Math. Appl. Yongzhen Pei, Shaoying Liu, Shujing Gao, Shuping Li, Changguo Li
2009	Misc	`conf`	An approach to detection of UML-based ownership violation. SAC Hector Miguel Chavez, Wuwei Shen, Shaoying Liu
2009	J	`jnl`	Complex Dynamics of an Impulsive Control System in which Predator Species Share a Common Prey. J. Nonlinear Sci. Yongzhen Pei, Shaoying Liu, Changguo Li
2009	J	`jnl`	Integrating top-down and scenario-based methods for constructing software specifications. Inf. Softw. Technol. Shaoying Liu
2009	Misc	`conf`	Integration of formal specification, review, and testing for software component quality assurance. SAC Shaoying Liu, Tetsuo Tamai, Shin Nakajima
2009	C	`conf`	Service-oriented modeling using the SOFL formal engineering method. APSCC Weikai Miao, Shaoying Liu
2009	J	`jnl`	Teaching formal methods in the context of software engineering. ACM SIGCSE Bull. Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama
2008	—	`conf`	A Method Combining Review and Testing for Verifying Software Systems. BMEI (2) Yuting Chen, Shaoying Liu, W. Eric Wong
2008	J	`jnl`	A Review Approach to Detecting Violations of Consistency between Specification and Program Structures. Int. J. Softw. Eng. Knowl. Eng. Yuting Chen, Shaoying Liu, W. Eric Wong
2008	J	`jnl`	A relation-based method combining functional and structural testing for test case generation. J. Syst. Softw. Shaoying Liu, Yuting Chen
2008	C	`ed.`	Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings ICFEM Shaoying Liu, T. S. E. Maibaum, Keijiro Araki
2008	—	`conf`	Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. QSIC Shaoying Liu
2008	—	`conf`	Utilizing Formalization to Test Programs without Available Source Code (Short Paper). QSIC Shaoying Liu
2007	—	`conf`	A Framework for Practical Specification-Based Testing. SETP Shaoying Liu
2007	J	`jnl`	An automated approach to specification animation for validation. J. Syst. Softw. Shaoying Liu, Hao Wang
2007	C	`conf`	Developing an Insulin Pump System Using the SOFL Method. APSEC Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou
2007	C	`conf`	Integrating Specification-Based Review and Testing for Detecting Errors in Programs. ICFEM Shaoying Liu
2007	—	`conf`	Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility. HASE Shaoying Liu
2006	B	`conf`	A Tool-Supported Review Approach to Detecting Structural Consistency Violations. ICECCS Yuting Chen, Shaoying Liu, Fumiko Nagoya
2006	—	`conf`	An Empirical Study on a Specification-Based Program Review Approach. DepCoS-RELCOMEX Fumiko Nagoya, Yuting Chen, Shaoying Liu
2005	B	`conf`	A Framework for SOFL-Based Program Review. ICECCS Yuting Chen, Shaoying Liu, Fumiko Nagoya
2005	—	`conf`	A Review Approach to Detecting Structural Consistency Violations in Programs. ACIS-ICIS Yuting Chen, Shaoying Liu, Fumiko Nagoya
2005	—	`conf`	A Tool and Case Study for Specification-Based Program Review. COMPSAC (1) Fumiko Nagoya, Shaoying Liu, Yuting Chen
2005	C	`conf`	An Automated Approach to Specification-Based Program Inspection. ICFEM Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid
2005	B	`conf`	Design of a Tool for Specification-Based Program Review. ICECCS Fumiko Nagoya, Shaoying Liu, Yuting Chen
2004	C	`conf`	An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. APSEC Yuting Chen, Shaoying Liu
2004	C	`conf`	An Approach to Integration Testing Based on Data Flow Specifications. ICTAC Yuting Chen, Shaoying Liu, Fumiko Nagoya
2004	B	`conf`	An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. ATVA Shaoying Liu
2004	B	`conf`	An Investigation of the Approach to Specification-Based Program Review through Case Studies. ICECCS Fumiko Nagoya, Shaoying Liu, Yuting Chen
2004	C	`conf`	Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. ICFEM Shaoying Liu
2003	—	`conf`	A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. QSIC Sirin Bekbay, Shaoying Liu
2003	B	`conf`	Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols. AINA Shaoying Liu
2003	C	`conf`	Formalization, Testing and Execution of a Use Case Diagram. ICFEM Wuwei Shen, Shaoying Liu
2003	J	`jnl`	Generating test data from state-based specifications. Softw. Test. Verification Reliab. A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann
2003	—	`conf`	The Availability Semantics of Predicate Data Flow Diagram. GCC (2) Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu
2003	C	`conf`	Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. APSEC Shaoying Liu
2002	C	`conf`	A Simulation Approach to Verification and Validation of Formal Specifications. CW Shaoying Liu
2002	B	`conf`	Capturing Complete and Accurate Requirements by Refinemen. ICECCS Shaoying Liu
2002	C	`conf`	Developing Quality Software Systems Using the SOFL Formal Engineering Method. ICFEM Shaoying Liu
2002	B	`conf`	Extending SOFL to support both top-down and bottom-up approaches. SMC Shaoying Liu, Jin Song Dong
2002	B	`conf`	The Semantics of Extended SOFL. COMPSAC Jin Song Dong, Shaoying Liu
2001	—	`conf`	Class and Module in SOFL. APAQS Shaoying Liu, Jin Song Dong
2000	C	`conf`	A GUI and testing tool for SOFL. APSEC Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
2000	B	`conf`	Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. ICECCS Hassan Gomaa, Shaoying Liu, Michael E. Shin
1999	B	`conf`	An Object Semantic Model of SOFL. IFM Jin Song Dong, Shaoying Liu
1999	C	`conf`	Applying SOFL to Develop a University Information System. APSEC Shaoying Liu, Masaomi Shibata, Ryuichi Sato
1999	B	`conf`	Criteria for Generating Specification-Based Tests. ICECCS A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu
1999	J	`jnl`	Generating test data from SOFL specifications. J. Syst. Softw. A. Jefferson Offutt, Shaoying Liu
1999	—	`conf`	Verifying Consistency and Validity of Formal Specifications by Testing. World Congress on Formal Methods Shaoying Liu
1998	J	`jnl`	A Formal Definition of FRSM and Applications. Int. J. Softw. Eng. Knowl. Eng. Shaoying Liu
1998	B	`conf`	An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. ICECCS Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura
1998	—	`conf`	Applying SOFL to Specify A Railway Crossing Controller for Industry. WIFT Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura
1998	C	`conf`	Interacting Frameworks in Catalysis. ICFEM Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills
1998	J	`jnl`	SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Trans. Software Eng. Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba
1997	C	`conf`	A Formal Operational Semantics for SOFL. APSEC Chris Ho-Stuart, Shaoying Liu
1997	B	`conf`	Evolution: A More Practical Approach than Refinement for Software Development. ICECCS Shaoying Liu
1997	A	`conf`	SOFL: A Formal Engineering Methodology for Industrial Applications. RE Shaoying Liu
1997	C	`conf`	Self-independent Petri Nets for Distributed Systems. FORTE Yong Sun, Shaoying Liu, Mitsuru Ohba
1996	C	`conf`	A Case Study Using SAM - Safety Analysis of PES. APSEC John A. McDermid, Shaoying Liu
1996	J	`jnl`	A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. J. Syst. Softw. Shaoying Liu, John A. McDermid
1996	B	`conf`	Semi-automatic Transformation from Formal Specifications to Programs. ICECCS Shaoying Liu, Chris Ho-Stuart
1995	J	`jnl`	Internal consistency of FRSM specifications. J. Syst. Softw. Shaoying Liu
1995	C	`conf`	Limitations of Formal Methods and an Approach to Improvement. APSEC Shaoying Liu, Rolf Adams
1995	B	`conf`	Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. ICECCS Shaoying Liu, Yong Sun
1995	J	`jnl`	The practice of formal methods in safety-critical systems. J. Syst. Softw. Shaoying Liu, Victoria Stavridou, Bruno Dutertre
1993	J	`jnl`	A formal requirements specification method based on data flow analysis. J. Syst. Softw. Shaoying Liu
1993	J	`jnl`	An Abstract Programming Language and Correctness Proofs. Comput. Lang. Shaoying Liu
1993	Misc	`conf`	Dynamic Sets and Their Application in VDM. SAC Shaoying Liu, John A. McDermid
1992	Misc	`conf`	A formal structured method for requirement specification construction. SAC Shaoying Liu
1992	—	`conf`	A user-friendly formal requirements specification method. ACM Southeast Regional Conference Shaoying Liu