A J H Simons, On the compositional properties of UML statechart diagrams, rev. and enl., Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen (British Computer Society, 2000), http://www.bcs.org.uk/ewic/
K E Bogdanov, Automated testing of Harel's statecharts, PhD Thesis, University of Sheffield, 2000.
K E Bogdanov and W M L Holcombe, Statechart testing method for aircraft control systems, Software Testing, Verification and Reliability, 11, 2001, 39-54.
A J H Simons, K Bogdanov and W M L Holcombe, Complete functional testing using Object Machines, Department of Computer Science Research Report CS-01-18 (2001).
M Holcombe, K Bogdanov and M Gheorghe, Functional test generation for eXtreme Programming, Proc. 2nd Int. Conf. Extreme Programming and Flexible Processes in Soft. Eng., (Sardinia : XP, 2001), 109-113.
S Vanak, Complete functional testing of hardware descriptions, PhD Thesis, University of Sheffield, 2002.
F Ipate, M Gheorghe, M Holcombe and T Balanescu, Testing nondeterministic (stream) X machines, Proc. CONCUR '02 Satellite Workshop on Formal Approaches to Testing of Software, (Brno: INRIA, 2002), 35-49.
A J H Simons, The theory of classfication, part 3: Object encodings and recursion, Journal of Object Technology, 1(4), September-October, ed. R Wiener, (Zurich: ETH, 2002), 49-57.
K E Bogdanov and W M L Holcombe, Properties of concurrently taken transitions of Harel statecharts, Proc. ETAPS Satellite Workshop on Semantic Foundations of Engineering Design Languages, (Grenoble: ETAPS, 2002), 21-40.
A J H Simons, M P Stannett, K E Bogdanov and W M L Holcombe, Method for Object Testing, Integration and Verification, FORTEST Workshop on Testing, September 13, ed. R Hierons (York: FORTEST, 2002).
A J H Simons, The theory of classfication, part 4: Object types and subtyping., Journal of Object Technology, 1(5), November-December, ed. R Wiener, (Zurich: ETH, 2002), 27-35.
M P Stannett and A J H Simons, Complete behavioural testing of object-oriented systems using CCS-augmented X machines, Department of Computer Science Research Report CS-02-04, 2002.
M P Stannett, Complete behavioural testing (two extensions to state machine testing), Proc. CONCUR '02 Satellite Workshop on Formal Approaches to Testing of Software, (Brno: INRIA, 2002), 51-64.
F Ipate and W L M Holcombe, 'An integrated refinement and testing method for stream X-machines', Appl. Algebr. Eng. Comm., 13 (2), (2002), 67-91.
M P Stannett, Computation and hypercomputation, Minds and Machines, 13(1), 2003, 115-153.
M P Stannett, A bibliography of object-oriented testing with a short general survey of the area, Department of Computer Science Research Report CS-02-02, 2002.
A J H Simons, M P Stannett, K E Bogdanov and W M L Holcombe, Plug and play safely: Rules for behavioural compatibility, Proc. 6th IASTED Int. Conf. Software Engineering and Applications (Cambridge MA: IASTED, 2002), 263-268.
A J H Simons, The theory of classfication, part 5: Axioms, assertions and subtyping, Journal of Object Technology, 2(1), January-February, ed. R Wiener, (Zurich: ETH, 2003), 13-21.
W M L Holcombe, Where do unit tests come from?, Proc. 4th. Int. Conf. Extreme Programming and Flexible Processes in Soft. Eng., (Genova: XP 2003), LNCS, 2675 (Berlin: Springer Verlag, 2003), 161-169.
F Ipate, M Gheorghe and M Holcombe, Testing (stream) X-machines, Appl. Algebr. Eng. Comm., 14 (3), (2004), 217-237.
W M L Holcombe, Extreme Programming for Real: a Disciplined Agile Approach to Software Development, Prentice Hall, to appear.
W M L Holcombe and F Ipate, Complete test generation for extreme programming, LNCS, 3092 (Berlin: Springer Verlag, 2004), 274-277.
A J H Simons, Object refinement and automatic unit test regeneration for eXtreme Programming, FORTEST Workshop on Testing, Cumberland Lodge, Windsor Great Park, March 10, ed. R Hierons, (Uxbridge: FORTEST, 2005).
A J H Simons, Refinement and regeneration, or the failure of regression testing, FORTEST Workshop on Testing, Cumberland Lodge, Windsor Great Park, March 10, ed. R Hierons, (Uxbridge: FORTEST, 2005).
A J H Simons, Testing with guarantees and the failure of regression testing in eXtreme Programming, Proc. 6th Int. Conf. on eXtreme Programming and Agile Processes in Software Engineering (Sheffield: XP 2005), eds. H Baumeister et al., LNCS, 3556, (Berlin: Springer Verlag, 2005), 118-126.
A J H Simons, A theory of regression testing for behaviourally compatible object types, Proc. 3rd Conf. UK Software Testing Research (5-6 September), eds. P. McMinn, M. Holcombe, R. Hierons, (Sheffield: University of Sheffield, 2005), 103-121.
A J H Simons, A theory of regression testing for behaviourally compatible object types, rev. and enl., Software Testing, Verification and Reliability, 16 (3), UKTest 2005 Special Issue, September, eds. M Woodward, P. McMinn, M. Holcombe, R. Hierons (London: John Wiley, 2006), 133-156.
T Balanescu, A Cowling, H Georgescu, M Gheorghe, M Holcombe and C Vertan, Communicating stream Xmachine systems are no more than X machines, J. UCS 5(9), 1999, 492-507
A J H Simons, The theory of classfication, part 1: Perspectives on type compatibility, Journal of Object Technology, 1(1), May-June, ed. R Wiener, (Zurich: ETH, 2002), 55-61.
A J H Simons, The theory of classfication, part 2: The scratch-built typechecker, Journal of Object Technology, 1(2), July-August, ed. R Wiener, (Zurich: ETH, 2002), 47-54.
A J H Simons, The theory of classfication, part 6: The subtyping inquisition, Journal of Object Technology, 2(2), March-April, ed. R Wiener, (Zurich: ETH, 2003), 17-26.