| 2008 |
|---|
| 62 | EE | Christopher Thomson,
Mike Holcombe,
Tony Cowling,
Tony Simons,
George Michaelides:
A pilot study of comparative customer comprehension between extreme x-machine and uml models.
ESEM 2008: 270-272 |
| 61 | EE | Christopher Thomson,
Mike Holcombe:
Correctness of data mined from CVS.
MSR 2008: 117-120 |
| 60 | EE | Mike Holcombe,
Chris Thomson:
Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement.
XP 2008: 104-113 |
| 59 | EE | Mariam Kiran,
Simon Coakley,
Neil Walkinshaw,
Phil McMinn,
Mike Holcombe:
Validation and discovery from computational biology models.
Biosystems 93(1-2): 141-150 (2008) |
| 58 | EE | 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) |
| 57 | EE | 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) |
| 56 | EE | Florentin Ipate,
Mike Holcombe:
Testing data processing-oriented systems from stream X-machine models.
Theor. Comput. Sci. 403(2-3): 176-191 (2008) |
| 2007 |
|---|
| 55 | EE | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe,
Sarah Salahuddin:
Reverse Engineering State Machines by Interactive Grammar Inference.
WCRE 2007: 209-218 |
| 54 | EE | J. S. Karn,
S. Syed-Abdullah,
Anthony J. Cowling,
Mike Holcombe:
A study into the effects of personality type and methodology on cohesion in software engineering teams.
Behaviour & IT 26(2): 99-111 (2007) |
| 2006 |
|---|
| 53 | EE | Rod H. Smallwood,
Mike Holcombe:
The Epitheliome Project: multiscale agent-based modeling of epithelial cells.
ISBI 2006: 816-819 |
| 52 | EE | Liang Huang,
Mike Holcombe:
Empirical Assessment of Test-First Approach.
TAIC PART 2006: 197-202 |
| 51 | EE | Neil Walkinshaw,
Kirill Bogdanov,
Mike Holcombe:
Identifying State Transitions and their Functions in Source Code.
TAIC PART 2006: 49-58 |
| 50 | | Andres Baravalle,
Sarah Chambers,
Siobhán North,
Mike Holcombe:
Open Source Software in the Desktop: The Perspective of the Public Administrations in UK.
WEBIST (2) 2006: 39-44 |
| 49 | EE | Sharifah Lailee Syed-Abdullah,
Mike Holcombe,
Marian Gheorghe:
The Impact of an Agile Methodology on the Well Being of Development Teams.
Empirical Software Engineering 11(1): 143-167 (2006) |
| 48 | EE | Phil McMinn,
Mike Holcombe:
Evolutionary Testing Using an Extended Chaining Approach.
Evolutionary Computation 14(1): 41-64 (2006) |
| 47 | EE | Kirill Bogdanov,
Mike Holcombe,
Florentin Ipate,
L. Seed,
Salim K. Vanak:
Testing methods for X-machines: a review.
Formal Asp. Comput. 18(1): 3-30 (2006) |
| 2005 |
|---|
| 46 | | Hubert Baumeister,
Michele Marchesi,
Mike Holcombe:
Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
Springer 2005 |
| 45 | EE | Phil McMinn,
Mike Holcombe:
Evolutionary testing of state-based programs.
GECCO 2005: 1013-1020 |
| 44 | EE | Florentin Ipate,
Mike Holcombe:
Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.
XP 2005: 214-217 |
| 43 | EE | Sharifah Lailee Syed-Abdullah,
John Karn,
Mike Holcombe,
Anthony J. Cowling,
Marian Gheorghe:
The Positive Affect of the XP Methodology.
XP 2005: 218-221 |
| 42 | EE | John Karn,
Anthony J. Cowling,
Sharifah Lailee Syed-Abdullah,
Mike Holcombe:
Adjusting to XP: Observational Studies of Inexperienced Developers.
XP 2005: 222-225 |
| 41 | EE | Mike Holcombe,
Bhavnidhi Kalra:
Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme.
XP 2005: 255-258 |
| 40 | EE | Angela Martin,
Steven Fraser,
Rachel Davies,
Mike Holcombe,
Rick Mugridge,
Duncan Pierce,
Tom Poppendieck,
Giancarlo Succi:
XP/Agile Education and Training.
XP 2005: 263-266 |
| 39 | EE | Bhavnidhi Kalra,
Chris Thomson,
Mike Holcombe:
The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients.
XP 2005: 323-324 |
| 38 | EE | Susheel Varma,
Mike Holcombe:
Extreme Programming: The Genesys Experience.
XP 2005: 327-328 |
| 37 | EE | Susheel Varma,
Mike Holcombe:
Shared Code Repository: A Narrative.
XP 2005: 329-330 |
| 36 | | Petros Kefalas,
Mike Holcombe,
George Eleftherakis,
Marian Gheorghe:
Formal Development of Reactive Agent-Based Systems.
Encyclopedia of Information Science and Technology (II) 2005: 1201-1204 |
| 35 | EE | Florentin Ipate,
Mike Holcombe:
Complete Testing from a Stream X-Machine Specification.
Fundam. Inform. 64(1-4): 205-216 (2005) |
| 2004 |
|---|
| 34 | EE | Francesco Bernardini,
Marian Gheorghe,
Mike Holcombe:
Eilenberg P Systems with Symbol-Objects.
Aspects of Molecular Computing 2004: 49-60 |
| 33 | EE | Phil McMinn,
Mike Holcombe:
Hybridizing Evolutionary Testing with the Chaining Approach.
GECCO (2) 2004: 1363-1374 |
| 32 | EE | David W. Bustard,
Mike Holcombe,
Ian Sommerville:
BoF: New Directions in UK Software Engineering Research.
ICSE 2004: 693-694 |
| 31 | EE | Marian Gheorghe,
Ioanna Stamatopoulou,
Mike Holcombe,
Petros Kefalas:
Modelling Dynamically Organised Colonies of Bio-entities.
UPP 2004: 207-224 |
| 30 | EE | Mike Holcombe,
Florentin Ipate:
Complete Test Generation for Extreme Programming.
XP 2004: 274-277 |
| 29 | EE | Kirill Bogdanov,
Mike Holcombe:
Refinement in statechart testing.
Softw. Test., Verif. Reliab. 14(3): 189-211 (2004) |
| 28 | EE | Eleni Berki,
Elli Georgiadou,
Mike Holcombe:
Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel.
Software Quality Journal 12(3): 265-283 (2004) |
| 2003 |
|---|
| 27 | EE | Francisco Macias,
Mike Holcombe,
Marian Gheorghe:
A Formal Experiment Comparing Extreme Programming with Traditional Software Construction.
ENC 2003: 73-80 |
| 26 | EE | Phil McMinn,
Mike Holcombe:
The State Problem for Evolutionary Testing.
GECCO 2003: 2488-2498 |
| 25 | | Florentin Ipate,
Mike Holcombe:
Testing Non-Deterministic X-Machines.
Grammars and Automata for String Processing 2003: 151-162 |
| 24 | EE | Duncan Jackson,
Marian Gheorghe,
Mike Holcombe,
Francesco Bernardini:
An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies.
Workshop on Membrane Computing 2003: 232-239 |
| 23 | EE | Mike Holcombe:
XP after Enron-Can It Survive?
XP 2003: 1-8 |
| 22 | EE | Jing Yuan,
Mike Holcombe,
Marian Gheorghe:
Where Do Unit Tests Come from?
XP 2003: 161-169 |
| 21 | EE | Sharifah Lailee Syed-Abdullah,
Mike Holcombe,
Marian Gheorghe:
Practice Makes Perfect.
XP 2003: 354-356 |
| 20 | EE | Francisco Macias,
Mike Holcombe,
Marian Gheorghe:
Design-led & Design-less: One Experiment and Two Approaches.
XP 2003: 394-401 |
| 19 | EE | Florentin Ipate,
Marian Gheorghe,
Mike Holcombe:
Testing (Stream) X-machines.
Appl. Algebra Eng. Commun. Comput. 14(3): 217-237 (2003) |
| 18 | EE | Francesco Bernardini,
Marian Gheorghe,
Mike Holcombe:
P X systems = P systems + X machines.
Natural Computing 2(3): 201-213 (2003) |
| 2002 |
|---|
| 17 | EE | Tudor Balanescu,
Marian Gheorghe,
Mike Holcombe,
Florentin Ipate:
Eilenberg P Systems.
WMC-CdeA 2002: 43-57 |
| 16 | EE | Florentin Ipate,
Mike Holcombe:
An Integrated Refinement and Testing Method for Stream X-machines.
Appl. Algebra Eng. Commun. Comput. 13(2): 67-91 (2002) |
| 15 | EE | Florentin Ipate,
Mike Holcombe:
Testing Conditions for Communicating Stream X-machine Systems.
Formal Asp. Comput. 13(6): 431-446 (2002) |
| 14 | | Joaquin Aguado,
Tudor Balanescu,
Anthony J. Cowling,
Marian Gheorghe,
Mike Holcombe,
Florentin Ipate:
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines).
Fundam. Inform. 49(1-3): 17-33 (2002) |
| 2001 |
|---|
| 13 | EE | Tudor Balanescu,
Marian Gheorghe,
Mike Holcombe,
Florentin Ipate:
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars.
ECAL 2001: 296-305 |
| 12 | | Florentin Ipate,
Marian Gheorghe,
Mike Holcombe,
Tudor Balanescu:
Testing Using X-Machine Translations.
Words, Semigroups, and Transductions 2001: 211-229 |
| 11 | | Mike Holcombe:
Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection.
Briefings in Bioinformatics 2(3): 271-278 (2001) |
| 10 | | Kirill Bogdanov,
Mike Holcombe:
Statechart testing method for aircraft control systems.
Softw. Test., Verif. Reliab. 11(1): 39-54 (2001) |
| 2000 |
|---|
| 9 | | Mike Holcombe,
Tudor Balanescu,
Marian Gheorghe,
Paul Radovici-Marculescu:
On Testing Generalized Stream X-Machines.
Recent Topics in Mathematical and Computational Linguistics 2000: 130-141 |
| 8 | EE | Mike Holcombe:
What are X-Machines?
Formal Asp. Comput. 12(6): 418-422 (2000) |
| 7 | EE | Florentin Ipate,
Mike Holcombe:
Generating Test Sets from Non-Deterministic Stream X-Machines.
Formal Asp. Comput. 12(6): 443-458 (2000) |
| 1999 |
|---|
| 6 | EE | Tudor Balanescu,
Anthony J. Cowling,
Horia Georgescu,
Marian Gheorghe,
Mike Holcombe,
Cristina Vertan:
Communicating Stream X-Machines Systems are no more than X-Machines.
J. UCS 5(9): 494-507 (1999) |
| 1998 |
|---|
| 5 | | Kirill Bogdanov,
Mike Holcombe,
Harbhajan Singh:
Automated Test Set Generation for Statecharts.
FM-Trends 1998: 107-121 |
| 4 | | Florentin Ipate,
Mike Holcombe:
Specification and Testing Using Generalised Machines: A Presentation and a Case Study.
Softw. Test., Verif. Reliab. 8(2): 61-81 (1998) |
| 1996 |
|---|
| 3 | | Florentin Ipate,
Mike Holcombe:
Another Look at Computability.
Informatica (Slovenia) 20(3): (1996) |
| 1993 |
|---|
| 2 | | Mike Holcombe:
An Integrated Methodology for the Specification, Verification and Testing of Systems.
Softw. Test., Verif. Reliab. 3(3/4): 149-163 (1993) |
| 1982 |
|---|
| 1 | | Mike Holcombe:
On the Holonomy Decomposition of Transformation Semigroups.
Theor. Comput. Sci. 19: 99-104 (1982) |
