![]() |
| 1996 | ||
|---|---|---|
| 3 | EE | William E. Howden, G. M. Shi: Linear and Structural Event Sequence Analysis. ISSTA 1996: 98-106 |
| 1995 | ||
| 2 | EE | William E. Howden, G. M. Shi: Temporal Event Analysis and Program Understanding. COMPSAC 1995: 4-11 |
| 1990 | ||
| 1 | G. M. Shi, I. Miyamoto: Toward Verification and Validation of Software Requirements. SEKE 1990: 251-259 | |
| 1 | William E. Howden | [2] [3] |
| 2 | I. Miyamoto | [1] |