K
Kelly Androutsopoulos
Researcher at Middlesex University
Publications - 33
Citations - 1019
Kelly Androutsopoulos is an academic researcher from Middlesex University. The author has contributed to research in topics: Reactive system & Formal specification. The author has an hindex of 14, co-authored 32 publications receiving 1000 citations. Previous affiliations of Kelly Androutsopoulos include University College London & King's College London.
Papers
More filters
Book ChapterDOI
Safety and Security Analysis of Object-Oriented Models
TL;DR: This paper reviews existing approaches for the safety and security analysis of object-oriented software designs, and identifies ways in which these approaches can be improved and made more rigorous.
Book ChapterDOI
UML to B: Formal Verification of Object-Oriented Models
TL;DR: A translation from UML class diagrams into B is defined, which is used to verify the consistency of UML models and to verify that expected properties of these models hold.
Proceedings ArticleDOI
An analysis of the relationship between conditional entropy and failed error propagation in software testing
TL;DR: An information theoretic formulation of FEP that is based on measures of conditional entropy is introduced, which reveals that the metrics differ in their performance but the Spearman rank correlation with failed error propagation is close to 0.95 for two of the metrics.
Book ChapterDOI
Control Dependence for Extended Finite State Machines
TL;DR: A new definition of slicing for state machines is introduced, introducing a new definition that subsumes one and extends another and illustrating that by using this new definition the authors' slices respect Weiser slicing's termination behaviour.
Journal ArticleDOI
State-based model slicing: A survey
TL;DR: A detailed review of existing work on slicing at the level of finite-state-machine-based models focuses on state-based modeling notations because these have received sufficient attention from the slicing community that there is now a coherent body of hitherto unsurveyed work.