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: Walkinshaw:Neil
Contributed to:
2015
2014
20132012
2012
20112010
2009
2009
200820072007
2005
20032009Wrote 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.