 | 2009 |
| 14 |  | Neil Walkinshaw,
John Derrick,
Qiang Guo:
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.
FM 2009: 305-320 |
| 13 |  | Qiang Guo,
John Derrick,
Neil Walkinshaw:
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.
TestCom/FATES 2009: 81-96 |
| 2008 |
| 12 |  | Neil Walkinshaw,
Kirill Bogdanov:
Inferring Finite-State Models with Temporal Constraints.
ASE 2008: 248-257 |
| 11 |  | Neil Walkinshaw,
Kirill Bogdanov,
Ken Johnson:
Evaluation and Comparison of Inferred Regular Grammars.
ICGI 2008: 252-265 |
| 10 |  | Mariam Kiran,
Simon Coakley,
Neil Walkinshaw,
Phil McMinn,
Mike Holcombe:
Validation and discovery from computational biology models.
Biosystems 93(1-2): 141-150 (2008) |
| 9 |  | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe,
Sarah Salahuddin:
Improving dynamic software analysis by applying grammar inference principles.
Journal of Software Maintenance 20(4): 269-290 (2008) |
| 8 |  | Neil Walkinshaw,
Kirill Bogdanov,
Shaukat Ali,
Mike Holcombe:
Automated discovery of state transitions and their functions in source code.
Softw. Test., Verif. Reliab. 18(2): 99-121 (2008) |
| 2007 |
| 7 |  | Neil Walkinshaw,
Marc Roper,
Murray Wood:
Feature Location and Extraction using Landmarks and Barriers.
ICSM 2007: 54-63 |
| 6 |  | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe,
Sarah Salahuddin:
Reverse Engineering State Machines by Interactive Grammar Inference.
WCRE 2007: 209-218 |
| 5 |  | Francesco Bernardini,
Marian Gheorghe,
Francisco José Romero-Campero,
Neil Walkinshaw:
A Hybrid Approach to Modeling Biological Systems.
Workshop on Membrane Computing 2007: 138-159 |
| 2006 |
| 4 |  | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe:
Identifying State Transitions and their Functions in Source Code.
TAIC PART 2006: 49-58 |
| 2005 |
| 3 |  | Douglas Kirk,
Marc Roper,
Neil Walkinshaw:
Using Attribute Slicing to Refactor Large Classes.
Beyond Program Slicing 2005 |
| 2 |  | Neil Walkinshaw,
Marc Roper,
Murray Wood:
Understanding Object-Oriented Source Code from the Behavioural Perspective.
IWPC 2005: 215-224 |
| 2003 |
| 1 |  | Neil Walkinshaw,
Marc Roper,
Murray Wood:
The Java System Dependence Graph.
SCAM 2003: 55-64 |