Seuraa
Neil Walkinshaw
Neil Walkinshaw
Department of Computer Science, The University of Sheffield
Vahvistettu sähköpostiosoite verkkotunnuksessa sheffield.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Inferring extended finite state machine models from software executions
N Walkinshaw, R Taylor, J Derrick
Empirical Software Engineering 21, 811-853, 2016
2152016
Inferring finite-state models with temporal constraints
N Walkinshaw, K Bogdanov
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008
1382008
The Java system dependence graph
N Walkinshaw, M Roper, M Wood
Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE …, 2003
1272003
Reverse engineering state machines by interactive grammar inference
N Walkinshaw, K Bogdanov, M Holcombe, S Salahuddin
Reverse Engineering, 2007. WCRE 2007. 14th Working Conference on, 209-218, 2007
1102007
Iterative refinement of reverse-engineered models by model-based testing
N Walkinshaw, J Derrick, Q Guo
FM 2009: Formal Methods, 305-320, 2009
612009
STAMINA: a competition to encourage the development and assessment of software model inference techniques
N Walkinshaw, B Lambeau, C Damas, K Bogdanov, P Dupont
Empirical software engineering 18 (4), 791-824, 2013
602013
Increasing functional coverage by inductive testing: a case study
N Walkinshaw, K Bogdanov, J Derrick, J Paris
Testing Software and Systems, 126-141, 2010
602010
An evidential reasoning approach for assessing confidence in safety evidence
S Nair, N Walkinshaw, T Kelly, JL de la Vara
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
572015
Supervised software modularisation
M Hall, N Walkinshaw, P McMinn
2012 28th IEEE International Conference on Software Maintenance (ICSM), 472-481, 2012
542012
Automated discovery of state transitions and their functions in source code
N Walkinshaw, K Bogdanov, S Ali, M Holcombe
Software Testing, Verification and Reliability 18 (2), 99-121, 2008
502008
Automated comparison of state-based software models in terms of their language and structure
N Walkinshaw, K Bogdanov
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (2), 1-37, 2013
372013
How do automatically generated unit tests influence software maintenance?
S Shamshiri, JM Rojas, JP Galeotti, N Walkinshaw, G Fraser
2018 IEEE 11th international conference on software testing, verification …, 2018
362018
Uncertainty-driven black-box test data generation
N Walkinshaw, G Fraser
2017 IEEE International Conference on Software Testing, Verification and …, 2017
362017
Property-Based Testing-The ProTest Project
J Derrick, N Walkinshaw, T Arts, C Benac Earle, F Cesarini, LA Fredlund, ...
Formal Methods for Components and Objects, 250-271, 2010
362010
Feature location and extraction using landmarks and barriers
N Walkinshaw, M Roper, M Wood
Software Maintenance, 2007. ICSM 2007. IEEE International Conference on, 54-63, 2007
362007
A hybrid approach to modeling biological systems
F Bernardini, M Gheorghe, FJ Romero-Campero, N Walkinshaw
Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki …, 2007
362007
Assessing and generating test sets in terms of behavioural adequacy
G Fraser, N Walkinshaw
Software Testing, Verification and Reliability 25 (8), 749-780, 2015
322015
Using compression algorithms to support the comprehension of program traces
N Walkinshaw, S Afshan, P McMinn
Proceedings of the Eighth International Workshop on Dynamic Analysis, 8-13, 2010
322010
Behaviourally adequate software testing
G Fraser, N Walkinshaw
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
312012
Computing the structural difference between state-based models
K Bogdanov, N Walkinshaw
Reverse Engineering, 2009. WCRE'09. 16th Working Conference on, 177-186, 2009
312009
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20