Kirill Bogdanov - Publications, H-index & Citations

Kirill Bogdanov

University of Sheffield

15H指数

40论文数

971被引数

收录论文 4

发表时间

State identification sequences from the splitting tree

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2020-07-01

PREAI

Soucha, Michal; Bogdanov, Kirill

Automated Comparison of State-Based Software Models in Terms of Their Language and Structure

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2013-03-01

PREAI

Walkinshaw, Neil; Bogdanov, Kirill

STAMINA: a competition to encourage the development and assessment of software model inference techniques

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2012-05-25

OAAI

Walkinshaw, Neil; Lambeau, Bernard; Damas, Christophe; Bogdanov, Kirill; Dupont, Pierre

Using Formal Specifications to Support Testing 使用正式规范支持测试

ACM COMPUTING SURVEYS

IF28

2009-02-23

236

OAAI

Hierons, Robert M.; Bogdanov, Kirill; Bowen, Jonathan P.; Cleaveland, Rance; Derrick, John; Dick, Jeremy; Gheorghe, Marian; Harman, Mark; Kapoor, Kalpesh; Krause, Paul; Luettgen, Gerald; Simons, Anthony J. H.; Vilkomir, Sergiy; Woodward, Martin R.; Zedan, Hussein

研究方向