Mark Harman's Publications
The papers listed here can be obtained (in postscript or, for more recent papers, PDF) by following the highlighted title. They may not be quite the final version as published by the publisher (for various reasons), but should be pretty close. The full text of the papers is provided as a convenience; the definitive versions are those maintained by the publishers in their archives.

Keynotes and Invited Talks

Often keynote talks are accompanied by an invited paper for the proceedings. Where this is the case, these are marked as "keynote paper" and the title of the talk is linked to the full text of the associated paper. Where I am invited to supplement my keynote with a paper in this way, I write the paper from scratch for that venue and seek to include new ideas and material in each such paper. Many of these keynote papers describe ideas and future avenues of research on which I plan to work or on which I would like to see work done, if only I could find the right collaborators, students or post docs with whom to work. If, having read the papers, that sounds like you, then please do send me and email and let's discuss it.

Mark Harman
(joint work with Afnan Al-Subaihin, Anthony Finkelstein, Yue Jia, William Martin, Federica Sarro and Yuanyuan Zhang).
Title TBD (Keynote)
3rd IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft 2016)
May, 2016, Austin, Texas, USA

Mark Harman
(joint work with Afnan Al-Subaihin, Anthony Finkelstein, Yue Jia, William Martin, Federica Sarro and Yuanyuan Zhang).
App Store Mining and Analysis (Keynote)
Third international workshop on software development life-cycle for mobile (DeMobile 2015).
Monday, August 31st, Bergamo, Italy

Mark Harman
(joint work with Yue Jia, and Yuanyuan Zhang).
Achievements, open problems and challenges for search based software testing (keynote)
8th IEEE International Conference on Software Testing, Verification and Validation (ICST)
Graz, Austria, 13th-17th April 2015.

Mark Harman
(joint work with Yue Jia, Jens Krinke, Bill Langdon, Justyna Petke and Yuanyuan Zhang).
Search based software engineering for software product line engineering: a survey and directions for future work (keynote paper)
18th International Software Product Line Conference (SPLC 14)
Florence, Italy, September 15th-19th, 2014.

Mark Harman
Applications of SBSE to software testing and self adaptive systems (keynote)
(This is an updated version of my SEAMS '14 keynote, for which there is a short paper)
Quality Assurance for Self-adaptive, Self-organising Systems (QA4SASO 2014)
London, UK, September 12th, 2014.

Mark Harman
(joint work with Yue Jia Bill Langdon Justyna Petke Iman Maghadam Shin Yoo and Fan Wu
Genetic Improvement for Adaptive Software Engineering (keynote paper)
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '14)
Hyderabad, India, June 2nd- 3rd, 2014.

Mark Harman
(joint work with Bill Langdon and Wes Weimer)
Genetic Programming for Reverse Engineering (keynote paper)
This paper introduces the idea of software transplants (and also briefly surveys work on GP for RE).
20th Working Conference on Reverse Engineering (WCRE 2013)
Koblenz, Germany, October 14th-17th, 2013.

Mark Harman
Software Engineering: An Ideal Set of Challenges for Evolutionary Computation (keynote)
Genetic and Evolutionary Computation Conference; the 22nd International Conference on Genetic Algorithms and the 18th annual Genetic Programming conference (GECCO 2013)
Amsterdam, Netherlands July 6th - 10th, 2013.

Mark Harman
(joint work with John Clark and Mel O Cinneide)
Dynamic Adaptive Search Based Software Engineering Needs Fast Approximate Metrics (keynote paper)
4th International Workshop on Emerging Trends in Software Metrics (WeTSOM 2013)
San Francisco, CA, USA. May 21, 2013.

Mark Harman
(joint work with Edmund Burke, John Clark and Xin Yao)
Dynamic Adaptive Search Based Software Engineering (keynote paper)
6th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2012)
Lund, Sweden, September 19th-20th, 2012.

Mark Harman
(joint work with Bill Langdon, Yue Jia David White, Andrea Arcuri, and John Clark)
The GISMOE challenge: Constructing the Pareto Program Surface Using Genetic Programming to Find Better Programs (keynote paper)
27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)
Essen, Germany, September 3rd-7th, 2012.

Mark Harman
Search Based Software Engineering (keynote)
6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012)
Beijing, China, July 4th-6th, 2012.

Mark Harman
An Introduction to Search Based Software Engineering (keynote)
1st Chinese SBSE Workshop (CSBSE)
Beijing, China July 2nd, 2012.

Mark Harman
The Role of Artificial Intelligence in Software Engineering (keynote paper)
1st International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2012)
Zurich, Switzerland, June 5th, 2012.

Mark Harman
The Law of Tendency to Executability and its Implications (keynote)
This talk covered Law of Tendency to Executability as explained in the paper given at SCAM 2010.
11th International Conference on Quality Software (QSIC 2010)
Madrid, Spain, July 13th-14th, 2011.

Mark Harman
Refactoring as Testability Transformation (keynote paper)
Refactoring and Testing Workshop (RefTest 2011)
Berlin, Germany, March 2011.

Mark Harman
Making the Case for MORTO: Multi Objective Regression Test Optimization (invited position paper)
The 1st International Workshop on Regression Testing (Regression 2011)
Berlin, Germany, March 2011.

Mark Harman
The Relationship between Search Based Software Engineering and Predictive Modeling (keynote paper)
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 (keynote paper)
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)
A Manifesto for Higher Order Mutation Testing (keynote paper)
5th International Workshop on Mutation Analysis (Mutation 2010)
Paris, France, 6 April, 2010.

Mark Harman
Why the Virtual Nature of Software Makes it Ideal for Search Based Optimization (keynote paper)
(The keynote talk covered SBSE in general not merely the content of the invited paper.)
13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010)
Paphos, Cyprus, 20-28 March 2010.

Mark Harman
An Evolutionary Approach to Evolution: Applications of SBSE to Software Analysis, Refactoring, Evolution and Re-Engineering (keynote)
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 (keynote)
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 (keynote)
6th Metaheuristics and bioinspired algorithms conference (MAEB).
Malaga, Spain, 11 - 13 February 2009.

Mark Harman
Open Problems in Testability Transformation (keynote paper)
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 (invited paper)
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 (keynote paper)
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 (keynote paper)
15th International Conference on Program Comprehension (ICPC 2007).
Banff, Canada, 26 - 29 June 2007

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

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

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

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

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

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

Mark Harman
Side-Effects Considered Harmful (but Rendered Harmless). (keynote)
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

ACM Distinguished paper award for ISSTA 2015 paper
Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean and Justyna Petke.
Automated software transplantation.
International Symposium on Software Testing and Analysis (ISSTA 2015)
Baltimore, Maryland, USA, July 14th-17th 2015.
Pages 257-269.

Best paper at Mutation 2015 award
Jay Nanavati, Fan Wu, Mark Harman, Yue Jia and Jens Krinke.
Mutation testing of memory-related operators
The 10th International Workshop on Mutation Analysis (Mutation 2015).
Graz, Austria, April 2015.
Pages 1-10.

11th Annual (2014) "Humies" Awards for Human-Competitive Results Produced by Genetic and Evolutionary Computation: Silver medal
Justyna Petke, Mark Harman, William B. Langdon and Westley Weimer.
Using Genetic Improvement and Code Transplants to Specialize a C++ Program to a Problem Class (based on work reported at EuroGP 2014.)
GECCO Humie silver medal.

SSBSE 2014 Challenge winner
Mark Harman, Bill Langdon, and Yue Jia.
Babel Pidgin: SBSE can grow and graft entirely new functionality into a real world system.
Symposium on Search-Based Software Engineering (SSBSE 2014), SSBSE Challenge 2014 winner.
Fortaleza, Brazil, 26th- 29th August, 2014.
Pages 247-252.

Best paper at ESEM 2012 award
Mel O Cinneide, Laurie Tratt, Mark Harman Steve Counsell and Iman Hemati Moghadam.
Experimental Assessment of Software Metrics Using Automated Refactoring
6th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2012).
Lund, Sweden, September 19th-20th, 2012.
Pages 49-58.

Best paper at SSBSE 2011 award
Shin Yoo, Mark Harman and Shmuel Ur
Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card
3rd International Symposium on Search Based Software Engineering (SSBSE 2011).
Szeged, Hungary, 10th-12th September 2011.
Pages 219-236.

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

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.




Refereed Journal Papers



Justyna Petke, Myra B. Cohen, Mark Harman and Shin Yoo.
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection
IEEE Transactions on Software Engineering (TSE).
To Appear.

Earl Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz and Shin Yoo.
The oracle problem in software testing: A survey.
IEEE Transactions on Software Engineering (TSE),
41(5):507-525, 2015.

William B. Langdon and Mark Harman.
Optimising Existing Software with Genetic Programming
IEEE Transactions on Evolutionary Computation.
19(1):118-135, 2015.

Nadarajen Veerapen, Gabriela Ochoa, Mark Harman and Edmund Burke.
An integer linear programming approach to the single and bi-objective next release problem.
Information and Software Technology,
65:1-13, 2015.

Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren and Shin Yoo.
Exact scalable sensitivity analysis for the next release problem.
ACM Transactions on Software Engineering and Methodology (TOSEM),
23(2):19:1-19:31, 2014.

Syed Islam, Jens Krinke, David Binkley and Mark Harman.
Coherent clusters in source code.
Journal of Systems and Software (JSS),
88:1-24, 2014.

Jose Javier Dolado, Mark Harman and Mari Carmen Otero.
Equivalence Hypothesis Testing in Experimental Software Engineering
Software Quality Journal
22(2):215-238, 2014.

Shin Yoo, Mark Harman and Shmuel Ur.
GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards.
Journal of Empirical Software Engineering (EMSE)
18(3):550-593, 2013.

Mustafa Bozkurt, Mark Harman and Youssef Hassoun.
Testing and verification in service-oriented architecture: a survey
Journal of Software Testing, Verification and Reliability.
23(4):261Ð313, 2013.

David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke and Zheng Li.
Efficient identification of linchpin vertices in dependence clusters.
ACM Transactions on Programming Languages and Systems (TOPLAS),
35(2 (Article 7)):7, 2013.

Mark Harman, Kiran Lakhotia, Jeremy Singer, David White and Shin Yoo.
Cloud Engineering is Search Based Software Engineering Too
Journal of Systems and Software (invited paper)
86(9):2225-2241, 2013.

Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke and Laurie Tratt.
State-Based Model Slicing: A Survey
ACM Computing Surveys.
45(4):53:1-53:36, 2013.

Saswat Anand, Antonia Bertolino, Edmund Burke, Tsong Yueh Chen, John Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Jenny Li, Phil McMinn, and Hong Zhu
An Orchestrated Survey on Automated Software Test Case Generation
Journal of Systems and Software (invited paper)
86(8):1978-2001, 2013.

Shin Yoo, Mark Harman and David Clark.
Fault Localization Prioritization: Comparing Information Theoretic and Coverage Based Approaches
ACM Transactions on Software Engineering and Methodology.
22(3):19:1-19:29, 2013.

Kelly Androutsopoulos, David Clark, Mark Harman, Rob Hierons, Zheng Li and Laurie Tratt.
Amorphous Slicing of Extended Finite State Machines
IEEE Transactions on Software Engineering
Published in: 39(7):892-909, 2013.

Kiran Lakhotia, Mark Harman and Hamilton Gross.
AUSTIN: An Open Source Tool for Search Based Software Testing of C Programs
Journal of Information and Software Technology
55(1):112-125, 2013.

Yuanyuan Zhang, Mark Harman and Soo Ling Lim
Empirical Evaluation of Search Based Requirements Interaction Management
Journal of Information and Software Technology
55(1):126-152, 2013.

Phil McMinn, Mark Harman, Youssef Hassoun, Kiran Lakhotia and Joachim Wegener.
Input Domain Reduction through Irrelevant Variable Removal and its Effect on Local, Global and Hybrid Search-Based Structural Test Data Generation.
IEEE Transactions on Software Engineering.
38(2):453-477, 2012.

Shin Yoo and Mark Harman.
Regression Testing Minimisation, Selection and Prioritisation: A Survey
Journal of Software Testing, Verification and Reliability.
22(2):67-120, 2012.

Shin Yoo and Mark Harman.
Test Data Regeneration: Generating New Test Data from Existing Test Data
Journal of Software Testing, Verification and Reliability.
22(3):171-201, 2012.

Mark Harman, Afshin Mansouri and Yuanyuan Zhang.
Search Based Software Engineering: Trends, Techniques and Applications
ACM Computing Surveys.
45(1):Article 11, 2012.

Cu Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman and Michael Luck.
Evolutionary Testing of Autonomous Software Agents
Journal of Autonomous Agents and Multi-Agent Systems.
25(2):260-283, 2012.

Luay H. Tahat, Bogdan Korel, Mark Harman and Hasan Ural.
Regression test suite prioritization using system models
Journal of Software Testing, Verification and Reliability.
22(7):481-506, 2012.

Mark Harman
Software Engineering meets Evolutionary Computation
IEEE Computer .
44(10):31-39, 2011.

Yue Jia and Mark Harman.
An Analysis and Survey of the Development of Mutation Testing
IEEE Transactions on Software Engineering.
37(5):649-678, 2011.

Yuanyuan Zhang, Mark Harman, Anthony Finkelstein and Afshin Mansouri .
Comparing the Performance of Metaheuristics for the Analysis of Multi-Stakeholder Tradeoffs in Requirements Optimisation,
Journal of Information and Software Technology
53(7):761-773, 2011.

Juan J. Durillo, Yuanyuan Zhang, Enrique Alba, Mark Harman, Antonio J. Nebro,
A Study of the Bi-Objective Next Release Problem.
Journal of Empirical Software Engineering (EMSE)
16(1):29-60, 2011.

Sebastian Danicic, Richard Barraclough, Mark Harman, John Howroyd, Ákos Kiss and Mike Laurence.
A unifying theory of control dependence and its application to arbitrary program structures.
Theoretical Computer Science.
412(49): 6809-6842, 2011.

David Binkley, Mark Harman and Kiran Lakhotia.
FlagRemover: A Testability Transformation for Transforming Loop Assigned Flags
ACM Transactions on Software Engineering and Methodology.
20(3), 2011.

Alessandro Marchetto, Roberto Tiella , Paolo Tonella, Nadia Alshahwan, and Mark Harman.
Crawlability Metrics for Automated Web Testing
International Journal on Software Tools for Technology Transfer (STTT).
13(2): 131-149, 2011

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
41(5):495-519, 2011.

Kata Praditwong, Mark Harman and Xin Yao.
Software Module Clustering as a Multi-Objective Search Problem
IEEE Transactions on Software Engineering.
37(2): 264-282, 2011.

Bill Langdon, Mark Harman and Yue Jia.
Efficient Multi Objective Higher Order Mutation Testing with Genetic Programming
Journal of Systems and Software.
83(12):2416-2430, 2010.

Kiran Lakhotia, Phil McMinn and Mark Harman.
An Empirical Investigation Into Branch Coverage for C Programs Using CUTE and AUSTIN
Journal of Systems and Software.
83(12): 2379-2391, 2010.

Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li.
An Alternative Characterization of Weak Order Dependence
Information Processing letters
110(21):939-943, 2010.

Mark Harman and Phil McMinn.
A Theoretical and Empirical Study of Search Based Testing: Local, Global and Hybrid Search
IEEE Transactions on Software Engineering.
36(2): 226-247, 2010.

Shin Yoo and Mark Harman.
Using Hybrid Algorithm For Pareto Efficient Multi-Objective Test Suite Minimisation
Journal of Systems and Software.
83(4): 689-701, 2010.

Mark Harman.
Automated patching techniques: The fix is in: technical perspective
Communications of the ACM
53(5): 108 (2010)
A one page commentary on the excellent paper by Wes Weimer, Stephanie Forrest, Claire Le Goues and ThanhVu Nguyen also in CACM, 53(5), 2010.

Karnig Derderian, Rob Hierons, Mark Harman and Qiang Quo.
Estimating the feasibility of transition paths in extended finite state machines
Journal of Automated Software Engineering
17(1): 33-56, 2010.

Richard Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Rob Hierons Ákos Kiss and Mike Laurence.
A trajectory-based strict semantics for program slicing
Theoretical Computer Science.
411:(11-13):1372-1386, 2010.

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.
Ten years after we published it, our paper was blatantly plagiarised. In 2005 an almost verbatim copy was published by another author. If you are interested in examples of astoundingly blatant plagiarism, you can check our 1995 IPL paper against the plagiarised version by P. K. Mishra, which appeared in 2005 (complete with fake self-citations). It is not the only paper I have authored that has been plagiarised, but it is the most blatant to date. This case of plagiarism has been reported to Elsevier, which publishes IPL and which took it up with the offending journal (the International Journal of Information and Management Sciences (IJIMS)). IJIMS published the paper (IJIMS Volume 16, Number 2, pp.35-46), and still makes it available (last checked 18th January 2015), despite being notified of the offence.

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

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.
82 (11): 1753-1832, 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.
Journal of 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

Christopher Henard, Mike Papadakis, Mark Harman and Yves Le Traon.
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines
37th International Conference on Software Engineering (ICSE 2015)
Florence, Italy, May 20th - 22nd, 2015.
To appear.

Yue Jia, Myra B. Cohen, Mark Harman and Justyna Petke.
Learning Combinatorial Interaction Test Generation Strategies using Hyperheuristic Search
37th International Conference on Software Engineering (ICSE 2015)
Florence, Italy, May 20th - 22nd, 2015.
To appear.

Mike Papadakis, Yue Jia, Mark Harman and Yves Le Traon.
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
37th International Conference on Software Engineering (ICSE 2015)
Florence, Italy, May 20th - 22nd, 2015.
To appear.

David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke and Shin Yoo.
ORBS: Language-Independent Program Slicing
There is a tool page from which you can download ORBS and related tools and resources.
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)
Hong Kong, China, November 16th - 21st, 2014.
Pages 109-120.

Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro.
The Plastic Surgery Hypothesis
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)
Hong Kong, China, November 16th to November 21st, 2014.
Pages 306-317.

Mark Harman, Yue Jia, Pedro Reales Mateo and Macario Polo.
Angels and Monsters: An Empirical Investigation of Potential Test Effectiveness and Efficiency Improvement from Strongly Subsuming Higher Order Mutation.
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
Vasteras, Sweden, September 15th - 19th, 2014.
Pages 397-408.

Mark Harman, Bill Langdon, and Yue Jia.
Babel Pidgin: SBSE can grow and graft entirely new functionality into a real world system.
Symposium on Search-Based Software Engineering SSBSE 2014.
(Challenge track)
Fortaleza, Brazil, 26th- 29th August, 2014.
Pages 247-252.

Mark Harman, Syed Islam, Yue Jia, Leandro Minku, Federica Sarro and Komsan Srivisut.
Less is more: Temporal fault predictive performance over multiple Hadoop releases.
Symposium on Search-Based Software Engineering SSBSE 2014.
(Challenge track)
Fortaleza, Brazil, 26th- 29th August, 2014.
Pages 240-246.

Haitao Dan, Mark Harman, Jens Krinke, Alexandru Marginean, Lingbo Li, and Fan Wu.
Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences.
Symposium on Search-Based Software Engineering SSBSE 2014.
(Challenge track)
Fortaleza, Brazil, 26th- 29th August, 2014.
Pages 253-258.

Nadia Alshahwan and Mark Harman.
Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria.
International Symposium on Software Testing and Analysis (ISSTA 2014).
San Jose, California, USA, July 21-25, 2014.
Pages 181-192.

Bill Langdon, Marc Modat, Justyna Petke and Mark Harman.
Improving 3D Medical Image Registration CUDA Software with Genetic Programming.
16th Genetic and Evolutionary Computation COnference (GECCO 2014).
Vancouver, Canada, July 12th-16th, 2014.
Pages 951-958.

Lingbo Li, Mark Harman, Emmanuel Letier and Yuanyuan Zhang.
Robust Next Release Problem: Handling Uncertainty During Optimization.
16th Genetic and Evolutionary Computation COnference (GECCO 2014).
Vancouver, Canada, July 12th-16th, 2014.
Pages 1247-1254.

Xiangjuan Yao, Mark Harman and Yue Jia.
A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence.
36th International Conference on Software Engineering (ICSE 2014).
Hyderabad, India, 31st May - 7th June , 2014.
Pages 919-930.

Kelly Androutsopoulos, David Clark, Haitao Dan, Rob Hierons and Mark Harman.
An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing
36th International Conference on Software Engineering (ICSE 2014).
Hyderabad, India, 31st May - 7th June , 2014.
Pages 573-583.

Justyna Petke, Bill Langdon, Mark Harman and Wes Weimer.
Winner of the silver medal for human competitive results at GECCO 2014.
Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class
17th European Conference on Genetic Programming (EuroGP 2014)
Granada, Spain, 23rd-25th April, 2014.
LNCS 8599, pages 132-143.

Bill Langdon and Mark Harman.
Genetically Improved CUDA C++ Software
17th European Conference on Genetic Programming (EuroGP 2014)
Granada, Spain, 23rd-25th April, 2014.
LNCS 8599, pages 84-95.

Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, Shin Yoo and Mark Harman.
Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation
5th International Symposium on Search-Based Software Engineering (SSBSE 2013)
Saint Petersburg, Russia August 24th- 26th, 2013.
Pages 224-238.

Justyna Petke, Bill Langdon, and Mark Harman.
Applying Genetic Improvement to MiniSAT
5th International Symposium on Search-Based Software Engineering (SSBSE 2013)
Saint Petersburg, Russia August 24th- 26th, 2013.
Pages 257-262.

Tiantian Wang, Mark Harman, Yue Jia and Jens Krinke.
Searching for Better Configurations: A Rigorous Approach to Clone Evaluation
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2013)
Saint Petersburg, Russia August 18th- 23rd, 2013.
Pages 455-465.

Justyna Petke, Myra B. Cohen, Mark Harman and Shin Yoo.
Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2013)
Saint Petersburg, Russia August 18th- 23rd, 2013.
Pages 26-36

Bertrand Meyer, Harald Gall, Mark Harman, Giancarlo Succi, Yue Jia and Jens Krinke.
Empirical answers to fundamental software engineering problems (panel paper)
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2013)
Saint Petersburg, Russia August 18th- 23rd, 2013.
Pages 14-18.

Filomena Ferrucci, Mark Harman, Jian Ren, and Federica Sarro.
Not Going to Take This Anymore: Multi-objective Overtime Planning for Software Engineering Projects
You can watch a light-hearted one minute video to promote this paper here.
35th International Conference on Software Engineering (ICSE 2013)
San Francisco, CA, USA, May 18th - 26th, 2013.
Pages 462-471.

Ke Mao, Ye Yang, Mingshu Li and Mark Harman.
Pricing Crowdsourcing-Based Software Development Tasks
35th International Conference on Software Engineering (ICSE 2013 NIER track)
San Francisco, CA, USA, May 18th - 26th, 2013.
Pages 1205-1208.

Cu Nguyen, Paolo Tonella, Alessandro Marchetto, Kiran Lakhotia and Mark Harman.
Automated Generation of State Abstraction Functions using Data Invariant Inference
8th IEEE/ACM International Workshop on Automation of Software Test (AST 2013)
San Francisco, CA, USA, May 18th - 19th, 2013.
Pages (TBD)

Mark Harman, Yue Jia and Yuanyuan Zhang
App store mining and analysis: MSR for app stores
9th IEEE Working Conference on Mining Software Repositories (MSR 2012)
Zurich, Switzerland, June 2nd-3rd, 2012.
Pages 108-111.

Nadia Alshahwan and Mark Harman,
Augmenting test suites effectiveness by increasing output diversity
34th International Conference on Software Engineering (ICSE 2012 NIER Track)
Zurich, Switzerland. June 2nd-9th, 2012.
Pages 1345-1348.

Efstathios Panayi Mark Harman and Anne Wetherilt
Agent-based modelling of stock markets using existing order book data
13th International Workshop on Multi-Agent Based Simulation (MABS 2012)
Valencia, Spain, 4th-5th June 2012.

Paolo Tonella, Alessandro Marchetto, Cu Nguyen, Yue Jia, Kiran Lakhotia and Mark Harman.
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs
5th IEEE International Conference on Software Testing, Verification and Validation (ICST 2012)
Montreal, QC, Canada, April 17-21, 2012.
Pages 21-30.

Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella , Paolo Tonella
Crawlability Metrics for Web Applications
5th IEEE International Conference on Software Testing, Verification and Validation (ICST 2012)
Montreal, QC, Canada, April 17-21, 2012.
Pages 151-160.

Nadia Alshahwan and Mark Harman
State aware test case regeneration for improving web application test suite coverage and fault detection
International Symposium on Software Testing and Analysis (ISSTA 2012)
Minneapolis, MN, USA, July 15th-20th, 2012.
Pages 45-55.

Mustafa Bozkurt and Mark Harman
Optimised Realistic Test Input Generation Using Web Services
4th International Symposium on Search Based Software Engineering (SSBSE 2012)
Riva del Garda, Italy, September 28-30, 2012.
pages 105-120.

Mark Harman, Edmund Burke, John Clark and Xin Yao.
Dynamic Adaptive Search Based Software Engineering.
6th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2012)
Lund, Sweden, September 19th-20th, 2012.
Pages 1-8.

Mark Harman, Bill Langdon, Yue Jia, David White, Andrea Arcuri, and John Clark.
The GISMOE challenge: Constructing the Pareto Program Surface Using Genetic Programming
27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)
Essen, Germany, September 3rd-7th, 2012.
Pages 1-14.

Mark Harman
The Role of Artificial Intelligence in Software Engineering.
1st International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2012)
Zurich, Switzerland, June 5th, 2012.

Mustafa Bozkurt and Mark Harman
Automatically generating realistic test input from web services
6th IEEE International Symposium on Service Oriented System Engineering (SOSE 2011)
Irvine, CA, USA, December 12-14, 2011
Pages 13-24.

Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella and Tanja Vos.
Symbolic Search-Based Testing
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Lawrence, Kansas, USA, 6th - 10th November 2011.
Pages 53-62.

Nadia Alshahwan and Mark Harman.
Automated Web Application Testing Using Search Based Software Engineering
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Lawrence, Kansas, USA, 6th - 10th November 2011.
Pages 3-12.

Shin Yoo, Mark Harman and Shmuel Ur.
Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card
3rd International Symposium on Search Based Software Engineering (SSBSE 2011).
Szeged, Hungary, 10th-12th September 2011.
Pages 219-236.

Jian Ren, Mark Harman and Massimiliano Di Penta,
Cooperative Co-evolutionary Optimization on Software Project Staff Assignments and Job Scheduling
3rd International Symposium on Search Based Software Engineering (SSBSE 2011).
Szeged, Hungary, 10th-12th September 2011.
Page 127-141.

Mark Harman, Yue Jia and Bill Langdon.
Strong Higher Order Mutation-Based Test Data Generation
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2011).
Szeged, Hungary, 5th-9th September 2011.
Pages 212-222.

Shin Yoo, Robert Nilsson and Mark Harman.
Faster Fault Finding at Google using Multi Objective Regression Test Optimisation
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2011), Industry track.
Szeged, Hungary, 5th-9th September 2011.

Nicolas Gold, Jens Krinke, Mark Harman, David Binkley.
Cloning in Max/MSP Patches
Proceedings of International Computer Music Conference (ICMC 2011).
31st July - 5th August 2011, Huddersfield, UK.

Jungsup Oh, Mark Harman, and Shin Yoo.
Transition coverage testing for Simulink/Stateflow models using messy genetic algorithms
Genetic Algorithms and Evolutionary Computation COnference (GECCO 2011).
Dublin, Ireland, July 2011.
pages 1851-1858.

Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano and Zheng Li.
Model Projection: Simplifying Models in Response to Restricting the Environment
33rd international Conference on Software Engineering (ICSE 2011).
Honolulu, Hawaii, USA, May 2011.
Pages 291-300.

Mark Harman
Making the Case for MORTO: Multi Objective Regression Test Optimization
The 1st International Workshop on Regression Testing (Regression 2011).
Berlin, Germany, March 2011.

Mark Harman
Refactoring as Testability Transformation
Refactoring and Testing Workshop (RefTest 2011).
Berlin, Germany, March 2011.

Kiran Lakhotia, Nikolai Tillmann, Mark Harman and Jonathan de Halleux,
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
22nd IFIP International Conference on Testing Software and Systems (ICTSS 2010).
Natal, Brazil, 8th-10th November 2010.
Pages 142-157.

Mark Harman.
The Relationship between Search Based Software Engineering and Predictive Modeling (keynote paper)
6th International Conference on Predictive Models in Software Engineering (PROMISE 2010).
Timişoara, Romania, 12th-13th September 2010.
Article Number 1.

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

Kiran Lakhotia, Mark Harman and Hamilton Gross.
AUSTIN: A tool for Search Based Software Testing for the C Language and its Evaluation on Deployed Automotive Systems
2nd International Symposium on Search Based Software Engineering (SSBSE 2010).
Benevento, Italy, 7th-9th September 2010.
pages 101 - 110.

Yuanyuan Zhang and Mark Harman.
Search Based Optimization of Requirements Interaction Management
2nd International Symposium on Search Based Software Engineering (SSBSE 2010).
Benevento, Italy, 7th-9th September 2010.
Pages 47 - 56.

Phil McMinn, Mark Stevenson and Mark Harman.
Reducing Qualitative Human Oracle Costs associated with Automatically Generated Test Data
1st International Workshop on Software Test Output Validation (STOV 2010).
Trento, Italy, 13th July 2010.
Pages 1-4.

Yuanyuan Zhang, Enrique Alba, Juan J. Durillo, Sigrid Eldh and Mark Harman.
Today/future importance analysis
ACM Genetic and Evolutionary Computation COnference (GECCO 2010).
Portland Oregon, USA 7th-11th July 2010.
pages 1357-1364.

Syed S. Islam, Jens Krinke, David Binkley and Mark Harman.
Coherent dependence clusters
9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2010).
Toronto, Canada, 5th - 6th June 2010.
pages 53-60.

Nicolas Gold, Jens Krinke, Mark Harman, David Binkley.
Issues in Clone Classification for Dataflow Languages,
4th International Workshop on Software Clones (IWSC 2010).
Cape Town, SA, 8th May 2010.
pages 83-84.

Mark Harman, Bill Langdon, and Yue Jia.
A Manifesto for Higher Order Mutation Testing (keynote paper)
5th International Workshop on Mutation Analysis (Mutation 2010).
Paris, France, 6 April, 2010.

Ruilian Zhao, Mark Harman and Zheng Li.
Empirical study on the efficiency of search based test generation for EFSM models
3rd International Workshop on Search-Based Software Testing (SBST 2010).
Paris, France, 6 April, 2010.

Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn and Shin Yoo.
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem
3rd International Workshop on Search-Based Software Testing (SBST 2010).
Paris, France, 6 April, 2010.

Mark Harman.
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization (keynote paper)
Fundamental Approaches to Software Engineering (FASE 2010).
Paphos, Cyprus, 22nd - 26th March 2010.
pages 1-12.

Haoying (Connie) Bao, Nicolas Gold and Mark Harman.
Maintaining WS-BPEL Workflows Using Aspects
Business Process and Services Computing (BPSC 2009).
Leipzig, Germany, 23rd - 25th March 2009.
Pages 225-226.

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.
Pages 49-58.

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.

Bill 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

Cover of C++ 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

Book Chapters

Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza and Shin Yoo.
Search Based Software Engineering: Techniques, Taxonomy, Tutorial.
In Empirical software engineering and verification: LASER 2009-2010,
Editors: Bertrand Meyer and Martin Nordio.
Springer. To appear, 2012.

Mark Harman, Andre Baresel, David Binkley, Rob Hierons, Lin Hu, Bogdan Korel, Phil McMinn, and Marc Roper.
Testability Transformation - Program Transformation to Improve Testability.
In Formal Methods and Testing
Editors: Rob Hierons, Jonathan Bowen and Mark Harman.
Springer, LNCS 4949 2008.

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

Cover picture for EXE November 1998 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.

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


Cover picture for EXE December 1997 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

Picture of the Initial Screen 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.