Wang Yichen, Ph.D., Associate Professor, Senior Engineer, is currently working in the School of Reliability and Systems Engineering at Beihang University. He has been engaged in teaching, research, and engineering projects related to software reliability for a long time. He has written three monographs and translated three books, all of which are related to software testing and software verification. His current research interests include model-based software testing, software quality assessment, and AI-based reliability and testing technologies.