Mark Harman's Publications

The papers listed here can be obtained (in postscript) by following the highlighted title. If you would like to obtain a paper but cannot for technical reasons please e-mail me.

Refereed Journal Articles

David Binkley and Mark Harman
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables.
IEEE Transactions on Software Engineering.
To Appear.

Rob Hierons and Mark Harman
Testing conformance of a deterministic implementation to a non-deterministic stream X-machine.
Theoretical Computer Science.
To Appear.

Sebastian Danicic, Dave Daoudi, Chris Fox, Mark Harman, Rob Hierons, John Howroyd, Lahcen Ouarbya and Martin Ward.
ConSUS: A Light-Weight Program Conditioner.
Journal of Systems and Software.
To appear, 2004.

David Binkley and Mark Harman.
A Survey of Empirical Results on Program Slicing.
Advances in Computers
To appear, 2004.

Mark Harman, Lin Hu, Rob Hierons, Joachim Wegener, Harmen Sthamer, Andre Baresel and Marc Roper.
Testability Transformation.
IEEE Transactions on Software Engineering.
30(1): 3-16, 2004.

Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Binkley, Sebastian Danicic, Lahcen Ouarbya and Dave (Mohammed) Daoudi.
Syntax-Directed Amorphous Slicing
Journal of Automated Software Engineering
11(1): 27-61, 2004.

Chris Fox, Sebastian Danicic, Mark Harman and Rob Hierons.
ConSIT: A Conditioned Program Slicing System
Software - Practice and Experience
34: 15-46, 2004.

Keith Brian Gallagher, Mark Harman and Sebastian Danicic
Guaranteed Inconsistency Avoidance During Software Evolution.
Journal of Software Maintenance.
15(6): 393-416, 2004.

Jose Javier Dolado, Mark Harman, Mari Carmen Otero and Lin Hu.
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension
IEEE Transactions on Software Engineering.
29(7): 665-670, 2003.

John Clark, Jose Javier Dolado, Mark Harman, Rob Hierons, Bryan Jones, Mary Lumkin, Brian Mitchell, Spiros Mancoridis, Kearton Rees, Marc Roper and Martin Shepperd,
Reformulating Software Engineering as a Search Problem
IEE Proceedings - Software
150(3): 161-175, 2003.

Mark Harman, David Binkley and Sebastian Danicic.
Amorphous Program Slicing
Journal of Systems and Software, 68(1): 45-64, 2003.

Mike Laurence, Sebastian Danicic, Mark Harman, Rob Hierons and John Howroyd.
Equivalence of Conservative, Free, Linear Schemas is Decidable,
Theoretical Computer Science, 290(1),831-862, 2002.

Rob Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya and Dave (Mohammed) Daoudi
Conditioned Slicing Supports Partition Testing
Journal of Software Testing, Verification and Reliability, 12(1):23-28, 2002.

Mark Harman and Rob Hierons.
An Overview of Program Slicing
Software Focus. 2(3):85-92, 2001.
(A postscript version of also available.)

Mark Harman, Bryan Jones.
Search Based Software Engineering
Journal of Information and Software Technology, 43(14):833-839, 2001.

Rob Hierons and Mark Harman
Testing Conformance to a Quasi-Nondeterministic Stream X-machine
Formal Aspects of Computing, 12:423-442, 2000.

Rob Hierons, Mark Harman and Sebastian Danicic.
Using Program Slicing to Assist in the Detection of Equivalent Mutants
Journal of Software Testing, Verification and Reliability, 9(4), 233-262, 1999.

Mark Harman and Sebastian Danicic.
A New Algorithm for Slicing Unstructured Programs.
Journal of Software Maintenance, 10(6):415-441, 1998.

Mark Harman, Sebastian Danicic and Dan Simpson.
Program Slicing in the Presence of Errors.
Formal Aspects of Computing, 8(4):490-497, 1996.

Sebastian Danicic, Mark Harman and Yoga Sivagurunathan.
A Parallel Algorithm for Static Program Slicing.
Information Processing letters, 56(6):307-313, 1995.
(The online version is extended to include a correctness proof.)

Mark Harman and Sebastian Danicic.
Using Program Slicing to Simplify Testing.
Journal of Software Testing, Verification and Reliability, 5(3):143-162, 1995.

Special Issues

Mark Harman, Bogdan Korel, Audris Mockus and Martin Shepperd .
Empirical Software Engineering.
Special issue on Metrics and Maintenance.
To Appear, 2006.

Mark Harman, Bogdan Korel and Panos Linos.
IEEE Transactions on Software Engineering.
Special Issue of Extended Papers from the 20th IEEE International Conference on Software Maintenance.
To Appear, 2006.

Mark Harman, Rainer Koschke and Michael Van De Vanter.
Journal of Systems and Software.
Special Issue of Extended Papers from the 4th SCAM Workshop.
To Appear, 2005.

John Clark, Mark Harman and Rob Hierons (guest editors).
Journal of Software Testing, Verification and Reliability.
Special Issue of Extended Papers from the 2nd UK Testing Workshop.
To Appear.

David Binkley, Liz Burd, Mark Harman and Paolo Tonella.
Software Quality Journal.
Special Issue of Extended Papers from the 3rd SCAM Workshop.
To Appear.

Mark Harman, Malcolm Munro, Lin Hu and Xingyuan Zhang (guest editors).
Special Issue on Source Code Analysis and Manipulation.
Journal of Information and Software Technology, 44(13):717-720, 2002.
special issue editorial.

Mark Harman and Keith Brian Gallagher (guest editors).
Special Issue on Program Slicing.
Journal of Information and Software Technology, 40(11&12), 1998.
(The introduction to the special issue is available as postscript.)

Keynotes and Invited Talks

Mark Harman and Joachim Wegener.
Search-Based testing
6th Metaheuristics International Conference (MIC 2005)
Vienna, Austria. August 2005
To appear.

Mark Harman
Side-Effects Considered Harmful (but Rendered Harmless)
14th Annual Psychology of Programming Interest Group Workshop (PPIG 2002).
Brunel, 18th-21st. June 2002

Mark Harman and Sebastian Danicic.
Program Slicing Using Functional Networks.
Invited paper, 4th. RIMS Workshop on Concurrency Theory and Applications , pages 54 - 65.
Kyoto University, Japan, Irek Ulidowski (ed.), 22nd - 24th July, 1996.

Refereed Conference and Workshop Articles

Lin Hu, Mark Harman, David Binkley and Rob Hierons.
Loop Squashing Transformations for Amorphous Slicing
11th IEEE Working Conference on Reverse Engineering (WCRE 2004).
November 9th-12th, 2004, Delft University of Technology, the Netherlands.
To appear.

Mark Harman and John Clark.
Metrics are Fitness Functions Too.
10th International Software Metrics Symposium (Metrics 2004).
September 14th-16th, 2004, Chicago, Illinois, USA
To appear.

Giulio Antoniol, Massimiliano Di Penta and Mark Harman.
A Robust Search-Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty.
10th International Software Metrics Symposium (Metrics 2004).
September 14th-16th, 2004, Chicago, Illinois, USA
To appear.

Sebastian Danicic, David Binkley, Tibor Gyimóthy, Mark Harman, Ákos Kiss and Lahcen Ouarbya.
Formalizing Executable Dynamic and Forward Slicing.
4th Workshop on Source Code Analysis and Manipulation (SCAM 2004).
September 14th-15th, 2004, Chicago, Illinois, USA
To appear.

Deji Fatiregun, Mark Harman and Rob Hierons.
Evolving Transformation Sequences using Genetic Algorithms.
4th Workshop on Source Code Analysis and Manipulation (SCAM 2004).
September 14th-15th, 2004, Chicago, Illinois, USA
To appear.

Mark Harman, David Binkley, Ranjit Singh and Rob Hierons.
Amorphous Procedure Extraction.
4th Workshop on Source Code Analysis and Manipulation (SCAM 2004).
September 14th-15th, 2004, Chicago, Illinois, USA
To appear.

Andre Baresel, David Binkley, Mark Harman and Bogdan Korel.
Evolutionary Testing in the Presence of Loop-Assigned Flags: A Testability Transformation Approach.
International Symposium on Software Testing and Analysis (ISSTA 2004).
July 11th-14th, 2004, Boston, Massachusetts, USA.
To appear.

Kostas Adamopoulos, Mark Harman and Rob Hierons.
How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution
AAAI Genetic and Evolutionary Computation COnference 2004 (GECCO 2004).
June 26th-30th, 2004, Seattle, Washington, USA.
To appear.

Sebastian Danicic, Andrea De Lucia and Mark Harman.
Building Executable Union Slices using Conditioned Slicing.
12th International Workshop on Program Comprehension (IWPC 2004).
June 24th-26th, 2004, Bari, Italy.
To appear.

Mark Harman and Joachim Wegener.
Getting Results from Search--Based Approaches to Software Engineering (tutorial paper).
26th International Conference on Software Engineering (ICSE 2004).
May 23rd-28th, 2004, Edingurgh, Scotland.
To appear

Karnig Derderian, Qiang Quo, Mark Harman and Rob Hierons.
Computing Unique Input/Output Sequences Using Genetic Algorithms.
3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003).
Montreal, Canada.
2931, pp 164-177.

David Binkley and Mark Harman.
Results From a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms.
3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003).
27th September 2003, Amsterdam, Netherlands.
pages 203-212.

David Binkley and Mark Harman.
A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity.
19th IEEE International Conference on Software Maintenance (ICSM 2003).
Amsterdam, The Netherlands, 22-26 September 2003.
Pages 44-53.

Kiarash Mahdavi, Mark Harman and Rob Hierons.
A Multiple Hill Climbing Approach to Software Module Clustering.
19th IEEE International Conference on Software Maintenance (ICSM 2003).
Amsterdam, The Netherlands, 22-26 September 2003.
Pages 315-324.

Rob Hierons and Mark Harman and Harbhajan Singh.
Automatically generating information from a Z specification to support the Classification Tree Method.
3rd International Conference of B and Z Users (ZB 2003).
3-6 June, 2003. Turku, Finland.
LNCS 2651, pages 388-407.

David Binkley and Mark Harman.
An Empirical Study of Predicate Dependence Levels and Trends
25th IEEE/ACM International Conference on Software Engineering (ICSE 2003).
3-10 May, 2003. Portland, Oregon, USA, Pages 330-339.

Xingyuan Zhang, Malcolm Munro, Mark Harman and Lin Hu.
Formal Verification of Communication Protocol using Type Theory
International Conference on Communications Technology (ICCT 2003).
9-11 April, 2003. Beijing, China.
To Appear.

Andrea De Lucia, Mark Harman, Rob Hierons and Jens Krinke.
Unions of slices are not slices
7th IEEE European Conference on Software Maintenance and Reengineering (CSMR 2003).
26-28 March, 2003. Benevento, Italy, pages 363 - 367.

Mark Harman, Nicolas Gold, Rob Hierons and David Binkley.
Code Extraction Algorithms which Unify Slicing and Concept Assignment
9th IEEE Working Conference on Reverse Engineering (WCRE 2002).
28 October - 1 November, 2002. Richmond, Virginia, USA Pages 11 - 21.

Dave (Mohammed) Daoudi, Sebastian Danicic, John Howroyd, Mark Harman, Chris Fox and Martin Ward.
ConSUS: A Scalable Approach to Conditioned Slicing
9th IEEE Working Conference on Reverse Engineering (WCRE 2002).
28 October - 1 November, 2002. Richmond, Virginia, USA, Pages 109 - 118.

Lahcen Ouarbya, Sebastian Danicic, Dave (Mohammed) Daoudi, Mark Harman and Chris Fox.
A Denotational Interprocedural Program Slicer
9th IEEE Working Conference on Reverse Engineering (WCRE 2002).
28 October - 1 November, 2002. Richmond, Virginia, USA, Pages 181 - 189.

Mark Harman, Lin Hu, Rob Hierons, Xingyuan Zhang, Malcolm Munro, Jose Javier Dolado, Mari Carmen Otero and Joachim Wegener.
A Post-Placement Side-Effect Removal Algorithm
18th IEEE International Conference on Software Maintenance (ICSM 2002).
3 - 6 October, 2002, Montreal, Canada. Pages 2-11.

Mark Harman, Lin Hu, Rob Hierons, Chris Fox, Sebastian Danicic, Andre Baresel, Harmen Sthamer and Joachim Wegener.
Evolutionary Testing Supported by Slicing and Transformation
18th IEEE International Conference on Software Maintenance (ICSM 2002), Industrial Applications Track.
3 - 6 October 2002. Montreal, Canada. Page 285.

Xingyuan Zhang, Malcolm Munro, Mark Harman and Lin Hu.
Mechanized Operational Semantics of WSL
2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002).
1st October 2002. Montreal, Canada. Pages 73-82.

Mark Harman, Chris Fox, Rob Hierons, Lin Hu, Sebastian Danicic and Joachim Wegener.
VADA: A Transformation-based System for Variable Dependence Analysis
2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002).
1st October 2002. Montreal, Canada. Pages 55-64.

Mark Harman, Lin Hu, Xingyuan Zhang, Malcolm Munro, Sebastian Danicic, Dave (Mohammed) Daoudi and Lahcen Ouarbya.
An Interprocedural Amorphous Slicer for WSL
2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002).
1st October 2002. Montreal, Canada. Pages 105-114.

Xingyuan Zhang, Malcolm Munro, Mark Harman and Lin Hu.
Weakest Precondition for General Recursive Programs Formalized in Coq
15th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002)
Hampton, Virginia, USA, August 2002. Springer Verlag, LNCS 2410,. Pages 332-348.

Yoga Sivagurunathan, Mark Harman and Bala Sivagurunathan.
Slice-Based Dynamic Memory Modelling: A Case Study
26th IEEE Computer Software and Applications Conference (COMPSAC 2002).
Oxford, England, August 2002. Pages 351-356.

Jonathan Bowen, Kirill Bogdanov, John Clark, Mark Harman, Rob Hierons and Paul Krause.
FORTEST: Formal Methods and Testing (panel)
26th IEEE Computer Software and Applications Conference (COMPSAC 2002).
Oxford, England, August 2002. Pages 91-101.

Mark Harman, Lin Hu, Rob Hierons, Andre Baresel and Harmen Sthamer.
Improving Evolutionary Testing by Flag Removal
("best at GECCO" award winner for SBSE track)
AAAI Genetic and Evolutionary Computation COnference 2002 (GECCO 2002).
New York, USA, July 9th-13th 2002. Pages 1351-1358.

Mark Harman, Rob Hierons and Mark Proctor.
A New Representation and Crossover Operator for Search-Based Optimization of Software Modularization
AAAI Genetic and Evolutionary Computation COnference 2002 (GECCO 2002).
New York, USA, July 9th-13th 2002. Pages 1359-1366.

Mark Harman, Rob Hierons, Chris Fox, Sebastian Danicic and John Howroyd.
Pre/Post Conditioned Slicing
17th IEEE International Conference on Software Maintenance (ICSM 2001).
Florence, Italy, November 6th-10th, 2001. Pages 138-147.

Mark Harman, Lin Hu Xingyuan Zhang Malcolm Munro.
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation
1st IEEE Workshop on Analysis, Slicing, and Transformation (AST 2001).
2nd October 2001, Stuttgart, Germany, 2001. Pages 271-280.

Mark Harman, Rob Hierons, Sebastian Danicic, Mike Laurence, John Howroyd and Chris Fox,
Node Coarsening Calculi for Program Slicing
8th IEEE Working Conference on Reverse Engineering (WCRE 2001).
2-5 October 2001, Stuttgart, Germany, 2001. Pages 25-34.

Mark Harman and Bryan Jones.
SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms.
23rd IEEE/ACM International Conference on Software Engineering (ICSE 2001).
Toronto, Canada, May 12th-13th, 2001, pages 762-763. Workshop report.

Mark Harman, Lin Hu, Xingyuan Zhang Malcolm Munro.
Side-Effect Removal Transformation
9th IEEE International Workshop on Program Comprehension (IWPC 2001).
Toronto, Canada, May 12th-13th, 2001, pages 309-319.

Sebastian Danicic, Chris Fox, Mark Harman and Rob Hierons.
Backward Conditioning: a new program specialisation technique and its application to program comprehension
9th IEEE International Workshop on Program Comprehension (IWPC 2001).
Toronto, Canada, May 12th-13th, 2001, pages 89-97.

Mark Harman, Rob Hierons and Sebastian Danicic.
The Relationship Between Program Dependence and Mutation Analysis
(Mutation 2000).
San Jose, California, USA, October 6th-7th, 2000. Proceedings published as Mutation Testing for the New Century (W. Eric Wong, ed.),
Kluwer Academic Publishers, ISBN: 0-7923-7323-5, 2001, pages 5-13.

Sebastian Danicic, Chris Fox, Mark Harman and Rob Hierons.
ConSIT: A Conditioned Program Slicer
16th IEEE International Conference on Software Maintenance (ICSM 2000).
San Jose, California, USA, October 11-14, 2000, pages 216-226.

David Binkley, Mark Harman, L. Ross Raszewski and Christopher Smith.
An empirical study of amorphous slicing as a program comprehension support tool.
8th IEEE International Workshop on Program Comprehension (IWPC 2000).
Limerick, Ireland, June 10-11, 2000. Pages 161-170. ISBN: 0-7695-0656-9, ISSN: 1092-8138.

Rob Hierons and Mark Harman.
Program Analysis and Test Hypotheses Complement.
22nd IEEE/ACM ICSE 1st International Workshop on Automated Program Analysis, Testing and Verification.
Limerick, Ireland, June 4-5, 2000.

Mark Harman and Sebastian Danicic.
Espresso: A Slicer Generator.
ACM Symposium on Applied Computing (SAC 2000).
Como, Italy, March 19-21, 2000.

Stuart Reid, Mark Harman, Rob Hierons, Mike Holcombe, Bryan Jones, Marc Roper, Martin Woodward.
A Framework for Measurement in Software Testing
7th European International Conference Software Testing Analysis & Review (EuroSTAR'99).
Princesa Sophia Intercontinental Hotel, Barcelona, Spain 8-12 Nov, 1999.

Mark Harman, Rob Hierons, Mike Holcombe, Bryan Jones, Stuart Reid, Marc Roper, Martin Woodward.
Towards a Maturity Model for Empirical Studies of Software Testing.
5th IEEE Workshop on Empirical Studies of Software Maintenance (WESS'99),
Friday 3 - Saturday 4, September 1999 Keble College, Oxford, UK.

Mark Harman, Chris Fox, Rob Hierons, David Binkley and Sebastian Danicic.
Program Simplification as a Means of Approximating Undecidable Propositions .
7th IEEE International Workshop on Program Comprehension (IWPC'99),
Pittsburgh, Pennsylvania, USA, May 5th - 7th, 1999, pages 208-217.

Mark Harman, Yoga Sivagurunathan and Sebastian Danicic.
Analysis of Dynamic Memory Access using Amorphous Slicing.
14th IEEE International Conference on Software Maintenance (ICSM'98),
Washington DC, 16th - 18th November 1998, pages 336-345.

Mark Harman and Sebastian Danicic.
Amorphous Program Slicing.
5th IEEE International Workshop on Program Comprehension (IWPC'97), Dearborn,
Michigan, 28th - 30th May 1997, pages 70-79.

Yoga Sivagurunathan, Mark Harman and Sebastian Danicic.
Slicing, I/O and the Implicit State.
3rd International Workshop on Automated Debugging (AADEBUG'97),
Linköping, Sweden, 26th - 28th May 1997, pages 59-67.

Mark Harman, Margaret Okunlawon, Bala Sivagurunathan and Sebastian Danicic.
Slice-Based Measurement of Coupling.
IEEE/ACM ICSE workshop on Process Modelling and Empirical Studies of Software Evolution ( PMESSE'97),
Boston, Massachusetts, 17th - 23rd May 1997, pages 28-32.

Mark Harman, Sebastian Danicic, Yoga Sivagurunathan and Dan Simpson.
The Next 700 Slicing Criteria.
2nd. UK Program Comprehension Workshop,
Centre for Software Maintenance, University of Durham, Malcolm Munro (ed.), July, 1996.

Mark Harman and Sebastian Danicic.
Some Directions for the measurement of objects.
Invited paper, 1st. Bournemouth Metrics Workshop,
Bournemouth University, April 1996. Martin Shepperd (ed.).

Mark Harman, Sebastian Danicic and Yoga Sivagurunathan.
Program Comprehension Assisted by Slicing and Transformation.
1st UK Program Comprehension Workshop ,
Centre for Software Maintenance, University of Durham, Malcolm Munro (ed.), 6th - 7th of July, 1995.

Mark Harman, Sebastian Danicic, Yoga Sivagurunathan, Bala Sivagurunathan and Barry Jones.
Cohesion Metrics.
8th International Software Quality Week (QW'95),
San Francisco CA, May 30th - June 2nd. 1995, paper 4-T-4.

Barry Jones, Mark Harman and Sebastian Danicic.
Automated Construction of Input/Output Grammars.
12th Conference on Testing of Computer Software,
Washington DC, June 1995.

Mark Harman and Sebastian Danicic.
Programming Languages for Statistical Computation.
Conference of Statistical Computing (CompStat'90),
Dubrovnik, Yugoslavia. Proceedings Physica Verlag, Heidelberg (pp41-46). K. Momirovic and V. Mildner (eds.), 1990.

Poster Papers

Giulio Antoniol, Massimiliano Di Penta and Mark Harman
Search-based techniques for optimizing software project resource allocation. GECCO 2004, SBSE track.
Seattle, Washington, June 26th- 30th 2004.
LNCS, to appear.

Karnig Derderian, Rob Hierons, Mark Harman and Qiang Quo.
Input sequence generation for testing of communicating finite state machines (CFSMs). GECCO 2004, SBSE track.
Seattle, Washington, June 26th- 30th 2004.
LNCS, to appear.

Kiarash Mahdavi, Mark Harman and Rob Hierons.
Finding Building Blocks for Software Clustering GECCO 2003, SBSE track.
Chicago, Illinios, 12-16 July 2003.
LNCS 2724, pages 2513-2514.

Deji Fatiregun, Mark Harman and Rob Hierons.
Search Based Transformations GECCO, SBSE track.
Chicago, Illinios, 12-16 July 2003.
LNCS 2724, pages 2511-2512.

Book

Mark Harman and Ray Jones. First Course in C++: A Gentle Introduction. Ray Jones maintains a web site with more information for his course MP2. An instructors' guide is available form the authors and the publishers.
McGraw-Hill , 1996.
ISBN: 0-07-709194-9

UoL Study Guides

I wrote two study guides for the University of London External Programme in Computing and Information Systems.

Mark Harman, CIS106(2): Introduction to Computing (volume 2),
UoL, 2000. 110 pages.

Mark Harman, CIS210(2): Software engineering and development (volume 2),
UoL, 1999. 116 pages. ISBN: 07187 1587X.

Other Un-refereed or Semi-refereed Publications

Mark Harman, Bryan Jones.
The SEMINAL Workshop: Reformulating Software Engineering as a Metaheuristic Search Problem
Software Engineering Notes,
To Appear

Mark Harman, Bryan Jones.
Software Engineering using Metaheuristic INnovative ALgorithms: Workshop Report
Journal of Information and Software Technology, 43(14):905-907, November/December 2001.

Articles for EXE Software Developers' Magazine

I also wrote several short articles for EXE Software Developers' Magazine.

Mark Harman, How Small is a bit?: The uncertain world of Quantum Computing,
EXE, September 1999, pages 36--41.

Mark Harman, Sifting Through the Wreckage,
EXE, March 1999, page 5, editorial: `SoapFlakes'.

Mark Harman, Project Estimation: How long is this going to take?,
EXE, November 1998, pp 20-24.

Mark Harman, Testing in Black and White: Advanced Techniques,
EXE, August 1998, pp 29-34.

Mark Harman, Testing in Black and White,
EXE, July 1998, pp 18-26.

Mark Harman, DIY Software Agents,
EXE, December 1997, pp 18-24.

Mark Harman, LaTeX: Typesetting as a Programming Language,
EXE, October 1997, pp31-38.

Mark Harman, Program Transformation: New Programs for Old,
EXE, July 1997, pp25-30.

Mark Harman and Chris Kopec,
The Mating Game, EXE, Volume 11, Issue 12, May 1997, pp.39-42.

Mark Harman and Chris Kopec, Genetic Algorithms: Growing Your Own Code,
EXE, Volume 11, Issue 11, April 1997, pp.17-22.

Mark Harman, Cleaving Together - Program Cohesion with Slices,
EXE, Volume 11, Issue 8, January 1997, pp35-42.

Mark Harman, Carving up bugs,
EXE, Volume 11, Issue 6, November 1996, pp39-42.

Mark Harman, A Piece of Cake - Slicing as a debugging technique,
EXE, Volume 11, Issue 5, October 1996, pp25-28.

Miscellaneous

Mark Harman. Sword Fight at Midnight .
(A rather quaint old computer game), Sunshine publications, 1983.

Mark Harman . Functional Models of Procedural Programs . Ph.D. Thesis, University of North London, 1992.