At the Takada Laboratory in the Department of Information and Computer Science at Keio University, we conduct research in the field of "software engineering" with the motto "Toward a world where high-quality software can be easily created." The research themes are broadly based on three pillars: software design, software testing, and service-oriented computing. Among these, Professor Takada is particularly focused on "software testing."