Searching for authors named "Kirill Bogdanov" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
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
Showing 1 through 5.
