Searching for authors named "Kirill Bogdanov" – sorted by Relevance.
-
Identifying state transitions and their functions in source code
- Identifying State Transitions and their Functions in Source Code Neil Walkinshaw, Kirill Bogdanov
- Cited by 3 (1 self) – Add To MetaCart
-
Reverse engineering state machines by interactive grammar inference
- Bogdanov, Mike Holcombe, Sarah Salahuddin Regent Court, 211 Portobello Street, Sheffield S1 4DP E-mail:{n.walkinshaw,k.bogdanov
- Cited by 2 (1 self) – Add To MetaCart
-
Complete functional testing using object machines
- CS - 01 - 18 Complete Functional Testing using Object Machines Anthony J H Simons, Kirill Bogdanov
- Cited by 1 (0 self) – Add To MetaCart
-
X-Machine Specification and Refinement of Digital Devices
- X-machine specification and refinement of digital devices Authors: Kirill Bogdanov, Matt Fairtlough
- Cited by 2 (1 self) – Add To MetaCart
-
FORTEST: Formal Methods and Testing
- on the website. Kirill Bogdanov The University of Sheffield, UK Email: k.bogdanov@(email omitted); Mark Harman
- Cited by 2 (2 self) – Add To MetaCart

