| Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 9, 2009 | 453 | 2009 |
| The OPEN toolbox of techniques B Henderson-Sellers, A Simons, H Younessi Addison-Wesley, 1998 | 138 | 1998 |
| A survey of service oriented development methodologies E Ramollari, D Dranidis, AJH Simons European Young Researchers Workshop on Service Oriented Computing (YRSOC-2 …, 2007 | 126 | 2007 |
| 30 Things that go wrong in object modelling with UML 1.3 AJH Simons, I Graham Behavioral Specifications of Businesses and Systems, 237-257, 1999 | 107 | 1999 |
| Use cases considered harmful AJH Simons Technology of Object-Oriented Languages and Systems (TOOLS-29, Europe), 1999 …, 1999 | 89 | 1999 |
| JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction AJH Simons Automated Software Engineering 14, 369-418, 2007 | 55 | 2007 |
| On the compositional properties of UML statechart diagrams AJH Simons Electronic Workshops in Computing (ROOM-3), 8.1-8.12, 2000 | 53 | 2000 |
| Using formal methods to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, JH Dick, ... | 46 | 2008 |
| Cloud application portability: an initial view F Gonidis, AJH Simons, I Paraskakis, D Kourtesis Proceedings of the 6th Balkan Conference in Informatics, 275-282, 2013 | 45 | 2013 |
| Control-flow semantics of use cases in UML KG van den Berg, AJH Simons Information and Software Technology 41 (10), 651-659, 1999 | 43 | 1999 |
| Leveraging semantic web service descriptions for validation by automated functional testing E Ramollari, D Kourtesis, D Dranidis, A Simons European Semantic Web Conference (ESWC-6), 593-607, 2009 | 33 | 2009 |
| 37 things that don't work in object-oriented modelling with UML AJH Simons, I Graham British Computer Society Object-Oriented Programming Systems Newsletter 35, 1-24, 1998 | 33 | 1998 |
| The theory of classification part 4: object types and subtyping AJH Simons Journal of Object Technology 1 (5), 27-33, 2002 | 30 | 2002 |
| An extensible architecture for run-time monitoring of conversational web services K Bratanis, D Dranidis, AJH Simons International Workshop on Monitoring, Adaptation and Beyond (MONA+ 3), 9-16, 2010 | 28 | 2010 |
| A lightly supervised approach to detect stuttering in children's speech S Alharbi, M Hasan, AJH Simons, S Brumfitt, P Green Proceedings of Interspeech 2018, 3433-3437, 2018 | 25 | 2018 |
| Z2SAL-building a model checker for Z J Derrick, S North, A Simons Abstract State Machines, B and Z (ABZ-1), 280-293, 2008 | 24 | 2008 |
| Z2SAL: a translation-based model checker for Z J Derrick, S North, AJH Simons Formal Aspects of Computing 23, 43-71, 2011 | 23 | 2011 |
| The theory of classification part 1: perspectives on type compatibility AJH Simons Journal of Object Technology 1 (1), 55-61, 2002 | 23 | 2002 |
| A theory of regression testing for behaviourally compatible object types AJH Simons Software Testing, Verification and Reliability 16 (3), 133-156, 2006 | 20 | 2006 |
| The theory of classification part 8: classification and inheritance AJH Simons Journal of Object Technology 2 (4), 55-64, 2003 | 18 | 2003 |
John DerrickUniversity of SheffieldEmail confirmado em sheffield.ac.uk
