Kirill Bogdanov

2009
13	EE	Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2): (2009)
2008
12	EE	Neil Walkinshaw, Kirill Bogdanov: Inferring Finite-State Models with Temporal Constraints. ASE 2008: 248-257
11	EE	Kirill Bogdanov: Testing from X-Machine Specifications. Formal Methods and Testing 2008: 184-208
10	EE	Neil Walkinshaw, Kirill Bogdanov, Ken Johnson: Evaluation and Comparison of Inferred Regular Grammars. ICGI 2008: 252-265
9	EE	Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin: Improving dynamic software analysis by applying grammar inference principles. Journal of Software Maintenance 20(4): 269-290 (2008)
8	EE	Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe: Automated discovery of state transitions and their functions in source code. Softw. Test., Verif. Reliab. 18(2): 99-121 (2008)
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

Coauthor Index

1	Shaukat Ali	[8]
2	Jonathan P. Bowen	[3] [13]
3	John A. Clark (John Andrew Clark)	[3]
4	Rance Cleaveland	[13]
5	John Derrick	[13]
6	Jeremy Dick	[13]
7	Marian Gheorghe	[13]
8	Mark Harman	[3] [13]
9	Robert M. Hierons	[3] [13]
10	Mike Holcombe	[1] [2] [4] [5] [6] [7] [8] [9]
11	Florentin Ipate	[5]
12	Ken Johnson	[10]
13	Kalpesh Kapoor	[13]
14	Paul Krause	[3] [13]
15	Gerald Lüttgen	[13]
16	Sarah Salahuddin	[7] [9]
17	L. Seed	[5]
18	Anthony J. H. Simons	[13]
19	Harbhajan Singh	[1]
20	Salim K. Vanak	[5]
21	Sergiy A. Vilkomir	[13]
22	Neil Walkinshaw	[6] [7] [8] [9] [10] [12]
23	Martin R. Woodward	[13]
24	Hussein Zedan (Hussein S. M. Zedan)	[13]