| 1998 |
|---|
| 6 | EE | 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): 24-45 (1998) |
| 1997 |
|---|
| 5 | | Yong Sun,
Shaoying Liu,
Mitsuru Ohba:
Self-independent Petri Nets for Distributed Systems.
FORTE 1997: 487-502 |
| 1993 |
|---|
| 4 | EE | Paul Piwowarski,
Mitsuru Ohba,
Joseph M. Caruso:
Coverage Measurement Experience During Function Test.
ICSE 1993: 287-301 |
| 1989 |
|---|
| 3 | | Mitsuru Ohba,
Xiao-Mei Chou:
Does Imperfect Debugging Affect Software Reliability Growth?
ICSE 1989: 237-244 |
| 1984 |
|---|
| 2 | | Mitsuru Ohba:
SPQL: Software Test Result Evaluation and Quality Assessment.
ICC (3) 1984: 1011-1015 |
| 1 | | Mitsuru Ohba:
Software Reliability Analysis Models.
IBM Journal of Research and Development 28(4): 428-443 (1984) |
