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: Bogdanov:Kirill
Facilitated 2 volumes:
PrCoPrCoContributed to:
2013
2012
20112010
2008
20072009
1998Wrote 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.