Mitsuru Ohba

Publication Activity (10 Years)

Years Active: 1984-1998
Publications (10 Years): 0

Publications

Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba
SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Trans. Software Eng. 24 (1) (1998)
Yong Sun, Shaoying Liu, Mitsuru Ohba
Self-independent Petri Nets for Distributed Systems. FORTE (1997)
Paul Piwowarski, Mitsuru Ohba, Joseph M. Caruso
Coverage Measurement Experience During Function Test. ICSE (1993)
Mitsuru Ohba, Xiao-Mei Chou
Does Imperfect Debugging Affect Software Reliability Growth? ICSE (1989)
Mitsuru Ohba
SPQL: Software Test Result Evaluation and Quality Assessment. ICC (3) (1984)
Mitsuru Ohba
Software Reliability Analysis Models. IBM J. Res. Dev. 28 (4) (1984)