| |
| 2003 | ||
|---|---|---|
| 4 | EE | Robert M. Hierons, Mark Harman, Harbhajan Singh: Automatically Generating Information from a Z Specification to Support the Classification Tree Method. ZB 2003: 388-407 |
| 2001 | ||
| 3 | Robert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh: Testing a system specified using Statecharts and Z. Information & Software Technology 43(2): 137-149 (2001) | |
| 1998 | ||
| 2 | Kirill Bogdanov, Mike Holcombe, Harbhajan Singh: Automated Test Set Generation for Statecharts. FM-Trends 1998: 107-121 | |
| 1997 | ||
| 1 | Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour: Test Case Design Based on Z and the Classification-Tree Method. ICFEM 1997: 81-90 | |
| 1 | Kirill Bogdanov | [2] |
| 2 | Mirko Conrad | [1] |
| 3 | Mark Harman | [4] |
| 4 | Robert M. Hierons | [3] [4] |
| 5 | Mike Holcombe | [2] |
| 6 | Sadegh Sadeghipour | [1] [3] |