- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| c3 |      | 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 | ||
| j1 | | Robert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh: Testing a system specified using Statecharts and Z. Information & Software Technology 43(2): 137-149 (2001) |
| 1998 | ||
| c2 | | Kirill Bogdanov, Mike Holcombe, Harbhajan Singh: Automated Test Set Generation for Statecharts. FM-Trends 1998: 107-121 |
| 1997 | ||
| c1 |  | 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 | Mirko Conrad | |
| 3 | Mark Harman | |
| 4 | Robert M. Hierons | |
| 5 | Mike Holcombe | |
| 6 | Sadegh Sadeghipour |
Data released under the ODC-BY 1.0 license — See also our legal information page