| 2008 |
|---|
| 8 | EE | Kirill Bogdanov:
Testing from X-Machine Specifications.
Formal Methods and Testing 2008: 184-208 |
| 2007 |
|---|
| 7 | EE | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe,
Sarah Salahuddin:
Reverse Engineering State Machines by Interactive Grammar Inference.
WCRE 2007: 209-218 |
| 2006 |
|---|
| 6 | EE | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe:
Identifying State Transitions and their Functions in Source Code.
TAIC PART 2006: 49-58 |
| 5 | EE | Kirill Bogdanov,
Mike Holcombe,
Florentin Ipate,
L. Seed,
Salim K. Vanak:
Testing methods for X-machines: a review.
Formal Asp. Comput. 18(1): 3-30 (2006) |
| 2004 |
|---|
| 4 | EE | Kirill Bogdanov,
Mike Holcombe:
Refinement in statechart testing.
Softw. Test., Verif. Reliab. 14(3): 189-211 (2004) |
| 2002 |
|---|
| 3 | EE | Jonathan P. Bowen,
Kirill Bogdanov,
John A. Clark,
Mark Harman,
Robert M. Hierons,
Paul Krause:
FORTEST: Formal Methods and Testing.
COMPSAC 2002: 91-104 |
| 2001 |
|---|
| 2 | | Kirill Bogdanov,
Mike Holcombe:
Statechart testing method for aircraft control systems.
Softw. Test., Verif. Reliab. 11(1): 39-54 (2001) |
| 1998 |
|---|
| 1 | | Kirill Bogdanov,
Mike Holcombe,
Harbhajan Singh:
Automated Test Set Generation for Statecharts.
FM-Trends 1998: 107-121 |
