SPQL: Software Test Result Evaluation and Quality Assessment. - Mitsuru Ohba (ICC (3), 1984)

Software Reliability Analysis Models. - Mitsuru Ohba (IBM J. Res. Dev., 1984)

Does Imperfect Debugging Affect Software Reliability Growth? - Mitsuru Ohba; Xiao-Mei Chou (ICSE, 1989)

Coverage Measurement Experience During Function Test. - Paul Piwowarski; Mitsuru Ohba; Joseph M. Caruso (ICSE, 1993)

Self-independent Petri Nets for Distributed Systems. - Yong Sun; Shaoying Liu; Mitsuru Ohba (FORTE, 1997)

SOFL: A Formal Engineering Methodology for Industrial Applications. - Shaoying Liu; A. Jefferson Offutt; Chris Ho-Stuart; Yong Sun; Mitsuru Ohba (IEEE Trans. Software Eng., 1998)