- Walkinshaw N & Bogdanov K (2013) Automated comparison of state-based software models in terms of their language and structure. ACM Transactions on Software Engineering and Methodology, 22(2).
- Walkinshaw N, Lambeau B, Damas C, Dupont P & Bogdanov K (2012) STAMINA: a competition to encourage the development and assessment of software model inference techniques. Empirical Software Engineering, 1-34.
Conference proceedings papers
- Walkinshaw N, Bogdanov K, Derrick J & Paris J (2010) Increasing Functional Coverage by Inductive Testing: A Case Study.. ICTSS, Vol. 6435 (pp 126-141)
- Walkinshaw N & Bogdanov K (2008) Inferring Finite-State Models with Temporal Constraints.. ASE (pp 248-257)
- Bogdanov KE () Test generation for X-machines with non-terminal states and priorities of operations. Fourth IEEE International Conference on Software Testing, Verification and Validation. Berlin, 22 March 2011 - 24 March 2011.