Kirill Bogdanov

	2011
16		Kirill Bogdanov: Test Generation for X-machines with Non-terminal States and Priorities of Operations. ICST 2011: 130-139
	2010
15		Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris: Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS 2010: 126-141
	2009
14		Kirill Bogdanov, Neil Walkinshaw: Computing the Structural Difference between State-Based Models. WCRE 2009: 177-186
13		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		Neil Walkinshaw, Kirill Bogdanov: Inferring Finite-State Models with Temporal Constraints. ASE 2008: 248-257
11		Kirill Bogdanov: Testing from X-Machine Specifications. Formal Methods and Testing 2008: 184-208
10		Neil Walkinshaw, Kirill Bogdanov, Ken Johnson: Evaluation and Comparison of Inferred Regular Grammars. ICGI 2008: 252-265
9		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		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		Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin: Reverse Engineering State Machines by Interactive Grammar Inference. WCRE 2007: 209-218
	2006
6		Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe: Identifying State Transitions and their Functions in Source Code. TAIC PART 2006: 49-58
5		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		Kirill Bogdanov, Mike Holcombe: Refinement in statechart testing. Softw. Test., Verif. Reliab. 14(3): 189-211 (2004)
	2002
3		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 (Shaukat Ali Khan)	[8]
2	Jonathan P. Bowen	[3] [13]
3	John A. Clark (John Andrew Clark)	[3]
4	Rance Cleaveland	[13]
5	John Derrick	[13] [15]
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	Javier Paris	[15]
17	Sarah Salahuddin	[7] [9]
18	L. Seed	[5]
19	Anthony J. H. Simons	[13]
20	Harbhajan Singh	[1]
21	Salim K. Vanak	[5]
22	Sergiy A. Vilkomir	[13]
23	Neil Walkinshaw	[6] [7] [8] [9] [10] [12] [14] [15]
24	Martin R. Woodward	[13]
25	Hussein Zedan (Hussein S. M. Zedan)	[13]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page