| |
| 2004 | ||
|---|---|---|
| 2 | EE | A. Hartman, K. Nagin: The AGEDIS tools for model based testing. ISSTA 2004: 129-132 |
| 2002 | ||
| 1 | EE | G. Friedman, A. Hartman, K. Nagin, T. Shiran: Projected state machine coverage for software testing. ISSTA 2002: 134-143 |
| 1 | G. Friedman | [1] |
| 2 | A. Hartman | [1] [2] |
| 3 | T. Shiran | [1] |