BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Canada
1 × Denmark
1 × Finland
1 × France
1 × Italy
2 × Germany
Collaborated with:
N.Walkinshaw J.Derrick R.Taylor M.Holcombe H.Singh M.Hall J.Paris S.Salahuddin
Talks about:
state (4) infer (4) test (4) behaviour (2) generat (2) machin (2) model (2) set (2) statechart (1) constraint (1)

Person: Kirill Bogdanov

DBLP DBLP: Bogdanov:Kirill

Facilitated 2 volumes:

A-MOST 2019PrCo
A-MOST 2020PrCo

Contributed to:

IFM 20132013
ICTSS 20122012
ICST 20112011
ICTSS 20102010
ASE 20082008
WCRE 20072007
WCRE 20092009
FM-Trends 19981998

Wrote 8 papers:

IFM-2013-TaylorBD #automation #behaviour #erlang
Automatic Inference of Erlang Module Behaviour (RT, KB, JD), pp. 253–267.
ICTSS-2012-TaylorHBD #behaviour #testing #using
Using Behaviour Inference to Optimise Regression Test Sets (RT, MH, KB, JD), pp. 184–199.
ICST-2011-Bogdanov #generative #testing
Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.
ICTSS-2010-WalkinshawBDP #case study #functional #induction #testing
Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.
ASE-2008-WalkinshawB #constraints #finite #modelling
Inferring Finite-State Models with Temporal Constraints (NW, KB), pp. 248–257.
WCRE-2007-WalkinshawBHS #grammar inference #interactive #reverse engineering #state machine
Reverse Engineering State Machines by Interactive Grammar Inference (NW, KB, MH, SS), pp. 209–218.
WCRE-1999-BogdanovW99a #difference #modelling
Computing the Structural Difference between State-Based Models (KB, NW), pp. 177–186.
FM-1998-BogdanovHS #automation #generative #testing
Automated Test Set Generation for Statecharts (KB, MH, HS), pp. 107–121.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.