K. Bogdanov
发表
Rance Cleaveland,
Martin R. Woodward,
Mark Harman,
2009,
CSUR.
K. Bogdanov,
Shaukat Ali,
Neil Walkinshaw,
2007
.
Jonathan P. Bowen,
H. Zedan,
M. R. Woodward,
2003
.
Mark Harman,
Robert M. Hierons,
Jonathan P. Bowen,
2002
.
Mark Harman,
Robert M. Hierons,
Jonathan P. Bowen,
2002
.
Rance Cleaveland,
Marian Gheorghe,
Mark Harman,
2008
.
Neil Walkinshaw,
Kirill Bogdanov,
K. Bogdanov,
2011
.
Kirill Bogdanov,
Michal Soucha,
K. Bogdanov,
2019,
Comput. J..
Neil Walkinshaw,
Pierre Dupont,
Christophe Damas,
2010,
MIIT '10.
Kirill Bogdanov,
K. Bogdanov,
2008,
Formal Methods and Testing.
Neil Walkinshaw,
Kirill Bogdanov,
K. Bogdanov,
2013,
TSEM.
K. Bogdanov,
P. Dupont,
Neil Walkinshaw,
2013,
Empirical Software Engineering.
John A. Clark,
Mark Harman,
Robert M. Hierons,
2002,
Proceedings 26th Annual International Computer Software and Applications.
Mathew Hall,
John Derrick,
Ramsay Taylor,
2012,
ICTSS.
Kirill Bogdanov,
K. Bogdanov,
M. Holcombe,
2001
.
Neil Walkinshaw,
Kirill Bogdanov,
K. Bogdanov,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Kirill Bogdanov,
Michal Soucha,
K. Bogdanov,
2020,
Inf. Softw. Technol..
Kirill Bogdanov,
Michal Soucha,
K. Bogdanov,
2018,
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Kirill Bogdanov,
K. Bogdanov,
2011,
2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.
Neil Walkinshaw,
Kirill Bogdanov,
Sarah Salahuddin,
2008,
2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
Florentin Ipate,
Mike Holcombe,
Kirill Bogdanov,
2006,
Formal Aspects of Computing.
Mike Holcombe,
Kirill Bogdanov,
K. Bogdanov,
2004,
Softw. Test. Verification Reliab..
Neil Walkinshaw,
Pierre Dupont,
Christophe Damas,
2012,
Empirical Software Engineering.