Search the dblp DataBase
Mike Holcombe :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Francesco Bernardini , Marian Gheorghe , Mike Holcombe Eilenberg P Systems with Symbol-Objects. [Citation Graph (0, 0)][DBLP ] Aspects of Molecular Computing, 2004, pp:49-60 [Conf ] Mike Holcombe , Tudor Balanescu , Marian Gheorghe , Paul Radovici-Marculescu On Testing Generalized Stream X-Machines. [Citation Graph (0, 0)][DBLP ] Recent Topics in Mathematical and Computational Linguistics, 2000, pp:130-141 [Conf ] Florentin Ipate , Marian Gheorghe , Mike Holcombe , Tudor Balanescu Testing Using X-Machine Translations. [Citation Graph (0, 0)][DBLP ] Words, Semigroups, and Transductions, 2001, pp:211-229 [Conf ] Florentin Ipate , Mike Holcombe Testing Non-Deterministic X-Machines. [Citation Graph (0, 0)][DBLP ] Grammars and Automata for String Processing, 2003, pp:151-162 [Conf ] Tudor Balanescu , Marian Gheorghe , Mike Holcombe , Florentin Ipate Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. [Citation Graph (0, 0)][DBLP ] ECAL, 2001, pp:296-305 [Conf ] Francisco Macias , Mike Holcombe , Marian Gheorghe A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. [Citation Graph (0, 0)][DBLP ] ENC, 2003, pp:73-80 [Conf ] Kirill Bogdanov , Mike Holcombe , Harbhajan Singh Automated Test Set Generation for Statecharts. [Citation Graph (0, 0)][DBLP ] FM-Trends, 1998, pp:107-121 [Conf ] Phil McMinn , Mike Holcombe The State Problem for Evolutionary Testing. [Citation Graph (0, 0)][DBLP ] GECCO, 2003, pp:2488-2498 [Conf ] Phil McMinn , Mike Holcombe Hybridizing Evolutionary Testing with the Chaining Approach. [Citation Graph (0, 0)][DBLP ] GECCO (2), 2004, pp:1363-1374 [Conf ] Phil McMinn , Mike Holcombe Evolutionary testing of state-based programs. [Citation Graph (0, 0)][DBLP ] GECCO, 2005, pp:1013-1020 [Conf ] David W. Bustard , Mike Holcombe , Ian Sommerville BoF: New Directions in UK Software Engineering Research. [Citation Graph (0, 0)][DBLP ] ICSE, 2004, pp:693-694 [Conf ] Rod H. Smallwood , Mike Holcombe The Epitheliome Project: multiscale agent-based modeling of epithelial cells. [Citation Graph (0, 0)][DBLP ] ISBI, 2006, pp:816-819 [Conf ] Duncan Jackson , Marian Gheorghe , Mike Holcombe , Francesco Bernardini An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. [Citation Graph (0, 0)][DBLP ] Workshop on Membrane Computing, 2003, pp:232-239 [Conf ] Liang Huang , Mike Holcombe Empirical Assessment of Test-First Approach. [Citation Graph (0, 0)][DBLP ] TAIC PART, 2006, pp:197-202 [Conf ] Neil Walkinshaw , Kirill Bogdanov , Mike Holcombe Identifying State Transitions and their Functions in Source Code. [Citation Graph (0, 0)][DBLP ] TAIC PART, 2006, pp:49-58 [Conf ] Marian Gheorghe , Ioanna Stamatopoulou , Mike Holcombe , Petros Kefalas Modelling Dynamically Organised Colonies of Bio-entities. [Citation Graph (0, 0)][DBLP ] UPP, 2004, pp:207-224 [Conf ] Andres Baravalle , Sarah Chambers , Siobhán North , Mike Holcombe Open Source Software in the Desktop: The Perspective of the Public Administrations in UK. [Citation Graph (0, 0)][DBLP ] WEBIST (2), 2006, pp:39-44 [Conf ] Tudor Balanescu , Marian Gheorghe , Mike Holcombe , Florentin Ipate Eilenberg P Systems. [Citation Graph (0, 0)][DBLP ] WMC-CdeA, 2002, pp:43-57 [Conf ] Mike Holcombe XP after Enron-Can It Survive? [Citation Graph (0, 0)][DBLP ] XP, 2003, pp:1-8 [Conf ] Mike Holcombe , Florentin Ipate Complete Test Generation for Extreme Programming. [Citation Graph (0, 0)][DBLP ] XP, 2004, pp:274-277 [Conf ] Mike Holcombe , Bhavnidhi Kalra Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme. [Citation Graph (0, 0)][DBLP ] XP, 2005, pp:255-258 [Conf ] Florentin Ipate , Mike Holcombe Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] XP, 2005, pp:214-217 [Conf ] Bhavnidhi Kalra , Chris Thomson , Mike Holcombe The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients. [Citation Graph (0, 0)][DBLP ] XP, 2005, pp:323-324 [Conf ] John Karn , Anthony J. Cowling , Sharifah Lailee Syed-Abdullah , Mike Holcombe Adjusting to XP: Observational Studies of Inexperienced Developers. [Citation Graph (0, 0)][DBLP ] XP, 2005, pp:222-225 [Conf ] Francisco Macias , Mike Holcombe , Marian Gheorghe Design-led & Design-less: One Experiment and Two Approaches. [Citation Graph (0, 0)][DBLP ] XP, 2003, pp:394-401 [Conf ] Angela Martin , Steven Fraser , Rachel Davies , Mike Holcombe , Rick Mugridge , Duncan Pierce , Tom Poppendieck , Giancarlo Succi XP/Agile Education and Training. [Citation Graph (0, 0)][DBLP ] XP, 2005, pp:263-266 [Conf ] Jing Yuan , Mike Holcombe , Marian Gheorghe Where Do Unit Tests Come from? [Citation Graph (0, 0)][DBLP ] XP, 2003, pp:161-169 [Conf ] Sharifah Lailee Syed-Abdullah , Mike Holcombe , Marian Gheorghe Practice Makes Perfect. [Citation Graph (0, 0)][DBLP ] XP, 2003, pp:354-356 [Conf ] Sharifah Lailee Syed-Abdullah , John Karn , Mike Holcombe , Anthony J. Cowling , Marian Gheorghe The Positive Affect of the XP Methodology. [Citation Graph (0, 0)][DBLP ] XP, 2005, pp:218-221 [Conf ] Susheel Varma , Mike Holcombe Extreme Programming: The Genesys Experience. [Citation Graph (0, 0)][DBLP ] XP, 2005, pp:327-328 [Conf ] Susheel Varma , Mike Holcombe Shared Code Repository: A Narrative. [Citation Graph (0, 0)][DBLP ] XP, 2005, pp:329-330 [Conf ] Florentin Ipate , Marian Gheorghe , Mike Holcombe Testing (Stream) X-machines. [Citation Graph (0, 0)][DBLP ] Appl. Algebra Eng. Commun. Comput., 2003, v:14, n:3, pp:217-237 [Journal ] Florentin Ipate , Mike Holcombe An Integrated Refinement and Testing Method for Stream X-machines. [Citation Graph (0, 0)][DBLP ] Appl. Algebra Eng. Commun. Comput., 2002, v:13, n:2, pp:67-91 [Journal ] Mike Holcombe Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection. [Citation Graph (0, 0)][DBLP ] Briefings in Bioinformatics, 2001, v:2, n:3, pp:271-278 [Journal ] Phil McMinn , Mike Holcombe Evolutionary Testing Using an Extended Chaining Approach. [Citation Graph (0, 0)][DBLP ] Evolutionary Computation, 2006, v:14, n:1, pp:41-64 [Journal ] Sharifah Lailee Syed-Abdullah , Mike Holcombe , Marian Gheorghe The Impact of an Agile Methodology on the Well Being of Development Teams. [Citation Graph (0, 0)][DBLP ] Empirical Software Engineering, 2006, v:11, n:1, pp:143-167 [Journal ] Kirill Bogdanov , Mike Holcombe , Florentin Ipate , L. Seed , Salim K. Vanak Testing methods for X-machines: a review. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2006, v:18, n:1, pp:3-30 [Journal ] Mike Holcombe What are X-Machines? [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2000, v:12, n:6, pp:418-422 [Journal ] Florentin Ipate , Mike Holcombe Generating Test Sets from Non-Deterministic Stream X-Machines. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2000, v:12, n:6, pp:443-458 [Journal ] Florentin Ipate , Mike Holcombe Testing Conditions for Communicating Stream X-machine Systems. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2002, v:13, n:6, pp:431-446 [Journal ] Joaquin Aguado , Tudor Balanescu , Anthony J. Cowling , Marian Gheorghe , Mike Holcombe , Florentin Ipate P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2002, v:49, n:1-3, pp:17-33 [Journal ] Florentin Ipate , Mike Holcombe Complete Testing from a Stream X-Machine Specification. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2005, v:64, n:1-4, pp:205-216 [Journal ] Florentin Ipate , Mike Holcombe Another Look at Computability. [Citation Graph (0, 0)][DBLP ] Informatica (Slovenia), 1996, v:20, n:3, pp:- [Journal ] Tudor Balanescu , Anthony J. Cowling , Horia Georgescu , Marian Gheorghe , Mike Holcombe , Cristina Vertan Communicating Stream X-Machines Systems are no more than X-Machines. [Citation Graph (0, 0)][DBLP ] J. UCS, 1999, v:5, n:9, pp:494-507 [Journal ] Francesco Bernardini , Marian Gheorghe , Mike Holcombe P X systems = P systems + X machines. [Citation Graph (0, 0)][DBLP ] Natural Computing, 2003, v:2, n:3, pp:201-213 [Journal ] Eleni Berki , Elli Georgiadou , Mike Holcombe Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel. [Citation Graph (0, 0)][DBLP ] Software Quality Journal, 2004, v:12, n:3, pp:265-283 [Journal ] Kirill Bogdanov , Mike Holcombe Statechart testing method for aircraft control systems. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2001, v:11, n:1, pp:39-54 [Journal ] Kirill Bogdanov , Mike Holcombe Refinement in statechart testing. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2004, v:14, n:3, pp:189-211 [Journal ] Mike Holcombe An Integrated Methodology for the Specification, Verification and Testing of Systems. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1993, v:3, n:3/4, pp:149-163 [Journal ] Florentin Ipate , Mike Holcombe Specification and Testing Using Generalised Machines: A Presentation and a Case Study. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1998, v:8, n:2, pp:61-81 [Journal ] Mike Holcombe On the Holonomy Decomposition of Transformation Semigroups. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1982, v:19, n:, pp:99-104 [Journal ] FLAME: simulating large populations of agents on parallel hardware architectures. [Citation Graph (, )][DBLP ] Correctness of data mined from CVS. [Citation Graph (, )][DBLP ] Reverse Engineering State Machines by Interactive Grammar Inference. [Citation Graph (, )][DBLP ] Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement. [Citation Graph (, )][DBLP ] Campus-based industrial software projects: risks and rewards. [Citation Graph (, )][DBLP ] A pilot study of comparative customer comprehension between extreme x-machine and uml models. [Citation Graph (, )][DBLP ] Decentralised Communication and Connectivity in Ant Trail Networks. [Citation Graph (, )][DBLP ] Search in 0.013secs, Finished in 0.466secs