Amtoft, Torben and Androutsopoulos, Kelly and Clark, David (2020) Correctly slicing extended finite state machines. In: From lambda calculus to cybersecurity through program analysis - essays dedicated to Chris Hankin on the occasion of his retirement. Di Pierro, Alessandra and Malacaria, Pasquale and Nagarajan, Rajagopal , eds. Theoretical Computer Science and General Issues (12065). Springer International Publishing, Switzerland, pp. 149-197. ISBN 9783030411022
Androutsopoulos, Kelly and Aristodemou, Leonidas and Boender, Jaap and Bottone, Michele and Currie, Edward and El-Aroussi, Inas and Fields, Bob and Gheri, Lorenzo and Gorogiannis, Nikos and Heeney, Michael and Micheletti, Matteo and Loomes, Martin J. and Margolis, Michael and Petridis, Miltos and Piermarteri, Andrea and Primiero, Giuseppe and Raimondi, Franco and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany.
Androutsopoulos, Kelly and Clark, David and Dan, Haitao and Hierons, Robert M. and Harman, Mark (2014) An analysis of the relationship between conditional entropy and failed error propagation in software testing. In: 36th International Conference on Software Engineering, ICSE '14, 31 May - 07 Jun 2014, Hyderabad, India.
Androutsopoulos, Kelly and Gorogiannis, Nikos and Loomes, Martin J. and Margolis, M. and Primiero, Giuseppe and Raimondi, Franco and Varsani, Puja and Weldin, N. and Zivanovic, Aleksandar (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France.