Publications

Sort by: type, or by subject area.

Software Testing

  1. An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing
    Kelly Androutsopoulos, David Clark, Haitao Dan, Rob Heirons, Mark Harman
    In Proceedings of the 36th International Conference on Software Engineering (ICSE 2014),
    Hyderabad, India, May 31-June 7, 2014.

Dependence Analysis and Slicing

  1. State-based Model Slicing:A Survey PDF
    Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt
    In ACM Computing Surveys. Volume 45, Issue 4, August 2013

  2. Amorphous Slicing of Extended Finite State Machines
    Kelly Androutsopoulos, David Clark, Mark Harman, Rob Heirons, Zheng Li, Laurence Tratt
    In IEEE Transactions on Software Engineering, (Volume:39, Issue: 7), July 2013

  3. Model Projection: Simplifying Models in Response to Restricting the Environment PDF
    Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li
    In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011),
    Waikiki, Honolulu, Hawaii, May 21-28, 2011.

  4. Survey of Slicing Finite State Machine Models PDF
    Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke and Laurence Tratt
    Technical Report, RN/10/07, University College London, December 2010

  5. An Alternative Characterization of Weak Order Dependence PDF
    Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li
    Information Processing Letters Volume 110, Issue 21, Pages: 939-943, October 2010

  6. A Theoretical and Empirical Study of EFSM Dependence PDF
    Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li , Laurence Tratt
    Proceedings of the International Conference on Software Maintenance (ICSM), September 2009

  7. Control Dependence for Extended Finite State Machines PDF
    Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li , Laurence Tratt
    Fundamental Approaches to Software Engineering (FASE), March 2009
    Best Software Science Paper Award, at the 12th European Join Conference on Theory and Practice ETAPS 2009.

  8. Correctness for Slicing EFSMs.
    Kelly Androutsopoulos, David Clark, Mark Harman and Laurence Tratt
    2nd International Workshop on Programming Language Interference and Dependence, PLID'05, London Sept 6, 2005

Teaching Related

  1. A Racket-Based Robot to Teach First-Year Computer Science PDF
    K. Androutsopoulos, N. Gorogiannis, M. Loomes, M. Margolis, G. Primiero, F. Raimondi, P. Varsani, N. Weldin, A.Zivanovic
    In Proceedings of the 7th European Lisp Symposium, ELS 2014

Dynamic Monitoring/Runtime Verification

  1. Dynamic Verification and Control of Mobile Peer-to-Peer Systems PDF
    George Spanoudakis, Christos Kloukinas, and Kelly Androutsopoulos
    Proceedings of the Third International Conference on Internet Monitoring and Protection (ICIMP), Bucharest, Romania, 2008

  2. Towards Security Monitoring Patterns PDF
    George Spanoudakis, Christos Kloukinas, and Kelly Androutsopoulos
    In ACM Symposium on Applied Computing (SAC07), Seoul, Korea, 2007

Formal Specification and Verification

  1. Concurrency and Real-Time Specifications in UML
    Kevin Lano, Kelly Androutsopoulos, and David Clark.
    Proceedings of the International Workshop on Modelling and Analysis of Real-Time and Embedded Systems (MARTES)
    at MoDELS 2006. Universitet i Oslo, Institut for Informatikk Research Report.

  2. Refinement Patterns for UML
    Kevin Lano, Kelly Androutsopoulos, David Clark
    Electronic Notes in Theoretical Computer Science 137(2): 131-149, 2005

  3. UML to B: Formal Verification of Object-Oriented Models PS
    Kevin Lano, David Clark and Kelly Androutsopoulos
    IFM, Kent, 2004

  4. RSDS, a Subset of UML with Precise Semantics PS
    Kevin Lano, Kelly Androutsopoulos and David Clark
    Journal L'objet, Logiciel, bases de donnees, reseaux, 2003

  5. Formal Specification and Verification of Railway Systems Using UML PS
    Kevin Lano, Kelly Androutsopoulos and David Clark
    FORMS Symposium on Formal Methods for Railway Operation and Control Systems, Budapest, Hungary, 2003

  6. From Implicit Specifications to Explicit Designs in Reactive System Development
    Kevin Lano, David Clark and Kelly Androutsopoulos
    The Third International Conference, Integrated Formal Methods (IFM) Turku, Finland, 2002

  7. Safety and Security Analysis of Object-Oriented Models PS
    Kevin Lano, David Clark and Kelly Androutsopoulos
    SAFECOMP Italy, 82-93, 2002

  8. Design and Verification of Automation Systems using RSDS
    Kevin Lano, Kelly Androutsopoulos, David Clark and Pauline Kan
    Proceeding of INCOM, Vienna, 2001

  9. Structuring Reactive Systems in B AMN PS
    Kevin Lano, Kelly Androutsopoulos and Pauline Kan
    Third IEEE International Conference on Formal Methods (ICFEM), September 2000, York

  10. Invariant-based Synthesis of Fault-tolerant Systems PS
    Kevin Lano,David Clark, Kelly Androutsopoulos and Pauline Kan
    In the proceedings of FTRTFT 2000.

  11. Structuring and Design of Reactive Systems using RSDS and B PS
    Kevin Lano, Kelly Androutsopoulos, and David Clark
    In the proceedings of FASE, ETAPS 2000.

  12. Reactive System Refinement of Distributed Systems in B PS
    Kevin Lano, Kelly Androutsopoulos
    Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999, Springer

  13. Formalising Inter-model Consistency of the UML PS
    Kevin Lano, David Clark and Kelly Androutsopoulos
    UML 2002, Workshop on Consistency Problems in UML-Based Software Development, Dresden, Germany, 2002

  14. RSDS: A Subset of UML with Precise Semantics
    Kevin Lano, David Clark, Kelly Androutsopoulos,
    ROOM The fourth workshop, King's College,2002

  15. Reactive System Specification and Verification in RSDS
    Kelly Androutsopoulos, Kevin Lano
    AVOCS, Oxford, 2001

  16. PhD Thesis: Specification and Verification of Reactive Systems Using RSDS, 2005