Human-Machine Pair Programming (HMPP) represents a groundbreaking software development paradigm, first introduced by the speaker in 2018. HMPP integrates the creative strengths of human algorithm design with the machine's capabilities in fault prevention during development and rigorous verification after completion. This talk will explore the core principles of HMPP, focusing on the most pressing challenges: effective and efficient fault prevention during programming and the automation of program verification. I will delve into various fault prevention strategies and introduce the Testing-Based Formal Verification (TBFV) method as a key approach for ensuring program correctness. The talk will conclude by highlighting promising avenues for future research in this evolving field.
IEEE Fellow, BCS Fellow, AAIA Fellow
Professor of Software Engineering
Hiroshima University, Japan
Shaoying Liu is a Professor of Software Engineering at Hiroshima University, Japan, IEEE Fellow, BCS Fellow, and AAIA Fellow. He received the Ph.D in Computer Science from the University of Manchester, U.K in 1992, and has experienced working at 9 universities in China, the U.K., and Japan. His research interests include Formal Engineering Methods, Specification-based Program Inspection and Testing, Testing-Based Formal Verification (TBFV), Human-Machine Pair Programming (HMPP), and Dependable Computing. Liu is a pioneer and leading researcher in Formal Engineering Methods for Software Development. He founded the ICFEM conference in 1997 and SOFL+MVSL workshop in 2012, respectively. He designed the SOFL (Structured Object-Oriented Formal Language) specification language and method, authored two books entitled "Formal Engineering for Industrial Software Development" and “Agile-SOFL: Agile Formal Engineering Method”, respectively, both published by Springer, more than 13 edited books, and over 300 papers in refereed journals and international conferences. He has received many awards, including 2020 and 2022 Distinguished Research Awards from IPSJ/SIGSE respectively, the “20 Year ICFEM Impact Award” from ICFEM 2018, “IEEE Reliability Society Japan Joint Chapter 2016 Best Paper Award”, and “Outstanding Paper Award’’ from ICECCS’96. In recent years, he has served as the General Chair of several international conferences, including ICFEM 2024 and ICECCS 2022.
