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

Automated Support for Program Refactoring Using Invariants. - Yoshio Kataoka; Michael D. Ernst; William G. Griswold; David Notkin (ICSM, 2001)

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)

ARVE: Aspect-Oriented Runtime Verification Environment. - Hiromasa Shin; Yusuke Endoh; Yoshio Kataoka (RV, 2007)

A pointcut-based assertion for high-level hardware design. - Yusuke Endoh; Takeo Imai; Mikito Iwamasa; Yoshio Kataoka (ACP4IS@AOSD, 2008)