Mark Harman's Publications

Mark Harman's Publications

The papers listed here can be obtained (in postscript or PDF) by following the highlighted title.

Refereed Journal Articles

Giulio Antoniol, Massimiliano Di Penta and Mark Harman.
The use of Search-Based Optimization Techniques to Schedule and Staff Software Projects: an Approach and an Empirical Study
Software - Practice and Experience
Hopefully will appear (currently subject to minor revision).

Shin Yoo and Mark Harman
Test data augmentation : generating new test data from existing test data
Journal of Software Testing, Verification and Reliability.
Hopefully will appear (currently subject to minor revision).

Shin Yoo and Mark Harman
Regression Testing Minimisation, Selection and Prioritisation: A Survey
Journal of Software Testing, Verification and Reliability.
To appear.

Shin Yoo and Mark Harman
Using Hybrid Algorithm For Pareto Efficient Multi-Objective Test Suite Minimisation
Journal of Systems and Software.
To appear.

Kata Praditwong, Mark Harman and Xin Yao.
Software Module Clustering as a Multi-Objective Search Problem
IEEE Transactions on Software Engineering.
To appear.

David Binkley, Mark Harman and Kiran Lakhotia.
FlagRemover: A Testability Transformation for Transforming Loop Assigned Flags
ACM Transactions on Software Engineering and Methodology.
To appear.

Mark Harman and Phil McMinn,
A Theoretical and Empirical Study of Search Based Testing: Local, Global and Hybrid Search
IEEE Transactions on Software Engineering.
To appear.

David Binkley, Mark Harman, Youssef Hassoun, Syed Islam and Zheng Li
Assessing the Impact of Global Variables on Program Dependence and Dependence Clusters
Journal of Systems and Software.
83(1):96-107, 2010.

Mark Harman, David Binkley, Keith Brian Gallagher, Nicolas Gold and Jens Krinke.
Dependence Clusters in Source Code
ACM Transactions on Programming Languages and Systems.
32(1): Article 1, October 2009.

Anthony Finkelstein, Mark Harman, Afshin Mansouri , Jian Ren and Yuanyuan Zhang.
A Search Based Approach to Fairness Analysis in Requirements Assignments to Aid Negotiation, Mediation & Decision Making
Requirements Engineering
14(4):231-245, 2009.

Rob Hierons, Kirill Bogdanov, Jonathan Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Luettgen, Tony Simons, Sergiy Vilkomir, Martin Woodward and Hussein Zedan.
Using Formal Methods to Support Testing,
ACM Computing Surveys.
41(2), Article 9, February 2009.

Phil McMinn, David Binkley and Mark Harman
Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing
ACM Transactions on Software Engineering and Methodology.
18(3), Article 11, May 2009.

Yue Jia and Mark Harman.
Higher Order Mutation Testing
Journal of Information and Software Technology
51(10):1379-1393, 2009

David Binkley, Nicolas Gold, Mark Harman, Zheng Li and Kiarash Mahdavi.
An Empirical Study of the Relationship between the Concepts Expressed in Source Code and Dependence
Journal of Systems and Software.
81(12):2287-2298, 2008.

Tao Jiang, Nicolas Gold, Mark Harman and Zheng Li,
Locating dependence structures using search based slicing
Journal of Information and Software Technology
50(12): 1189-1209, 2008.

Sebastian Danicic, Mark Harman, John Howroyd and Lahcen Ouarbya .
A Non-Standard Semantics for Program Slicing and Dependence Analysis
Journal of Logic and Algebraic Programming
Special issue on Theory and Foundations of Programming Language Interference and Dependence
72(2): 191-206, 2007.

David Binkley, Mark Harman and Jens Krinke.
Empirical Study of Optimization Techniques for Massive Slicing
ACM Transactions on Programming Languages and Systems.
30(1): Article 3, 2007.

Zheng Li, Mark Harman and Rob Hierons.
Search Algorithms for Regression Test Case Prioritisation
IEEE Transactions on Software Engineering.
33(4): 225-237, 2007.

David Binkley, Nicolas Gold, Mark Harman.
An Empirical Study of Static Program Slice Size
ACM Transactions on Software Engineering and Methodology.
16(2): 1-32, 2007.

Qiang Quo, Rob Hierons, Mark Harman and Karnig Derderian.
Heuristics for fault diagnosing when testing from finite state machines
Journal of Software Testing, Verification and Reliability.
17(1): 41-57, 2007.

Sebastian Danicic, Mark Harman, Rob Hierons John Howroyd and Mike Laurence.
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
Theoretical Computer Science.
373(1-2): 1-18, 2007.

Qiang Quo, Rob Hierons, Mark Harman and Karnig Derderian.
Improving Test Quality Using Robust Unique Input/Output Circuit Sequences (UIOCs),
Journal of Information and Software Technology
48(8): 696-707, 2006.

David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca and Paolo Tonella.
Tool-supported Refactoring of Existing Object-Oriented Code into Aspects
IEEE Transactions on Software Engineering.
32(9): 698-717, 2006.

Sebastian Danicic, David Binkley, Tibor Gyimóthy, Mark Harman, Ákos Kiss and Bogdan Korel.
A Formalisation of the Relationship between Forms of Program Slicing
Science of Computer Programming.
62(3): 228-252, 2006.

Sebastian Danicic, David Binkley, Tibor Gyimóthy, Mark Harman, Ákos Kiss and Bogdan Korel.
Theoretical Foundations of Dynamic Program Slicing
Theoretical Computer Science.
360(1): 23-41, 2006.

Mark Harman, Arun Lakhotia and David Binkley.
Theory and Algorithms for Slicing Unstructured Programs
Journal of Information and Software Technology
48(7): 549-565, 2006.

David Binkley, Sebastian Danicic, Mark Harman, John Howroyd and Lahcen Ouarbya.
A Formal Relationship Between Program Slicing and Partial Evaluation
Formal Aspects of Computing,
18(2):103-119, 2006.

Karnig Derderian, Rob Hierons, Mark Harman and Qiang Quo.
Automated Unique Input Output sequence generation for conformance testing of FSMs
The Computer Journal
49(3):331-344, 2006.

Sebastian Danicic, Chris Fox, Mark Harman, Rob Hierons, John Howroyd and Mike Laurence.
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas
The Computer Journal
48(6): 737-748, 2005.

Qiang Quo, Rob Hierons, Mark Harman and Karnig Derderian.
Constructing Multiple Unique Input/Output Sequences Using Evolutionary Optimisation Techniques
IEE Proceedings - Software
152(3):127-140, 2005.

Rob Hierons, Mark Harman and Chris Fox.
Branch-coverage testability transformation for unstructured programs
The Computer Journal
48(4): 421-436, 2005.

Nicolas Gold, David Binkley, Mark Harman and Rob Hierons.
Unifying program slicing and concept assignment for higher-level executable source code extraction
Software - Practice and Experience
35(10):977-1006, 2005.

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.
77(3): 241-262, 2005.

David Binkley and Mark Harman
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables.
IEEE Transactions on Software Engineering.
30(11): 715-735, 2004.

Rob Hierons and Mark Harman
Testing conformance of a deterministic implementation to a non-deterministic stream X-machine.
Theoretical Computer Science.
323(1-3):191-233, 2004.

David Binkley and Mark Harman.
A Survey of Empirical Results on Program Slicing.
Advances in Computers
62:105-178, 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.

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. (This version is extended to include a correctness proof not present in the shorter IPL version of the paper.)
Information Processing letters, 56(6):307-313, 1995.
This paper was shamelessly and blatantly plagiarised; some ten years after it was published an almost verbatim copy was published by another author. If you are interested in examples of astoundingly blatant plagiarism, you can check Sebastian Danicic's page about the plagiarism of our paper.

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

Forthcoming Keynotes and Invited Talks

Mark Harman
How SBSE Can Support Construction and Analysis of Predictive Models
6th International Conference on Predictive Models in Software Engineering (PROMISE 2010).
Timişoara, Romania, 12-13 September 2010.

Mark Harman
Why Source Code Analysis and Manipulation Will Always Be Important
10th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010).
Timişoara, Romania, 12-13 September 2010.

Mark Harman (joint work with Bill Langdon, and Yue Jia)
How Higher Order Mutation Helps Mutation Testing
5th International Workshop on Mutation Analysis (Mutation 2010)
Paris, France, 6 April, 2010.

Mark Harman
Search Based Software Engineering
13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010)
There is also an associated invited paper: Why the Virtual Nature of Software Makes it Ideal for Search Based Optimization which focusses on one aspect of the keynote talk.
Paphos, Cyprus, 20-28 March 2010.

Previous Keynotes and Invited Talks

Mark Harman
An Evolutionary Approach to Evolution: Applications of SBSE to Software Analysis, Refactoring, Evolution and Re-Engineering
8th BElgian-NEtherlands software eVOLution seminar (BENEVOL 2009)
Universite Catholique de Louvain, Belgium, 17-18 December 2009.

Mark Harman
The SBSE Approach to Automated Optimization of Verification and Testing
5th Haifa Verification Conference (HVC 09)
Haifa, Israel, October 2009.

Mark Harman
Search Based Optimization is Machine Assisted Reasoning? (invited talk)
Reasoning 09
Microsoft Research, Cambridge, UK.

Mark Harman
Recent Trends in Metaheuristic Optimization for Search Based Software Engineering
6th Metaheuristics and bioinspired algorithms conference (MAEB).
Malaga, Spain, 11 - 13 February 2009.

Mark Harman
Open Problems in Testability Transformation
1st International Workshop on Search Based Testing (SBT 2008)
Lillehammer, Norway, 9 - 11 April 2008

Mark Harman
The Current State and Future of Search Based Software Engineering
29th Int. Conference on Software Engineering (ICSE 2007), Future of Software Engineering (FoSE)
Minneapolis, USA, 20 - 26 May 2007

Mark Harman
Automated Test Data Generation Using Search Based Software Engineering
2nd Workshop on Automation of Software Test (AST 07) at the 29th Int. Conference on Software Engineering (ICSE 2007),
Minneapolis, USA, 20 - 26 May 2007

Mark Harman
Search Based Software Engineering for Program Comprehension
Invited paper
15th International Conference on Program Comprehension (ICPC 2007).
Banff, Canada, 26 - 29 June 2007
To appear.

Mark Harman
The Use of Measurement in Search Based Software Engineering.
International Conference on Software Process and Product Measurement (Mensura 2006).
C�diz, Spain, November 2006.

Mark Harman
Search Based Testing
Software & Systems Quality Conference (SQS-UK 2006) (industrial conference).
London, UK, October 2006

Mark Harman
Search Based Software Engineering
Workshop on Computational Science in Software Engineering (CSSE 2006).
Reading, UK May 2006
LNCS 3994. Pages 740-747.

Mark Harman
Search Based Testing
TestExpo (industrial conference).
London, UK April 2006

Mark Harman
Search-Based Software Engineering for Maintenance and Reengineering
10th European Conference on Software Maintenance and Reengineering (CSMR 2006),
Bari, Italy March 22-24, 2006

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.

Best Paper Awards

SBSE track best paper at GECCO 09 award
Giulio Antoniol, Stefan Gueorguiev and Mark Harman
Software Project Planning for Robustness and Completion Time in the Presence of Uncertainty using Multi Objective Search Based Software Engineering
ACM Genetic and Evolutionary Computation COnference (GECCO 2009).
Montreal, Canada, 8 - 12 July 2009.
To Appear

Best paper at SBST 09 award
Shin Yoo, Mark Harman and Shmuel Ur
Measuring an Improving Latency to Avoid Test Suite Wear Out
2nd International Workshop on Search-Based Software Testing (SBST 09).
Denver, Colorado, 1 April 2009.
Pages 101-110

Best theory paper at ETAPS 09 award
Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, and Laurie Tratt.
Control Dependence for Extended Finite State Machines
Fundamental Approaches to Software Engineering (FASE '09)
York, UK, 22nd-29th March, 2009.
To appear.

Best paper at SCAM 08 award
Yue Jia and Mark Harman.
Constructing Subtle Faults Using Higher Order Mutation Testing
8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08)
Beijing, China, 28th-29th September 2008.
Pages 249-258.

SBSE track best paper at GECCO 07 award
Yuanyuan Zhang Mark Harman, Afshin Mansouri
The Multi-Objective Next Release Problem
ACM Genetic and Evolutionary Computation COnference (GECCO 2007).
London, England, 7 - 11 July 2007
Pages 1129-1137.

Best paper at SCAM 05 award
Sebastian Danicic, David Binkley, Tibor Gyimóthy, Mark Harman, Ákos Kiss and Bogdan Korel.
Minimal Slicing and the Relationships Between Forms of Slicing
5th International Workshop on Source Code Analysis and Manipulation (SCAM 05).
September 30th-October 1st 2005, Budapest, Hungary.
Pages 45-56.

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

Special Issue Guest Editorships

Mark Harman and Afshin Mansouri
IEEE Transactions on Software Engineering.
Special issue on Search Based Software Engineering (SBSE)
To Appear, 2009.

John Clark, Mark Harman, Phil McMinn and Jeff Offutt.
Journal of Systems and Software.
Special issue of Extended Papers from the TAIC PART 2007 and Mutation 2007.
To Appear, 2009.

Giulio Antoniol, Massimiliano Di Penta and Mark Harman.
Journal of Software Maintenance and Evolution: Research and Practice
Special issue on Search Based Software Maintenance and Evolution
20(5):317-386, September/October 2008

Mark Harman, Zheng Li and Phil McMinn.
Journal of Software Testing, Verification and Reliability.
Special issue of Extended Papers from the TAIC PART 2006.
18(2), June 2008.

Walter Gutjahr and Mark Harman.
Journal Computers and Operations Research
Focused Issue on Search Based Software Engineering.
35(10):3049-3392, October 2008.

Mark Harman, Bogdan Korel, Panos Linos, Audris Mockus and Martin Shepperd .
Empirical Software Engineering.
Special issue on Metrics and Maintenance.
11 (3), September 2006.

Tom Dean, Mark Harman, Rainer Koschke and Michael Van De Vanter.
Journal of Systems and Software.
Special Issue of Extended Papers from the 4th SCAM Workshop.
79(9), September 2006.

John Derrick, Mark Harman and Rob Hierons.
Formal Aspects of Computing,
Special Issue on Formal Aspects of Testing.
18(1), 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.
31(10) October 2005.

David Binkley, Liz Burd, Mark Harman and Paolo Tonella.
Software Quality Journal.
Special Issue of Extended Papers from the 3rd SCAM Workshop.
Volume 12, number 4, (December 2004).

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.
Volume 14, Number 3 (September 2004)

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.)

Conferences and Workshops

Nadia Alshahwan, Mark Harman, Alessandro Marchetto and Paolo Tonella.
Improving Web Application Testing Using Testability Measures
11th IEEE International Symposium on Web Systems Evolution (WSE 2009)
Edmonton, Alberta, Canada, 25rd-26th September 2009.
To appear.

Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, and Laurie Tratt.
A Theoretical and Empirical Study of EFSM Dependence
25th IEEE International Conference on Software Maintenance (ICSM 2009).
Edmonton, Alberta, Canada, 23rd-26th September 2009.
Pages 287-296.

David Binkley and Mark Harman.
Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters
9th International Working Conference on Source Code Analysis and Manipulation (SCAM'09)
Edmonton, Alberta, Canada, 20th-21st September 2009.
Pages 89-98.

Kiran Lakhotia, Phil McMinn and Mark Harman
Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?
4th Testing Academia and Industry Conference - Practice and Research Techniques (TAIC PART'09)
Windsor, UK, 4th-6th September 2009.
Pages 95-104.

William B. Langdon, Mark Harman and Yue Jia
Multi Objective Mutation Testing with Genetic Programming
4th Testing Academia and Industry Conference - Practice and Research Techniques (TAIC PART'09)
Windsor, UK, 4th-6th September 2009.
Pages 21-29.

Shin Yoo, Mark Harman, Paolo Tonella and Angelo Susi.
Clustering Test Cases To Achieve Effective and Scalable Prioritisation Incorporating Expert Knowledge
International Conference on Software Testing and Analysis (ISSTA 09).
Chicago, Illinois, USA, 19 - 23 July 2009.
Pages 201-212.

Giulio Antoniol, Stefan Gueorguiev and Mark Harman
Software Project Planning for Robustness and Completion Time in the Presence of Uncertainty using Multi Objective Search Based Software Engineering
ACM Genetic and Evolutionary Computation COnference (GECCO 2009).
Montreal, Canada, 8 - 12 July 2009.
Pages 1673-1680.

Mark Harman, Jens Krinke, Jian Ren and Shin Yoo
Search Based Data Sensitivity Analysis Applied to Requirement Engineering
ACM Genetic and Evolutionary Computation COnference (GECCO 2009).
Montreal, Canada, 8 - 12 July 2009.
Pages 1681-1688.

Shin Yoo, Mark Harman and Shmuel Ur
Measuring and Improving Latency to Avoid Test Suite Wear Out
2nd International Workshop on Search-Based Software Testing (SBST 09).
Denver, Colorado, 1 April 2009.
Pages 101-110.

Cu Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman and Michael Luck,
Evolutionary Testing of Autonomous Software Agents
8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009)
Budapest, Hungary, 10-15 May 2009.
Pages 521-528.

Mark Harman, Fayezin Islam, Tao Xie and Stefan Wappler.
Automated Test Data Generation for Aspect-Oriented Programs
8th ACM International Conference on Aspect-Oriented Software Development (AOSD '09)
Charlottesville, Virginia, USA, 2nd - 6th March 2009.
Pages 185-196.

Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, and Laurie Tratt.
Control Dependence for Extended Finite State Machines
Fundamental Approaches to Software Engineering (FASE '09)
York, UK, 22nd-29th March, 2009.
Springer LNCS volume 5503, pages 216-230.

Tao Jiang Mark Harman and Youssef Hassoun.
Analysis of procedure splitability
15th Working Conference on Reverse Engineering (WCRE'08)
Antwerp, Belgium, 15th-18th October 2008.
Pages 247-256.

Yue Jia and Mark Harman.
Constructing Subtle Faults Using Higher Order Mutation Testing
8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08)
Beijing, China, 28th-29th September 2008.
Pages 249-258.

David Binkley, Nicolas Gold, Mark Harman, Zheng Li and Kiarash Mahdavi.
Evaluating Key Statements Analysis
8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08)
Beijing, China, 28th-29th September 2008.
Pages 121-130.

David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi and Joachim Wegener.
Dependence Anti Patterns
4th International ERCIM Workshop on Software Evolution and Evolvability (Evol�08)
L'Aquila, Italy, 15th-16th September 2008.
Pages 25-34.

Anthony Finkelstein, Mark Harman, Afshin Mansouri , Jian Ren and Yuanyuan Zhang.
"Fairness Analysis" in Requirements Assignments
16th International Requirements Engineering Conference (RE'08)
Barcelona, Spain, 8th-12th September 2008.
Pages 115-124.

Yue Jia and Mark Harman.
Milu: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
3rd Testing Academia and Industry Conference - Practice and Research Techniques (TAIC PART'08)
Windsor, UK, 29th-31st August 2008.
Pages 94-98.

Yuanyuan Zhang, Anthony Finkelstein and Mark Harman.
Search Based Requirements Optimisation: Existing Work and Challenges
International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'08)
Montpellier, France, 16th-17th June 2008.
Springer LNCS 5025: Pages 88-94.

Nadia Alshahwan and Mark Harman
Automated Session Data Repair for Web Application Regression Testing
1st International Conference on Software Testing, Verification and Validation (ICST'08)
Lillehammer, Norway, April 9-11 2008
Pages 298 - 307.

Giulio Antoniol, Massimiliano Di Penta, Mark Harman and Fahim Qureshi.
The effect of communication overhead on software maintenance project staffing: a Search-based approach
23rd IEEE International Conference on Software Maintenance (ICSM 2007).
2-5 October 2007, Paris, France.
Pages 315-324.

Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn and Joachim Wegener.
The impact of domain reduction on search-based test data generation
The 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 07).
Dubrovnik, Croatia, 3-7 September 2007
Pages 155-164.

Mark Harman and Phil McMinn.
A Theoretical and Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation
ACM International Symposium on Software Testing and Analysis (ISSTA 2007).
London, England, 9 - 12 July 2007
Pages 73-83.

Shin Yoo and Mark Harman.
Pareto Efficient Multi-Objective Test Case Selection
ACM International Symposium on Software Testing and Analysis (ISSTA 2007).
London, England, 9 - 12 July 2007
Pages 140-150.

Mark Harman and Laurie Tratt.
Pareto Optimal Search Based Refactoring at the Design Level
ACM Genetic and Evolutionary Computation COnference (GECCO 2007).
London, England, 7 - 11 July 2007
Pages 1106-1113.

Mark Harman, Kiran Lakhotia and Phil McMinn.
A Multi-Objective Approach to Search-Based Test Data Generation
ACM Genetic and Evolutionary Computation COnference (GECCO 2007).
London, England, 7 - 11 July 2007
Pages 1098-1105.

Yuanyuan Zhang Mark Harman, Afshin Mansouri
The Multi-Objective Next Release Problem
ACM Genetic and Evolutionary Computation COnference (GECCO 2007).
London, England, 7 - 11 July 2007
Pages 1129-1137.

Mark Harman
Search Based Software Engineering for Program Comprehension
Invited paper
15th International Conference on Program Comprehension (ICPC 2007).
Banff, Canada, 26 - 29 June 2007
Pages 3-13.

Mark Harman
The Current State and Future of Search Based Software Engineering
Invited paper
29th International Conference on Software Engineering (ICSE 2007), Future of Software Engineering (FoSE)
Minneapolis, USA, 20 - 26 May 2007
Pages 342-357.

Nicolas Gold, Mark Harman, Zheng Li and Kiarash Mahdavi.
An Empirical Study of Executable Concept Slice Size
13th Working Conference on Reverse Engineering (WCRE 06).
October 2006, Benevento, Italy.
Pages 103-114.

David Binkley, Mark Harman and Jens Krinke.
Animated Visualisation of Static Analysis: Characterising, Explaining and Exploiting the Approximate Nature of Static Analysis.
6th International Workshop on Source Code Analysis and Manipulation (SCAM 06).
September 27th-29th 2006, Philadelphia, Pennsylvania, USA,
Pages 43 - 52.

Keith Brian Gallagher, David Binkley and Mark Harman.
Stop-List Slicing.
6th International Workshop on Source Code Analysis and Manipulation (SCAM 06).
September 27th-29th 2006, Philadelphia, Pennsylvania, USA,
Pages 11 - 20.

Nicolas Gold, Mark Harman, Zheng Li and Kiarash Mahdavi.
A Search Based Approach to Overlapping Concept Boundaries.
22nd International Conference on Software Maintenance (ICSM 06).
September 24th-27th 2006, Philadelphia, Pennsylvania, USA,
Pages 310 - 319.

Mark Harman, Kathleen Steinh�fel and Alexandros Skaliotis.
Search Based Approaches to Component Selection and Prioritization for the Next Release Problem.
22nd International Conference on Software Maintenance (ICSM 06).
September 24th-27th 2006, Philadelphia, Pennsylvania, USA,
Pages 176 - 185.

Phil McMinn, Mark Harman, David Binkley and Paolo Tonella.
The Species per Path Approach to Search-Based Test Data Generation
International Symposium on Software Testing and Analysis (ISSTA 06).
July 17th-20th, Portland, Maine, USA.
Pages 13-24.

Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, R. Gupta,
Data Dependence Based Testability Transformation in Automated Test Generation
16th International Symposium on Software Reliability Engineering (ISSRE 05).
Chicago, Illinios, USA, November 8-11 2005.
Pages 245-254.

Deji Fatiregun, Mark Harman and Rob Hierons.
Search-Based Amorphous Slicing
12th International Working Conference on Reverse Engineering (WCRE 05).
Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, November 8-11 2005.
Pages 3-12.

Phil McMinn David Binkley and Mark Harman
Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting
UK Software Testing Workshop (UK Test 2005).
September 5-6, 2005, Sheffield University, UK.

David Binkley and Mark Harman
Forward slices are smaller than backward slices
5th International Workshop on Source Code Analysis and Manipulation (SCAM 05).
September 30th-October 1st 2005, Budapest, Hungary.
Pages 15-24.

Sebastian Danicic, David Binkley, Tibor Gyimóthy, Mark Harman, Ákos Kiss and Bogdan Korel.
Minimal Slicing and the Relationships Between Forms of Slicing
5th International Workshop on Source Code Analysis and Manipulation (SCAM 05).
September 30th-October 1st 2005, Budapest, Hungary.
Pages 45-56.

David Binkley and Mark Harman
Locating Dependence Clusters and Dependence Pollution
21st IEEE International Conference on Software Maintenance (ICSM 2005).
September 25th-30th 2005, Budapest, Hungary.
Pages 177-186.

Bogdan Korel, Luay H. Tahat and Mark Harman
Test Prioritization Using System Models
21st IEEE International Conference on Software Maintenance (ICSM 2005).
September 25th-30th 2005, Budapest, Hungary.
Pages 559-568.

Giulio Antoniol, Massimiliano Di Penta and Mark Harman.
Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project
21st IEEE International Conference on Software Maintenance (ICSM 2005).
September 25th-30th 2005, Budapest, Hungary.
Pages 240-249.

David Binkley, Mariano Ceccato, Mark Harman Filippo Ricca and Paolo Tonella.
Automated Refactoring of Object Oriented Code into Aspects
21st IEEE International Conference on Software Maintenance (ICSM 2005).
September 25th-30th 2005, Budapest, Hungary.
pages 27-36.

Mark Harman, Stephen Swift and Kiarash Mahdavi,
An Empirical Study of the Robustness of Two Module Clustering Fitness Functions
AAAI Genetic and Evolutionary Computation COnference 2005 (GECCO 2005).
June 25th-39th, 2004, Washington, DC, USA.
pages 1029-1036.

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.
pages 152-160.

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

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
Pages 172-183.

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
pages 43-52.

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
Pages 65-74.

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
Pages 85-94.

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.
Pages 43-52.

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.
LNCS 3103, Pages 1338-1349.

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.
Pages 89-97.

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, Edinburgh, Scotland.
Pages 728-729.

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.
LNCS 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.

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
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

Karnig Derderian, Rob Hierons and Mark Harman.
Generating feasible input output sequences for extended finite state machines using genetic algorithms
AAAI Genetic and Evolutionary Computation COnference 2005 (GECCO 2005).
June 25th-39th, 2004, Washington, DC, USA.
Pages 1081-1082

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 3103, pages 1425-1426

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 3103, pages 1429-1430

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,
26(6):62-66. (November 2001)

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.
After nearly three decades, through the magic of emulation, you can still play this game in your web browser by clicking here.

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