BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × USA
2 × Germany
2 × Italy
3 × Canada
3 × France
3 × The Netherlands
Collaborated with:
K.Bogdanov J.Derrick M.Roper M.Wood Q.Guo M.Hall P.McMinn G.Fraser T.Gransden R.Raman R.Taylor M.A.Khojaye J.Paris M.Holcombe S.Salahuddin
Talks about:
model (5) state (4) infer (4) test (4) softwar (3) behaviour (2) structur (2) coverag (2) system (2) revers (2)

Person: Neil Walkinshaw

DBLP DBLP: Walkinshaw:Neil

Contributed to:

CADE 20152015
ICSME 20142014
WCRE 20132013
ICSM 20122012
ICST 20122012
ICTSS 20112011
ICTSS 20102010
FM 20092009
TestCom/FATES 20092009
ASE 20082008
ICSM 20072007
WCRE 20072007
IWPC 20052005
SCAM 20032003
WCRE 20092009

Wrote 15 papers:

CADE-2015-GransdenWR #automaton #named #proving #using
SEPIA: Search for Proofs Using Inferred Automata (TG, NW, RR), pp. 246–255.
ICSME-2014-HallKWM #automation #source code #tool support
Establishing the Source Code Disruption Caused by Automated Remodularisation Tools (MH, MAK, NW, PM), pp. 466–470.
WCRE-2013-WalkinshawTD #finite #modelling #state machine
Inferring Extended Finite State Machine models from software executions (NW, RT, JD), pp. 301–310.
ICSM-2012-HallWM #composition
Supervised software modularisation (MH, NW, PM), pp. 472–481.
ICST-2012-FraserW #behaviour #testing
Behaviourally Adequate Software Testing (GF, NW), pp. 300–309.
ICTSS-2011-Walkinshaw #black box #specification #test coverage #testing
Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.
ICTSS-2010-WalkinshawBDP #case study #functional #induction #testing
Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.
FM-2009-WalkinshawDG #modelling #refinement #testing
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing (NW, JD, QG), pp. 305–320.
TestCom-FATES-2009-GuoDW #erlang #source code #testing
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (QG, JD, NW), pp. 81–96.
ASE-2008-WalkinshawB #constraints #finite #modelling
Inferring Finite-State Models with Temporal Constraints (NW, KB), pp. 248–257.
ICSM-2007-WalkinshawRW #feature model #using
Feature Location and Extraction using Landmarks and Barriers (NW, MR, MW), pp. 54–63.
WCRE-2007-WalkinshawBHS #grammar inference #interactive #reverse engineering #state machine
Reverse Engineering State Machines by Interactive Grammar Inference (NW, KB, MH, SS), pp. 209–218.
IWPC-2005-WalkinshawRW #behaviour #comprehension #object-oriented #perspective #source code
Understanding Object-Oriented Source Code from the Behavioural Perspective (NW, MR, MW), pp. 215–224.
SCAM-2003-WalkinshawRW #dependence #graph #java
The Java System Dependence Graph (NW, MR, MW), pp. 55–64.
WCRE-1999-BogdanovW99a #difference #modelling
Computing the Structural Difference between State-Based Models (KB, NW), pp. 177–186.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.