An automatic debugging approach for logic programming with a method for propagating constraints. - Tetsuji Fukaya; Morio Nagata (COMPSAC, 1991)

Automatic Verifying Approach for Product Specification using FTA. - Tetsuji Fukaya; Masayuki Hirayama; Yukihiro Mihara (FTCS, 1994)

An Approach to Reverse Quality Assurance with Data-Oriented Program Analysis. - Yoshio Kataoka; Masayuki Hirayama; Jiro Okayasu; Tetsuji Fukaya (APSEC, 1995)

Evaluating Software Maintenance Cost Using Functional Redundancy Metrics. - Takeo Imai; Yoshio Kataoka; Tetsuji Fukaya (COMPSAC, 2002)

A Quantitative Evaluation of Maintainability Enhancement by Refactoring. - Yoshio Kataoka; Takeo Imai; Hiroki Andou; Tetsuji Fukaya (ICSM, 2002)