A GUI and testing tool for SOFL. - Shaoying Liu; Tetsuo Fukuzaki; Koji Miyamoto (APSEC, 2000)

A Study of Measurement of Mentoring Activities Using Text Mining Technology. - Kaori Namba; Toshiyuki Sanuki; Tetsuo Fukuzaki; Kazuhiko Terashima (WCCE, 2022)

DevFemOps: enhancing maintainability based on microservices using formal engineering methods. - Tetsuo Fukuzaki; Shaoying Liu; Michael Butler (Connect. Sci., 2022)