Mike Holcombe

According to our database, Mike Holcombe authored at least 84 papers between 1982 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Reducing complexity in an agent based reaction model - Benefits and limitations of simplifications in relation to run time and system level output.

David M. Rhodes, Mike Holcombe, Eva E. Qwarnstrom

Biosyst., 2016

2014

Agent-Based Modeling of Oxygen-Responsive Transcription Factors in <i>Escherichia coli</i>.

Hao Bai, Matthew D. Rolfe, Wenjing Jia, Simon Coakley, Robert K. Poole, Jeffrey Green, Mike Holcombe

PLoS Comput. Biol., 2014

2013

Large-Scale Modeling of Economic Systems.

Mike Holcombe, Simon Coakley, Mariam Kiran, Lee Shawn Chin, Chris Greenough, David Worth, Silvano Cincotti, Marco Raberto, Andrea Teglio, Christophe Deissenberg, Sander van der Hoog, Herbert Dawid, Simon Gemkow, Philipp Harting, Michael Neugart

Complex Syst., 2013

2012

Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework.

Simon Coakley, Marian Gheorghe, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough

Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

2011

Decentralized communication, trail connectivity and emergent benefits of ant pheromone trail networks.

Duncan Jackson, Mesude Bicak, Mike Holcombe

Memetic Comput., 2011

2010

An Approach to the Parallelisation of Agent-Based Applications.

Chris Greenough, Lee Shawn Chin, David Worth, Simon Coakley, Mike Holcombe, Mariam Kiran

ERCIM News, 2010

NIK and IKKbeta interdependence in NF-kappaB signalling - Flux analysis of regulation through metabolites.

Hong-Bum Kim, Iona Evans, Rod H. Smallwood, Mike Holcombe, Eva E. Qwarnstrom

Biosyst., 2010

FLAME: simulating large populations of agents on parallel hardware architectures.

Mariam Kiran, Paul Richmond, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Empirical investigation towards the effectiveness of Test First programming.

Liang Huang, Mike Holcombe

Inf. Softw. Technol., 2009

Factors Explaining External Quality in 54 Case Studies of Software Development Projects.

Chris Thomson, Mike Holcombe

Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009

2008

Testing data processing-oriented systems from stream X-machine models.

Florentin Ipate, Mike Holcombe

Theor. Comput. Sci., 2008

Automated discovery of state transitions and their functions in source code.

Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe

Softw. Test. Verification Reliab., 2008

Improving dynamic software analysis by applying grammar inference principles.

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin

J. Softw. Maintenance Res. Pract., 2008

Validation and discovery from computational biology models.

Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe

Biosyst., 2008

Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement.

Mike Holcombe, Chris Thomson

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2008

Decentralised Communication and Connectivity in Ant Trail Networks.

Duncan Jackson, Mesude Bicak, Mike Holcombe

Proceedings of the Nature Inspired Cooperative Strategies for Optimization, 2008

Correctness of data mined from CVS.

Christopher Thomson, Mike Holcombe

Proceedings of the 2008 International Working Conference on Mining Software Repositories, 2008

A pilot study of comparative customer comprehension between extreme x-machine and uml models.

Christopher Thomson, Mike Holcombe, Tony Cowling, Tony Simons, George Michaelides

Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008

2007

Delving Beneath the Skin.

Mike Holcombe

ERCIM News, 2007

A study into the effects of personality type and methodology on cohesion in software engineering teams.

J. S. Karn, S. Syed-Abdullah, Anthony J. Cowling, Mike Holcombe

Behav. Inf. Technol., 2007

Reverse Engineering State Machines by Interactive Grammar Inference.

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

2006

Testing methods for X-machines: a review.

Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak

Formal Aspects Comput., 2006

The Impact of an Agile Methodology on the Well Being of Development Teams.

Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe

Empir. Softw. Eng., 2006

Evolutionary Testing Using an Extended Chaining Approach.

Phil McMinn, Mike Holcombe

Evol. Comput., 2006

Open Source Software in the Desktop: The Perspective of the Public Administrations in UK.

Andres Baravalle, Sarah Chambers, Siobhán North, Mike Holcombe

Proceedings of the WEBIST 2006, 2006

Identifying State Transitions and their Functions in Source Code.

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe

Proceedings of the Testing: Academia and Industry Conference, 2006

Empirical Assessment of Test-First Approach.

Liang Huang, Mike Holcombe

Proceedings of the Testing: Academia and Industry Conference, 2006

The Epitheliome Project: multiscale agent-based modeling of epithelial cells.

Rod H. Smallwood, Mike Holcombe

Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2006

2005

Complete Testing from a Stream X-Machine Specification.

Florentin Ipate, Mike Holcombe

Fundam. Informaticae, 2005

Shared Code Repository: A Narrative.

Susheel Varma, Mike Holcombe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Extreme Programming: The Genesys Experience.

Susheel Varma, Mike Holcombe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

The Positive Affect of the XP Methodology.

Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

XP/Agile Education and Training.

Angela Martin, Steven Fraser, Rachel Davies, Mike Holcombe, Rick Mugridge, Duncan Pierce, Tom Poppendieck, Giancarlo Succi

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Adjusting to XP: Observational Studies of Inexperienced Developers.

John Karn, Anthony J. Cowling, Sharifah Lailee Syed-Abdullah, Mike Holcombe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients.

Bhavnidhi Kalra, Chris Thomson, Mike Holcombe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.

Florentin Ipate, Mike Holcombe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme.

Mike Holcombe, Bhavnidhi Kalra

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Evolutionary testing of state-based programs.

Phil McMinn, Mike Holcombe

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Formal Development of Reactive Agent-Based Systems.

Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe

Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004

Refinement in statechart testing.

Kirill Bogdanov, Mike Holcombe

Softw. Test. Verification Reliab., 2004

Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel.

Eleni Berki, Elli Georgiadou, Mike Holcombe

Softw. Qual. J., 2004

Complete Test Generation for Extreme Programming.

Mike Holcombe, Florentin Ipate

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004

Modelling Dynamically Organised Colonies of Bio-entities.

Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas

Proceedings of the Unconventional Programming Paradigms, 2004

BoF: New Directions in UK Software Engineering Research.

David W. Bustard, Mike Holcombe, Ian Sommerville

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Hybridizing Evolutionary Testing with the Chaining Approach.

Phil McMinn, Mike Holcombe

Proceedings of the Genetic and Evolutionary Computation, 2004

Eilenberg P Systems with Symbol-Objects.

Francesco Bernardini, Marian Gheorghe, Mike Holcombe

Proceedings of the Aspects of Molecular Computing, 2004

2003

P X systems = P systems + X machines.

Francesco Bernardini, Marian Gheorghe, Mike Holcombe

Nat. Comput., 2003

Testing (Stream) X-machines.

Florentin Ipate, Marian Gheorghe, Mike Holcombe

Appl. Algebra Eng. Commun. Comput., 2003

Where Do Unit Tests Come from?

Jing Yuan, Mike Holcombe, Marian Gheorghe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

Practice Makes Perfect.

Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

Design-led & Design-less: One Experiment and Two Approaches.

Francisco Javier Macias, Mike Holcombe, Marian Gheorghe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

XP after Enron-Can It Survive?

Mike Holcombe

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies.

Duncan Jackson, Marian Gheorghe, Mike Holcombe, Francesco Bernardini

Proceedings of the Membrane Computing, International Workshop, 2003

The State Problem for Evolutionary Testing.

Phil McMinn, Mike Holcombe

Proceedings of the Genetic and Evolutionary Computation, 2003

A Formal Experiment Comparing Extreme Programming with Traditional Software Construction.

Francisco Javier Macias, Mike Holcombe, Marian Gheorghe

Proceedings of the 4th Mexican International Conference on Computer Science (ENC 2003), 2003

Testing Non-Deterministic X-Machines.

Florentin Ipate, Mike Holcombe

Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

2002

P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines).

Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate

Fundam. Informaticae, 2002

Testing Conditions for Communicating Stream X-machine Systems.

Florentin Ipate, Mike Holcombe

Formal Aspects Comput., 2002

An Integrated Refinement and Testing Method for Stream X-machines.

Florentin Ipate, Mike Holcombe

Appl. Algebra Eng. Commun. Comput., 2002

Eilenberg P Systems.

Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate

Proceedings of the Membrane Computing, International Workshop, 2002

2001

Statechart testing method for aircraft control systems.

Kirill Bogdanov, Mike Holcombe

Softw. Test. Verification Reliab., 2001

Introducing X-machine models to verify PLC ladder diagrams.

Colin Chambers, Mike Holcombe, Judith Barnard

Comput. Ind., 2001

Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection.

Mike Holcombe

Briefings Bioinform., 2001

Ranging schemes for fast dynamic recovery of DOCSIS networks.

Vaia Sdralia, Mike Holcombe

Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001

Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars.

Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate

Proceedings of the Advances in Artificial Life, 6th European Conference, 2001

Testing Using X-Machine Translations.

Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu

Proceedings of the Words, Semigroups, and Transductions, 2001

Deterministic stream X-machines based on grammar systems.

Tudor Balanescu, Marian Gheorghe, Mike Holcombe

Proceedings of the Where Mathematics, 2001

2000

Generating Test Sets from Non-Deterministic Stream X-Machines.

Florentin Ipate, Mike Holcombe

Formal Aspects Comput., 2000

What are X-Machines?

Mike Holcombe

Formal Aspects Comput., 2000

On Testing Generalized Stream X-Machines.

Mike Holcombe, Tudor Balanescu, Marian Gheorghe, Paul Radovici-Marculescu

Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

1999

Communicating Stream X-Machines Systems are no more than X-Machines.

Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan

J. Univers. Comput. Sci., 1999

Keeping Our Customers Happy: Myths and Management Issues in "Client-Led" Student Software Projects.

Helen Parker, Mike Holcombe, Alex Bell

Comput. Sci. Educ., 1999

Campus-based industrial software projects: risks and rewards.

Helen Parker, Mike Holcombe

Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1999

A Visual Representation of Mathematical Expressions.

Nam Yap, Mike Holcombe

Proceedings of the Visual Representations and Interpretations, 1999

1998

Specification and Testing Using Generalised Machines: A Presentation and a Case Study.

Florentin Ipate, Mike Holcombe

Softw. Test. Verification Reliab., 1998

A method for refining and testing generalised machine specifications.

Florentin Ipate, Mike Holcombe

Int. J. Comput. Math., 1998

Automated Test Set Generation for Statecharts.

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

Proceedings of the Applied Formal Methods, 1998

Correct systems - building a business process solution.

Mike Holcombe, Florentin Ipate

Applied computing, Springer, ISBN: 978-3-540-76246-1, 1998

1997

An integration testing method that is proved to find all faults.

Florentin Ipate, Mike Holcombe

Int. J. Comput. Math., 1997

Graphical Z Specification.

Nam Yap, Mike Holcombe

Proceedings of the 9th Annual Workshop of the Psychology of Programming Interest Group, 1997

1996

Another Look at Computability.

Florentin Ipate, Mike Holcombe

Informatica (Slovenia), 1996

1993

An Integrated Methodology for the Specification, Verification and Testing of Systems.

Mike Holcombe

Softw. Test. Verification Reliab., 1993

1988

X-machines as a basis for dynamic system specification.

Mike Holcombe

Softw. Eng. J., 1988

1982

On the Holonomy Decomposition of Transformation Semigroups.

Mike Holcombe

Theor. Comput. Sci., 1982