报告题目：Testing-Based Formal Verification: A New and Practical Approach for Software Reliability Assurance
Shaoying Liu is a Professor of Software Engineering at Hosei University, Japan. His research interests include formal engineering methods, specification-based program inspection and testing, and intelligent software engineering environments. He has published a book entitled “Formal Engineering for Industrial Software Development Using the SOFL Method” (Springer-Verlag), 8 edited conference proceedings, and more than 150 academic papers in refereed journals and international conferenced. He proposed to use the terminology of “Formal Engineering Methods” in 1997, and has established Formal Engineering Methods as a research area based on his extensive research on the Structured Object-Oriented Formal language (SOFL) and the development of the ICFEM conference series since 1997. In recent years, he has been serving as the Steering Committee Chair for ICFEM conferences, and on the editorial board for the Journal of Software Testing, Verification and Reliability (STVR). He is a fellow of the British Computer Society, a senior member of IEEE, and member of the Japan Society for Software Science and Technology.