Mike Holcombe

Orcid: 0000-0002-6028-2551

Affiliations:
  • University of Sheffield, UK


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

Collaborative distances:

Timeline

1985
1990
1995
2000
2005
2010
2015
0
5
10
1
1
1
1
1
1
2
1
4
2
3
1
2
2
3
3
2
2
2
1
1
1
1
1
1
1
1
4
1
4
9
5
8
1
4
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2014
Agent-Based Modeling of Oxygen-Responsive Transcription Factors in <i>Escherichia coli</i>.
PLoS Comput. Biol., 2014

2013
Large-Scale Modeling of Economic Systems.
Complex Syst., 2013

2012
Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework.
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.
Memetic Comput., 2011

2010
An Approach to the Parallelisation of Agent-Based Applications.
ERCIM News, 2010

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

FLAME: simulating large populations of agents on parallel hardware architectures.
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.
Inf. Softw. Technol., 2009

Factors Explaining External Quality in 54 Case Studies of Software Development Projects.
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.
Theor. Comput. Sci., 2008

Automated discovery of state transitions and their functions in source code.
Softw. Test. Verification Reliab., 2008

Improving dynamic software analysis by applying grammar inference principles.
J. Softw. Maintenance Res. Pract., 2008

Validation and discovery from computational biology models.
Biosyst., 2008

Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2008

Decentralised Communication and Connectivity in Ant Trail Networks.
Proceedings of the Nature Inspired Cooperative Strategies for Optimization, 2008

Correctness of data mined from CVS.
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.
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008

2007
Delving Beneath the Skin.
ERCIM News, 2007

A study into the effects of personality type and methodology on cohesion in software engineering teams.
Behav. Inf. Technol., 2007

Reverse Engineering State Machines by Interactive Grammar Inference.
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

2006
Testing methods for X-machines: a review.
Formal Aspects Comput., 2006

The Impact of an Agile Methodology on the Well Being of Development Teams.
Empir. Softw. Eng., 2006

Evolutionary Testing Using an Extended Chaining Approach.
Evol. Comput., 2006

Open Source Software in the Desktop: The Perspective of the Public Administrations in UK.
Proceedings of the WEBIST 2006, 2006

Identifying State Transitions and their Functions in Source Code.
Proceedings of the Testing: Academia and Industry Conference, 2006

Empirical Assessment of Test-First Approach.
Proceedings of the Testing: Academia and Industry Conference, 2006

The Epitheliome Project: multiscale agent-based modeling of epithelial cells.
Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2006

2005
Complete Testing from a Stream X-Machine Specification.
Fundam. Informaticae, 2005

Shared Code Repository: A Narrative.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Extreme Programming: The Genesys Experience.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

The Positive Affect of the XP Methodology.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

XP/Agile Education and Training.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Adjusting to XP: Observational Studies of Inexperienced Developers.
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.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.
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.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Evolutionary testing of state-based programs.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Formal Development of Reactive Agent-Based Systems.
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004
Refinement in statechart testing.
Softw. Test. Verification Reliab., 2004

Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel.
Softw. Qual. J., 2004

Complete Test Generation for Extreme Programming.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004

Modelling Dynamically Organised Colonies of Bio-entities.
Proceedings of the Unconventional Programming Paradigms, 2004

BoF: New Directions in UK Software Engineering Research.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Hybridizing Evolutionary Testing with the Chaining Approach.
Proceedings of the Genetic and Evolutionary Computation, 2004

Eilenberg P Systems with Symbol-Objects.
Proceedings of the Aspects of Molecular Computing, 2004

2003
P X systems = P systems + X machines.
Nat. Comput., 2003

Testing (Stream) X-machines.
Appl. Algebra Eng. Commun. Comput., 2003

Where Do Unit Tests Come from?
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

Practice Makes Perfect.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

Design-led & Design-less: One Experiment and Two Approaches.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

XP after Enron-Can It Survive?
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies.
Proceedings of the Membrane Computing, International Workshop, 2003

The State Problem for Evolutionary Testing.
Proceedings of the Genetic and Evolutionary Computation, 2003

A Formal Experiment Comparing Extreme Programming with Traditional Software Construction.
Proceedings of the 4th Mexican International Conference on Computer Science (ENC 2003), 2003

Testing Non-Deterministic X-Machines.
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).
Fundam. Informaticae, 2002

Testing Conditions for Communicating Stream X-machine Systems.
Formal Aspects Comput., 2002

An Integrated Refinement and Testing Method for Stream X-machines.
Appl. Algebra Eng. Commun. Comput., 2002

Eilenberg P Systems.
Proceedings of the Membrane Computing, International Workshop, 2002

2001
Statechart testing method for aircraft control systems.
Softw. Test. Verification Reliab., 2001

Introducing X-machine models to verify PLC ladder diagrams.
Comput. Ind., 2001

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

Ranging schemes for fast dynamic recovery of DOCSIS networks.
Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001

Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars.
Proceedings of the Advances in Artificial Life, 6th European Conference, 2001

Testing Using X-Machine Translations.
Proceedings of the Words, Semigroups, and Transductions, 2001

Deterministic stream X-machines based on grammar systems.
Proceedings of the Where Mathematics, 2001

2000
Generating Test Sets from Non-Deterministic Stream X-Machines.
Formal Aspects Comput., 2000

What are X-Machines?
Formal Aspects Comput., 2000

On Testing Generalized Stream X-Machines.
Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

1999
Communicating Stream X-Machines Systems are no more than X-Machines.
J. Univers. Comput. Sci., 1999

Keeping Our Customers Happy: Myths and Management Issues in "Client-Led" Student Software Projects.
Comput. Sci. Educ., 1999

Campus-based industrial software projects: risks and rewards.
Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1999

A Visual Representation of Mathematical Expressions.
Proceedings of the Visual Representations and Interpretations, 1999

1998
Specification and Testing Using Generalised Machines: A Presentation and a Case Study.
Softw. Test. Verification Reliab., 1998

A method for refining and testing generalised machine specifications.
Int. J. Comput. Math., 1998

Automated Test Set Generation for Statecharts.
Proceedings of the Applied Formal Methods, 1998

Correct systems - building a business process solution.
Applied computing, Springer, ISBN: 978-3-540-76246-1, 1998

1997
An integration testing method that is proved to find all faults.
Int. J. Comput. Math., 1997

Graphical Z Specification.
Proceedings of the 9th Annual Workshop of the Psychology of Programming Interest Group, 1997

1996
Another Look at Computability.
Informatica (Slovenia), 1996

1993
An Integrated Methodology for the Specification, Verification and Testing of Systems.
Softw. Test. Verification Reliab., 1993

1988
X-machines as a basis for dynamic system specification.
Softw. Eng. J., 1988

1982
On the Holonomy Decomposition of Transformation Semigroups.
Theor. Comput. Sci., 1982


  Loading...