The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mike Holcombe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
    Automated Test Set Generation for Statecharts. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:107-121 [Conf]
  8. Phil McMinn, Mike Holcombe
    The State Problem for Evolutionary Testing. [Citation Graph (0, 0)][DBLP]
    GECCO, 2003, pp:2488-2498 [Conf]
  9. Phil McMinn, Mike Holcombe
    Hybridizing Evolutionary Testing with the Chaining Approach. [Citation Graph (0, 0)][DBLP]
    GECCO (2), 2004, pp:1363-1374 [Conf]
  10. Phil McMinn, Mike Holcombe
    Evolutionary testing of state-based programs. [Citation Graph (0, 0)][DBLP]
    GECCO, 2005, pp:1013-1020 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Liang Huang, Mike Holcombe
    Empirical Assessment of Test-First Approach. [Citation Graph (0, 0)][DBLP]
    TAIC PART, 2006, pp:197-202 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
    Eilenberg P Systems. [Citation Graph (0, 0)][DBLP]
    WMC-CdeA, 2002, pp:43-57 [Conf]
  19. Mike Holcombe
    XP after Enron-Can It Survive? [Citation Graph (0, 0)][DBLP]
    XP, 2003, pp:1-8 [Conf]
  20. Mike Holcombe, Florentin Ipate
    Complete Test Generation for Extreme Programming. [Citation Graph (0, 0)][DBLP]
    XP, 2004, pp:274-277 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Jing Yuan, Mike Holcombe, Marian Gheorghe
    Where Do Unit Tests Come from? [Citation Graph (0, 0)][DBLP]
    XP, 2003, pp:161-169 [Conf]
  28. Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe
    Practice Makes Perfect. [Citation Graph (0, 0)][DBLP]
    XP, 2003, pp:354-356 [Conf]
  29. 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]
  30. Susheel Varma, Mike Holcombe
    Extreme Programming: The Genesys Experience. [Citation Graph (0, 0)][DBLP]
    XP, 2005, pp:327-328 [Conf]
  31. Susheel Varma, Mike Holcombe
    Shared Code Repository: A Narrative. [Citation Graph (0, 0)][DBLP]
    XP, 2005, pp:329-330 [Conf]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Mike Holcombe
    What are X-Machines? [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:6, pp:418-422 [Journal]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. Florentin Ipate, Mike Holcombe
    Another Look at Computability. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 1996, v:20, n:3, pp:- [Journal]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]

  52. FLAME: simulating large populations of agents on parallel hardware architectures. [Citation Graph (, )][DBLP]


  53. Correctness of data mined from CVS. [Citation Graph (, )][DBLP]


  54. Reverse Engineering State Machines by Interactive Grammar Inference. [Citation Graph (, )][DBLP]


  55. Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement. [Citation Graph (, )][DBLP]


  56. Campus-based industrial software projects: risks and rewards. [Citation Graph (, )][DBLP]


  57. A pilot study of comparative customer comprehension between extreme x-machine and uml models. [Citation Graph (, )][DBLP]


  58. Decentralised Communication and Connectivity in Ant Trail Networks. [Citation Graph (, )][DBLP]


Search in 0.029secs, Finished in 0.031secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002