Neil Walkinshaw Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Walkinshaw, John Derrick, Qiang Guo: Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. FM 2009: 305-320
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiang Guo, John Derrick, Neil Walkinshaw: Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES 2009: 81-96
2008
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Walkinshaw, Kirill Bogdanov: Inferring Finite-State Models with Temporal Constraints. ASE 2008: 248-257
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Walkinshaw, Kirill Bogdanov, Ken Johnson: Evaluation and Comparison of Inferred Regular Grammars. ICGI 2008: 252-265
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe: Validation and discovery from computational biology models. Biosystems 93(1-2): 141-150 (2008)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil 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)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Walkinshaw, Marc Roper, Murray Wood: Feature Location and Extraction using Landmarks and Barriers. ICSM 2007: 54-63
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin: Reverse Engineering State Machines by Interactive Grammar Inference. WCRE 2007: 209-218
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bernardini, Marian Gheorghe, Francisco José Romero-Campero, Neil Walkinshaw: A Hybrid Approach to Modeling Biological Systems. Workshop on Membrane Computing 2007: 138-159
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Walkinshaw, Kirill Bogdanov, Mike Holcombe: Identifying State Transitions and their Functions in Source Code. TAIC PART 2006: 49-58
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas Kirk, Marc Roper, Neil Walkinshaw: Using Attribute Slicing to Refactor Large Classes. Beyond Program Slicing 2005
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Walkinshaw, Marc Roper, Murray Wood: Understanding Object-Oriented Source Code from the Behavioural Perspective. IWPC 2005: 215-224
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Walkinshaw, Marc Roper, Murray Wood: The Java System Dependence Graph. SCAM 2003: 55-64

Coauthor Index

1Shaukat Ali [8]
2Francesco Bernardini [5]
3Kirill Bogdanov [4] [6] [8] [9] [11] [12]
4Simon Coakley [10]
5John Derrick [13] [14]
6Marian Gheorghe [5]
7Qiang Guo [13] [14]
8Mike Holcombe [4] [6] [8] [9] [10]
9Ken Johnson [11]
10Mariam Kiran [10]
11Douglas Kirk [3]
12Phil McMinn [10]
13Francisco José Romero-Campero [5]
14Marc Roper [1] [2] [3] [7]
15Sarah Salahuddin [6] [9]
16Murray Wood [1] [2] [7]

Copyright © Wed Nov 25 14:46:41 2009 by Michael Ley (ley@uni-trier.de)