| 2026 | ACL | EET: Experience-Driven Early Termination for Cost-Efficient Software Engineering Agents. | Yaoqi Guo, Ying Xiao, Jie M. Zhang, Mark Harman, Yiling Lou, Yang Liu, Zhenpeng Chen |
| 2026 | ACL | A Study of LLMs' Preferences for Libraries and Programming Languages. | Lukas Twist, Jie M. Zhang, Mark Harman, Don Syme, Joost Noppen, Helen Yannakoudakis, Detlef D. Nauck |
| 2025 | ACL | LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs. | Kaibo Liu, Zhenpeng Chen, Yiyang Liu, Jie M. Zhang, Mark Harman, Yudong Han, Yun Ma, Yihong Dong, Ge Li, Gang Huang |
| 2024 | EASE | The Role of Software Measurement in Assured LLM-Based Software Engineering. | Mark Harman |
| 2024 | ICSE | Enhancing Testing at Meta with Rich-State Simulated Populations. | Nadia Alshahwan, Arianna Blasi, Kinga Bojarczuk, Andrea Ciancone, Natalija Gucevska, Mark Harman, Michal Krlikowski, Rubmary Rojas, Dragos Martac, Simon Schellaert, Kate Ustiuzhanina, Inna Harper, Yue Jia, Will Lewis |
| 2024 | ICSE | Assured LLM-Based Software Engineering. | Nadia Alshahwan, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang |
| 2024 | ICSE | Fairness Improvement with Multiple Protected Attributes: How Far Are We? | Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman |
| 2023 | ICSE | Simulation-Driven Automated End-to-End Test and Oracle Inference. | Shreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiao-Yu Wang, Graham Wright |
| 2023 | ICST | Software Testing Research Challenges: An Industrial Perspective. | Nadia Alshahwan, Mark Harman, Alexandru Marginean |
| 2023 | ISSTA | Who Judges the Judge: An Empirical Study on Online Judge Tests. | Kaibo Liu, Yudong Han, Jie M. Zhang, Zhenpeng Chen, Federica Sarro, Mark Harman, Gang Huang, Yun Ma |
| 2022 | ICLR | Leveraging Automated Unit Tests for Unsupervised Code Translation. | Baptiste Rozire, Jie Zhang, Franois Charton, Mark Harman, Gabriel Synnaeve, Guillaume Lample |
| 2022 | ICSE | Improving Machine Translation Systems via Isotopic Replacement. | Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang |
| 2022 | ICSE | FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. | Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman |
| 2022 | ICSE | Message from the SEIP Chairs of ICSE 2022. | Mark Harman, Heather Miller |
| 2022 | ICST | FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. | Ke Mao, Timotej Kapus, Lambros Petrou, kos Hajdu, Matteo Marescotti, Andreas Lscher, Mark Harman, Dino Distefano |
| 2021 | EASE | Facebook's Cyber-Cyber and Cyber-Physical Digital Twins. | John Ahlgren, Kinga Bojarczuk, Sophia Drossopoulou, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Simon M. M. Lucas, Erik Meijer, Steve Omohundro, Rubmary Rojas, Silvia Sapora, Norm Zhou |
| 2021 | ESEM | Measurement Challenges for Cyber Cyber Digital Twins: Experiences from the Deployment of Facebook's WW Simulation System. | Kinga Bojarczuk, Natalija Gucevska, Simon M. M. Lucas, Inna Dvortsova, Mark Harman, Erik Meijer, Silvia Sapora, Johann George, Maria Lomeli, Rubmary Rojas |
| 2021 | ICSE | Testing Web Enabled Simulation at Scale Using Metamorphic Testing. | John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Erik Meijer, Silvia Sapora, Justin Spahr-Summers |
| 2021 | ICSE | Enhancing Genetic Improvement of Software with Regression Test Selection. | Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman |
| 2021 | ICSE | Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection. | Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman |
| 2021 | ICSE | MuDelta: Delta-Oriented Mutation Testing at Commit Time. | Wei Ma, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman |
| 2021 | ICSE | "Ignorance and Prejudice" in Software Fairness. | Jie M. Zhang, Mark Harman |
| 2020 | ICSE | WES: Agent-based User Interaction Simulation on Real Infrastructure. | John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Lmmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers |
| 2020 | ICSE | Automatic testing and improvement of machine translation. | Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang |
| 2019 | ICSE | SapFix: automated end-to-end repair at scale. | Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott |
| 2019 | ICST | An Empirical Comparison of Mutant Selection Assessment Metrics. | Jie M. Zhang, Lingming Zhang, Dan Hao, Lu Zhang, Mark Harman |
| 2019 | ISSTA | Some challenges for software testing research (invited talk paper). | Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin |
| 2018 | ESEM | Are mutants really natural?: a study on how "naturalness" helps mutant selection. | Matthieu Jimenez, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis, Marinos Kintis, Yves Le Traon, Mark Harman |
| 2018 | ISSTA | OASIs: oracle assessment and improvement tool. | Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella |
| 2018 | MSR | CROP: linking code reviews to source code changes. | Matheus Paixo, Jens Krinke, DongGyun Han, Mark Harman |
| 2018 | RE | Customer Rating Reactions Can Be Predicted Purely using App Features. | Federica Sarro, Mark Harman, Yue Jia, Yuanyuan Zhang |
| 2018 | SCAM | From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis. | Mark Harman, Peter W. O'Hearn |
| 2018 | SEFM | We Need a Testability Transformation Semantics. | Mark Harman |
| 2018 | SSBSE | Deploying Search Based Software Engineering with Sapienz at Facebook. | Nadia Alshahwan, Xinbo Gao, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Taijin Tei, Ilya Zorin |
| 2017 | ICSE | An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption. | Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon, Mark Harman |
| 2017 | ICSE | Search Based Software Testing for Android. | Mark Harman |
| 2017 | ICSE | Inferring Automatic Test Oracles. | William B. Langdon, Shin Yoo, Mark Harman |
| 2016 | ESEM | Clustering Mobile Apps Based on Mined Textual Features. | Afnan A. Al-Subaihin, Federica Sarro, Sue Black, Licia Capra, Mark Harman, Yue Jia, Yuanyuan Zhang |
| 2016 | GECCO | Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation NGS datasets and nVidia GPUs. | William B. Langdon, Albert Vilella, Brian Yee Hong Lam, Justyna Petke, Mark Harman |
| 2016 | ICSE | Mobile app and app store analysis, testing and optimisation. | Mark Harman, Afnan A. Al-Subaihin, Yue Jia, William J. Martin, Federica Sarro, Yuanyuan Zhang |
| 2016 | ICSE | Comparing white-box and black-box test prioritization. | Christopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon |
| 2016 | ICSE | Automated search for good coverage criteria: moving from code coverage to fault coverage through search-based software engineering. | Phil McMinn, Mark Harman, Gordon Fraser, Gregory M. Kapfhammer |
| 2016 | ICSE | Multi-objective software effort estimation. | Federica Sarro, Alessio Petrozziello, Mark Harman |
| 2016 | ISSTA | Mutation-aware fault prediction. | David Bowes, Tracy Hall, Mark Harman, Yue Jia, Federica Sarro, Fan Wu |
| 2016 | ISSTA | Test oracle assessment and improvement. | Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella |
| 2016 | ISSTA | Sapienz: multi-objective automated testing for Android applications. | Ke Mao, Mark Harman, Yue Jia |
| 2016 | ISSTA | Threats to the validity of mutation-based test assessment. | Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon |
| 2016 | SSBSE | API-Constrained Genetic Improvement. | William B. Langdon, David Robert White, Mark Harman, Yue Jia, Justyna Petke |
| 2016 | SSBSE | HOMI: Searching Higher Order Mutants for Software Improvement. | Fan Wu, Mark Harman, Yue Jia, Jens Krinke |
| 2015 | GECCO | Reducing Energy Consumption Using Genetic Improvement. | Bobby R. Bruce, Justyna Petke, Mark Harman |
| 2015 | GECCO | GI4GI: Improving Genetic Improvement Fitness Functions. | Mark Harman, Justyna Petke |
| 2015 | GECCO | Genetic Improvement using Higher Order Mutation. | Yue Jia, Fan Wu, Mark Harman, Jens Krinke |
| 2015 | GECCO | Grow and Graft a Better CUDA pknotsRG for RNA Pseudoknot Free Energy Calculation. | William B. Langdon, Mark Harman |
| 2015 | GECCO | Improving CUDA DNA Analysis Software with Genetic Programming. | William B. Langdon, Brian Yee Hong Lam, Justyna Petke, Mark Harman |
| 2015 | GECCO | Deep Parameter Optimisation. | Fan Wu, Westley Weimer, Mark Harman, Yue Jia, Jens Krinke |
| 2015 | ICSE | Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines. | Christopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon |
| 2015 | ICSE | Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search. | Yue Jia, Myra B. Cohen, Mark Harman, Justyna Petke |
| 2015 | ICSE | Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique. | Mike Papadakis, Yue Jia, Mark Harman, Yves Le Traon |
| 2015 | ICST | Achievements, Open Problems and Challenges for Search Based Software Testing. | Mark Harman, Yue Jia, Yuanyuan Zhang |
| 2015 | ICST | Mutation testing of memory-related operators. | Jay Nanavati, Fan Wu, Mark Harman, Yue Jia, Jens Krinke |
| 2015 | ISSTA | Automated software transplantation. | Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, Justyna Petke |
| 2015 | ISSTA | Empirical evaluation of pareto efficient multi-objective regression test case prioritisation. | Michael G. Epitropakis, Shin Yoo, Mark Harman, Edmund K. Burke |
| 2015 | MSR | The App Sampling Problem for App Store Mining. | William J. Martin, Mark Harman, Yue Jia, Federica Sarro, Yuanyuan Zhang |
| 2015 | RE | Feature lifecycles as they spread, migrate, remain, and die in App Stores. | Federica Sarro, Afnan A. Al-Subaihin, Mark Harman, Yue Jia, William J. Martin, Yuanyuan Zhang |
| 2015 | SCAM | ORBS and the limits of static slicing. | David W. Binkley, Nicolas E. Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo |
| 2015 | SSBSE | Regression Test Case Prioritisation for Guava. | Yi Bian, Serkan Kirbas, Mark Harman, Yue Jia, Zheng Li |
| 2015 | SSBSE | Grow and Serve: Growing Django Citation Services Using SBSE. | Yue Jia, Mark Harman, William B. Langdon, Alexandru Marginean |
| 2015 | SSBSE | SBSelector: Search Based Component Selection for Budget Hardware. | Lingbo Li, Mark Harman, Fan Wu, Yuanyuan Zhang |
| 2015 | SSBSE | Automated Transplantation of Call Graph and Layout Features into Kate. | Alexandru Marginean, Earl T. Barr, Mark Harman, Yue Jia |
| 2015 | SSBSE | Transformed Vargha-Delaney Effect Size. | Geoffrey Neumann, Mark Harman, Simon M. Poulding |
| 2015 | SSBSE | Multi-objective Module Clustering for Kate. | Matheus Paixo, Mark Harman, Yuanyuan Zhang |
| 2015 | SSBSE | Inferring Test Models from Kate's Bug Reports Using Multi-objective Search. | Yuanyuan Zhang, Mark Harman, Yue Jia, Federica Sarro |
| 2014 | EUROGP | Genetically Improved CUDA C++ Software. | William B. Langdon, Mark Harman |
| 2014 | EUROGP | Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class. | Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer |
| 2014 | GECCO | Improving 3D medical image registration CUDA software with genetic programming. | William B. Langdon, Marc Modat, Justyna Petke, Mark Harman |
| 2014 | GECCO | Robust next release problem: handling uncertainty during optimization. | Lingbo Li, Mark Harman, Emmanuel Letier, Yuanyuan Zhang |
| 2014 | GECCO | The executable experimental template pattern for the systematic comparison of metaheuristics: Extended Abstract. | Geoffrey Neumann, Jerry Swan, Mark Harman, John A. Clark |
| 2014 | ICSE | An analysis of the relationship between conditional entropy and failed error propagation in software testing. | Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman |
| 2014 | ICSE | Genetic improvement for adaptive software engineering (keynote). | Mark Harman, Yue Jia, William B. Langdon, Justyna Petke, Iman Hemati Moghadam, Shin Yoo, Fan Wu |
| 2014 | ICSE | A study of equivalent and stubborn mutation operators using human analysis of equivalence. | Xiangjuan Yao, Mark Harman, Yue Jia |
| 2014 | ISSTA | Coverage and fault detection of the output-uniqueness test selection criteria. | Nadia Alshahwan, Mark Harman |
| 2014 | SPLC | Search based software engineering for software product line engineering: a survey and directions for future work. | Mark Harman, Yue Jia, Jens Krinke, William B. Langdon, Justyna Petke, Yuanyuan Zhang |
| 2014 | SSBSE | Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences. | Haitao Dan, Mark Harman, Jens Krinke, Lingbo Li, Alexandru Marginean, Fan Wu |
| 2014 | SSBSE | Less is More: Temporal Fault Predictive Performance over Multiple Hadoop Releases. | Mark Harman, Syed S. Islam, Yue Jia, Leandro L. Minku, Federica Sarro, Komsan Srivisut |
| 2014 | SSBSE | Babel Pidgin: SBSE Can Grow and Graft Entirely New Functionality into a Real World System. | Mark Harman, Yue Jia, William B. Langdon |
| 2013 | GECCO | Software engineering: an ideal set of challenges for evolutionary computation. | Mark Harman |
| 2013 | ICSE | Not going to take this anymore: multi-objective overtime planning for software engineering projects. | Filomena Ferrucci, Mark Harman, Jian Ren, Federica Sarro |
| 2013 | ICSE | Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote). | Mark Harman, John A. Clark, Mel Cinnide |
| 2013 | ICSE | 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013). | Mark Harman, Richard F. Paige, James R. Williams |
| 2013 | ICSE | Pricing crowdsourcing-based software development tasks. | Ke Mao, Ye Yang, Mingshu Li, Mark Harman |
| 2013 | ICSE | Automated generation of state abstraction functions using data invariant inference. | Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, Mark Harman |
| 2013 | SSBSE | Applying Genetic Improvement to MiniSAT. | Justyna Petke, William B. Langdon, Mark Harman |
| 2013 | SSBSE | Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation. | Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, Shin Yoo, Mark Harman |
| 2012 | ESEM | Experimental assessment of software metrics using automated refactoring. | Mel Cinnide, Laurence Tratt, Mark Harman, Steve Counsell, Iman Hemati Moghadam |
| 2012 | ESEM | Dynamic adaptive search based software engineering. | Mark Harman, Edmund K. Burke, John A. Clark, Xin Yao |
| 2012 | ICSE | Augmenting test suites effectiveness by increasing output diversity. | Nadia Alshahwan, Mark Harman |
| 2012 | ICSE | The role of artificial intelligence in software engineering. | Mark Harman |
| 2012 | ICST | Crawlability Metrics for Web Applications. | Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella |
| 2012 | ICST | Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. | Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman |
| 2012 | ISSTA | State aware test case regeneration for improving web application test suite coverage and fault detection. | Nadia Alshahwan, Mark Harman |
| 2012 | MABS | Agent-Based Modelling of Stock Markets Using Existing Order Book Data. | Efstathios Panayi, Mark Harman, Anne Wetherilt |
| 2012 | MSR | App store mining and analysis: MSR for app stores. | Mark Harman, Yue Jia, Yuanyuan Zhang |
| 2012 | SSBSE | Optimised Realistic Test Input Generation Using Web Services. | Mustafa Bozkurt, Mark Harman |
| 2012 | TASE | Overview of TASE 2012 Talk on Search Based Software Engineering. | Mark Harman |
| 2011 | GECCO | Transition coverage testing for simulink/stateflow models using messy genetic algorithms. | Jungsup Oh, Mark Harman, Shin Yoo |
| 2011 | ICSE | Model projection: simplifying models in response to restricting the environment. | Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li |
| 2011 | ICST | Making the Case for MORTO: Multi Objective Regression Test Optimization. | Mark Harman |
| 2011 | ICST | Refactoring as Testability Transformation. | Mark Harman |
| 2011 | SSBSE | SBSE: Introduction and Motivation. | Mark Harman |
| 2011 | SSBSE | Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling. | Jian Ren, Mark Harman, Massimiliano Di Penta |
| 2011 | SSBSE | Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. | Shin Yoo, Mark Harman, Shmuel Ur |
| 2010 | CEC | Evolving a CUDA kernel from an nVidia template. | William B. Langdon, Mark Harman |
| 2010 | FASE | Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. | Mark Harman |
| 2010 | GECCO | Today/future importance analysis. | Yuanyuan Zhang, Enrique Alba, Juan Jos Durillo, Sigrid Eldh, Mark Harman |
| 2010 | ICST | A Manifesto for Higher Order Mutation Testing. | Mark Harman, Yue Jia, William B. Langdon |
| 2010 | ICST | Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem. | Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo |
| 2010 | ICST | Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models. | Ruilian Zhao, Mark Harman, Zheng Li |
| 2010 | SCAM | Why Source Code Analysis and Manipulation Will Always be Important. | Mark Harman |
| 2009 | FASE | Control Dependence for Extended Finite State Machines. | Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt |
| 2009 | GECCO | Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering. | Stefan Gueorguiev, Mark Harman, Giuliano Antoniol |
| 2009 | GECCO | Search based data sensitivity analysis applied to requirement engineering. | Mark Harman, Jens Krinke, Jian Ren, Shin Yoo |
| 2009 | GECCO | Multi objective higher order mutation testing with GP. | William B. Langdon, Mark Harman, Yue Jia |
| 2009 | ICST | Measuring and Improving Latency to Avoid Test Suite Wear Out. | Shin Yoo, Mark Harman, Shmuel Ur |
| 2009 | ISSTA | Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge. | Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi |
| 2009 | SCAM | Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. | David W. Binkley, Mark Harman |
| 2008 | GECCO | Handling dynamic data structures in search based testing. | Kiran Lakhotia, Mark Harman, Phil McMinn |
| 2008 | ICST | Open Problems in Testability Transformation. | Mark Harman |
| 2008 | ICST | Automated Session Data Repair for Web Application Regression Testing. | Mark Harman, Nadia Alshahwan |
| 2008 | RE | "Fairness Analysis" in Requirements Assignments. | Anthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang |
| 2008 | REFSQ | Search Based Requirements Optimisation: Existing Work and Challenges. | Yuanyuan Zhang, Anthony Finkelstein, Mark Harman |
| 2008 | SCAM | Evaluating Key Statements Analysis. | David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi |
| 2008 | SCAM | Constructing Subtle Faults Using Higher Order Mutation Testing. | Yue Jia, Mark Harman |
| 2007 | GECCO | Pareto optimal search based refactoring at the design level. | Mark Harman, Laurence Tratt |
| 2007 | GECCO | A multi-objective approach to search-based test data generation. | Kiran Lakhotia, Mark Harman, Phil McMinn |
| 2007 | GECCO | The multi-objective next release problem. | Yuanyuan Zhang, Mark Harman, S. Afshin Mansouri |
| 2007 | ICSE | The Current State and Future of Search Based Software Engineering. | Mark Harman |
| 2007 | ICSE | Automated Test Data Generation using Search Based Software Engineering. | Mark Harman |
| 2007 | ISSTA | A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. | Mark Harman, Phil McMinn |
| 2007 | ISSTA | Pareto efficient multi-objective test case selection. | Shin Yoo, Mark Harman |
| 2006 | GECCO | Search--based approaches to the component selection and prioritization problem. | Mark Harman, Alexandros Skaliotis, Kathleen Steinhfel, Paul Baker |
| 2006 | ICCS | Search Based Software Engineering. | Mark Harman |
| 2006 | ISSTA | The species per path approach to SearchBased test data generation. | Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella |
| 2006 | SCAM | Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. | David W. Binkley, Mark Harman, Jens Krinke |
| 2006 | SCAM | Stop-List Slicing. | Keith B. Gallagher, David W. Binkley, Mark Harman |
| 2005 | GECCO | Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
| 2005 | GECCO | An empirical study of the robustness of two module clustering fitness functions. | Mark Harman, Stephen Swift, Kiarash Mahdavi |
| 2005 | ISSRE | Data Dependence Based Testability Transformation in Automated Test Generation. | Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, Rajiv Gupta, Q. Zhang |
| 2005 | SCAM | Minimal Slicing and the Relationships Between Forms of Slicing. | David W. Binkley, Sebastian Danicic, Tibor Gyimthy, Mark Harman, kos Kiss, Bogdan Korel |
| 2005 | SCAM | Forward slices are smaller than backward slices. | David W. Binkley, Mark Harman |
| 2004 | GECCO | How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. | Konstantinos Adamopoulos, Mark Harman, Robert M. Hierons |
| 2004 | GECCO | Search-Based Techniques for Optimizing Software Project Resource Allocation. | Giuliano Antoniol, Massimiliano Di Penta, Mark Harman |
| 2004 | GECCO | Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
| 2004 | ICSE | Getting Results from Search-Based Approaches to Software Engineering. | Mark Harman, Joachim Wegener |
| 2004 | ISSTA | Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. | Andr Baresel, David W. Binkley, Mark Harman, Bogdan Korel |
| 2004 | SCAM | Formalizing Executable Dynamic and Forward Slicing. | David W. Binkley, Sebastian Danicic, Tibor Gyimthy, Mark Harman, kos Kiss, Lahcen Ouarbya |
| 2004 | SCAM | Evolving Transformation Sequences using Genetic Algorithms. | Deji Fatiregun, Mark Harman, Robert M. Hierons |
| 2004 | SCAM | Amorphous Procedure Extraction. | Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons |
| 2003 | GECCO | Search Based Transformations. | Deji Fatiregun, Mark Harman, Robert M. Hierons |
| 2003 | GECCO | Finding Building Blocks for Software Clustering. | Kiarash Mahdavi, Mark Harman, Robert M. Hierons |
| 2003 | ICSE | An Empirical Study of Predicate Dependence Levels and Trends. | David W. Binkley, Mark Harman |
| 2003 | SCAM | Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. | David W. Binkley, Mark Harman |
| 2002 | COMPSAC | FORTEST: Formal Methods and Testing. | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause |
| 2002 | COMPSAC | Slice-Based Dynamic Memory Modelling - A Case Study. | Yoga Sivagurunathan, Mark Harman, Bala Sivagurunathan |
| 2002 | GECCO | Improving Evolutionary Testing By Flag Removal. | Mark Harman, Lin Hu, Robert M. Hierons, Andr Baresel, Harmen Sthamer |
| 2002 | GECCO | A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. | Mark Harman, Robert M. Hierons, Mark Proctor |
| 2002 | SCAM | VADA: A Transformation-Based System for Variable Dependence Analysis. | Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener |
| 2002 | SCAM | An Interprocedural Amorphous Slicer for WSL. | Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya |
| 2002 | SCAM | Mechanized Operational Semantics of WSL. | Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu |
| 2001 | ICSE | SEMINAL: Software Engineering Using Metaheuristic INnovative Algorithms. | Mark Harman, Bryan F. Jones |
| 2000 | SAC | Espresso: A Slicer Generator. | Sebastian Danicic, Mark Harman |