- CSB - MetaPress - Google - Bing - Yahoo
 | 1998 | |
|---|---|---|
| 6 |      | 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 | | 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) |
| 1 | Joseph M. Caruso | [4] |
| 2 | Xiao-Mei Chou | [3] |
| 3 | Chris Ho-Stuart | [6] |
| 4 | Shaoying Liu | [5] [6] |
| 5 | A. Jefferson Offutt (Jeff Offutt) | [6] |
| 6 | Paul Piwowarski | [4] |
| 7 | Yong Sun | [5] [6] |