Mitsuru Ohba

According to our database, Mitsuru Ohba authored at least 6 papers between 1984 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

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

1997

Self-independent Petri Nets for Distributed Systems.

Yong Sun, Shaoying Liu, Mitsuru Ohba

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1993

Coverage Measurement Experience During Function Test.

Paul Piwowarski, Mitsuru Ohba, Joseph M. Caruso

Proceedings of the 15th International Conference on Software Engineering, 1993

1989

Does Imperfect Debugging Affect Software Reliability Growth?

Mitsuru Ohba, Xiao-Mei Chou

Proceedings of the 11th International Conference on Software Engineering, 1989

1984

Software Reliability Analysis Models.

Mitsuru Ohba

IBM J. Res. Dev., 1984

SPQL: Software Test Result Evaluation and Quality Assessment.

Mitsuru Ohba

Proceedings of the IEEE International Conference on Communications: Links for the Future, 1984