Mark Harman

473 papers A* 30A 63B 29C 19Misc 2Journal 193Unranked 126
YearRankTypeTitle / Venue / Authors
2026 J jnl
AIware in the Foundation Model Era.
IEEE Softw.
Zhen Ming Jiang, Ahmed E. Hassan, Thomas Zimmermann, Mark Harman
2026 J jnl
Boosting LLMs for Mutation Generation.
CoRR
Bo Wang, Ming Deng, Mingda Chen, Chengran Yang, Youfang Lin, Mark Harman, Mike Papadakis, Jie M. Zhang
2026 J jnl
EET: Experience-Driven Early Termination for Cost-Efficient Software Engineering Agents.
CoRR
Yaoqi Guo, Ying Xiao, Jie M. Zhang, Mark Harman, Yiling Lou, Yang Liu, Zhenpeng Chen
2026 J jnl
Just-in-Time Catching Test Generation at Meta.
CoRR
Matthew Becker, Yifei Chen, Nicholas Cochran, Pouyan Ghasemi, Abhishek Gulati, Mark Harman, Zachary Haluza, Mehrdad Honarkhah, Hervé Robert, Jiacheng Liu, Weini Liu, Sreeja Thummala, Xiaoning Yang, Rui Xin, Sophie Zeng
2025 J jnl
An Empirical Study of the Non-Determinism of ChatGPT in Code Generation.
ACM Trans. Softw. Eng. Methodol.
Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang
2025 J jnl
Benchmarking LLMs for Unit Test Generation from Real-World Functions.
CoRR
Dong Huang, Jie M. Zhang, Mark Harman, Qianru Zhang, Mingzhe Du, See-Kiong Ng
2025 J jnl
Generative AI for Testing of Autonomous Driving Systems: A Survey.
CoRR
Qunying Song, He Ye, Mark Harman, Federica Sarro
2025 — conf
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges.
SIGSOFT FSE Companion
Mark Harman, Peter W. O'Hearn, Shubho Sengupta
2025 J jnl
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges.
CoRR
Mark Harman, Peter W. O'Hearn, Shubho Sengupta
2025 J jnl
HotBugs.jar: A Benchmark of Hot Fixes for Time-Critical Bugs.
CoRR
Carol Hanna, Federica Sarro, Mark Harman, Justyna Petke
2025 — conf
LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs.
ACL (1)
Kaibo Liu, Zhenpeng Chen, Yiyang Liu, Jie M. Zhang, Mark Harman, Yudong Han, Yun Ma, Yihong Dong, Ge Li, Gang Huang
2025 J jnl
LLMs Love Python: A Study of LLMs' Bias for Programming Languages and Libraries.
CoRR
Lukas Twist, Jie M. Zhang, Mark Harman, Don Syme, Joost Noppen, Detlef D. Nauck
2025 J jnl
Library Hallucinations in LLMs: Risk Analysis Grounded in Developer Queries.
CoRR
Lukas Twist, Jie M. Zhang, Mark Harman, Helen Yannakoudakis
2025 — conf
Mutation-Guided LLM-based Test Generation at Meta.
SIGSOFT FSE Companion
Mark Harman, Jillian Ritchey, Inna Harper, Shubho Sengupta, Ke Mao, Abhishek Gulati, Christopher Foster, Hervé Robert
2025 J jnl
Mutation-Guided LLM-based Test Generation at Meta.
CoRR
Christopher Foster, Abhishek Gulati, Mark Harman, Inna Harper, Ke Mao, Jillian Ritchey, Hervé Robert, Shubho Sengupta
2025 J jnl
Next-Generation Software Testing: AI-Powered Test Automation.
IEEE Softw.
Filippo Ricca, Boni García, Michel Nass, Mark Harman
2025 J jnl
Robustness evaluation of code generation systems via concretizing instructions.
Inf. Softw. Technol.
Ming Yan, Junjie Chen, Jie M. Zhang, Xuejie Cao, Chen Yang, Mark Harman
2025 J jnl
YATE: The Role of Test Repair in LLM-Based Unit Test Generation.
CoRR
Michael Konstantinou, Renzo Degiovanni, Jie M. Zhang, Mark Harman, Mike Papadakis
2024 — conf
Assured LLM-Based Software Engineering.
InteNSE
Nadia Alshahwan, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang
2024 J jnl
Assured LLM-Based Software Engineering.
CoRR
Nadia Alshahwan, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang
2024 — conf
Automated Unit Test Improvement using Large Language Models at Meta.
SIGSOFT FSE Companion
Nadia Alshahwan, Jubin Chheda, Anastasia Finogenova, Beliz Gokkaya, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang
2024 J jnl
Automated Unit Test Improvement using Large Language Models at Meta.
CoRR
Nadia Alshahwan, Jubin Chheda, Anastasia Finogenova, Beliz Gokkaya, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang
2024 — conf
Enhancing Testing at Meta with Rich-State Simulated Populations.
ICSE-SEIP
Nadia Alshahwan, Arianna Blasi, Kinga Bojarczuk, Andrea Ciancone, Natalija Gucevska, Mark Harman, Michal Królikowski, Rubmary Rojas, Dragos Martac, Simon Schellaert, Kate Ustiuzhanina, Inna Harper, Yue Jia, Will Lewis
2024 J jnl
Enhancing Testing at Meta with Rich-State Simulated Populations.
CoRR
Nadia Alshahwan, Arianna Blasi, Kinga Bojarczuk, Andrea Ciancone, Natalija Gucevska, Mark Harman, Simon Schellaert, Inna Harper, Yue Jia, Michal Królikowski, Will Lewis, Dragos Martac, Rubmary Rojas, Kate Ustiuzhanina
2024 A* conf
Fairness Improvement with Multiple Protected Attributes: How Far Are We?
ICSE
Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
2024 J jnl
Fairness Testing: A Comprehensive Survey and Analysis of Trends.
ACM Trans. Softw. Eng. Methodol.
Zhenpeng Chen, Jie M. Zhang, Max Hort, Mark Harman, Federica Sarro
2024 J jnl
Mutation analysis for evaluating code translation.
Empir. Softw. Eng.
Giovani Guizzo, Jie M. Zhang, Federica Sarro, Christoph Treude, Mark Harman
2024 — conf
Observation-Based Unit Test Generation at Meta.
SIGSOFT FSE Companion
Nadia Alshahwan, Mark Harman, Alexandru Marginean, Rotem Tal, Eddy Wang
2024 J jnl
Observation-based unit test generation at Meta.
CoRR
Nadia Alshahwan, Mark Harman, Alexandru Marginean, Rotem Tal, Eddy Wang
2024 J jnl
Rethinking the Influence of Source Code on Test Case Generation.
CoRR
Dong Huang, Jie M. Zhang, Mingzhe Du, Mark Harman, Heming Cui
2024 J jnl
Search-based Automatic Repair for Fairness and Accuracy in Decision-making Software.
Empir. Softw. Eng.
Max Hort, Jie M. Zhang, Federica Sarro, Mark Harman
2024 J jnl
Speeding Up Genetic Improvement via Regression Test Selection.
ACM Trans. Softw. Eng. Methodol.
Giovani Guizzo, David Williams, Mark Harman, Justyna Petke, Federica Sarro
2024 A* conf
The Importance of Accounting for Execution Failures when Predicting Test Flakiness.
ASE
Guillaume Haben, Sarra Habchi, John Micco, Mark Harman, Mike Papadakis, Maxime Cordy, Yves Le Traon
2024 A conf
The Role of Software Measurement in Assured LLM-Based Software Engineering.
EASE
Mark Harman
2023 J jnl
A Comprehensive Empirical Study of Bias Mitigation Methods for Machine Learning Classifiers.
ACM Trans. Softw. Eng. Methodol.
Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
2023 J jnl
An Empirical Study on Fairness Improvement with Multiple Protected Attributes.
CoRR
Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
2023 J jnl
COCO: Testing Code Generation Systems via Concretized Instructions.
CoRR
Ming Yan, Junjie Chen, Jie M. Zhang, Xuejie Cao, Chen Yang, Mark Harman
2023 J jnl
Inferring test models from user bug reports using multi-objective search.
Empir. Softw. Eng.
Giovani Guizzo, Francesco Califano, Federica Sarro, Filomena Ferrucci, Mark Harman
2023 — conf
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants.
ESEC/SIGSOFT FSE
Milos Ojdanic, Mike Papadakis, Mark Harman
2023 J jnl
LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation.
CoRR
Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang
2023 — conf
Large Language Models for Software Engineering: Survey and Open Problems.
ICSE-FoSE
Angela Fan, Beliz Gokkaya, Mark Harman, Mitya Lyubarskiy, Shubho Sengupta, Shin Yoo, Jie M. Zhang
2023 J jnl
Large Language Models for Software Engineering: Survey and Open Problems.
CoRR
Angela Fan, Beliz Gokkaya, Mark Harman, Mitya Lyubarskiy, Shubho Sengupta, Shin Yoo, Jie M. Zhang
2023 J jnl
Large Language Models in Fault Localisation.
CoRR
Yonghao Wu, Zheng Li, Jie M. Zhang, Mike Papadakis, Mark Harman, Yong Liu
2023 J jnl
Model validation using mutated training labels: An exploratory study.
Neurocomputing
Jie M. Zhang, Mark Harman, Benjamin Guedj, Earl T. Barr, John Shawe-Taylor
2023 — conf
Simulation-Driven Automated End-to-End Test and Oracle Inference.
ICSE-SEIP
Shreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiao-Yu Wang, Graham Wright
2023 J jnl
Simulation-Driven Automated End-to-End Test and Oracle Inference.
CoRR
Shreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiao-Yu Wang, Graham Wright
2023 A conf
Software Testing Research Challenges: An Industrial Perspective.
ICST
Nadia Alshahwan, Mark Harman, Alexandru Marginean
2023 A conf
Who Judges the Judge: An Empirical Study on Online Judge Tests.
ISSTA
Kaibo Liu, Yudong Han, Jie M. Zhang, Zhenpeng Chen, Federica Sarro, Mark Harman, Gang Huang, Yun Ma
2022 J jnl
A Comprehensive Empirical Study of Bias Mitigation Methods for Software Fairness.
CoRR
Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
2022 J jnl
A Survey of Performance Optimization for Mobile Applications.
IEEE Trans. Software Eng.
Max Hort, Maria Kechagia, Federica Sarro, Mark Harman
2022 J jnl
Bias Mitigation for Machine Learning Classifiers: A Comprehensive Survey.
CoRR
Max Hort, Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
2022 J jnl
Evaluating Automatic Program Repair Capabilities to Repair API Misuses.
IEEE Trans. Software Eng.
Maria Kechagia, Sergey Mechtaev, Federica Sarro, Mark Harman
2022 A conf
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp.
ICST
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
2022 J jnl
Fairness Testing: A Comprehensive Survey and Analysis of Trends.
CoRR
Zhenpeng Chen, Jie M. Zhang, Max Hort, Federica Sarro, Mark Harman
2022 A* conf
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment.
ICSE
Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman
2022 A* conf
Improving Machine Translation Systems via Isotopic Replacement.
ICSE
Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang
2022 J jnl
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants.
CoRR
Milos Ojdanic, Mike Papadakis, Mark Harman
2022 J jnl
Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates.
IEEE Trans. Software Eng.
Federica Sarro, Rebecca Moussa, Alessio Petrozziello, Mark Harman
2022 A* conf
Leveraging Automated Unit Tests for Unsupervised Code Translation.
ICLR
Baptiste Rozière, Jie Zhang, François Charton, Mark Harman, Gabriel Synnaeve, Guillaume Lample
2022 — conf
MAAT: a novel ensemble approach to addressing fairness and performance bugs for machine learning software.
ESEC/SIGSOFT FSE
Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
2022 J jnl
Machine Learning Testing: Survey, Landscapes and Horizons.
IEEE Trans. Software Eng.
Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu
2022 — conf
Message from the SEIP Chairs of ICSE 2022.
ICSE (SEIP)
Mark Harman, Heather Miller
2022 J jnl
Multi-Objective Software Effort Estimation: A Replication Study.
IEEE Trans. Software Eng.
Vali Tawosi, Federica Sarro, Alessio Petrozziello, Mark Harman
2022 — conf
Scaling Genetic Improvement and Automated Program Repair.
APR@ICSE
Mark Harman
2021 A* conf
"Ignorance and Prejudice" in Software Fairness.
ICSE
Jie M. Zhang, Mark Harman
2021 J jnl
A Study of Bug Resolution Characteristics in Popular Programming Languages.
IEEE Trans. Software Eng.
Jie M. Zhang, Feng Li, Dan Hao, Meng Wang, Hao Tang, Lu Zhang, Mark Harman
2021 J jnl
An Empirical Validation of Oracle Improvement.
IEEE Trans. Software Eng.
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
2021 J jnl
App Store Effects on Software Engineering Practices.
IEEE Trans. Software Eng.
Afnan A. Al-Subaihin, Federica Sarro, Sue Black, Licia Capra, Mark Harman
2021 — conf
Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection.
ICSE (Companion Volume)
Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman
2021 J jnl
Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing.
IEEE Trans. Software Eng.
Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia, Mark Harman
2021 A* conf
Enhancing Genetic Improvement of Software with Regression Test Selection.
ICSE
Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman
2021 A conf
Facebook's Cyber-Cyber and Cyber-Physical Digital Twins.
EASE
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 — conf
Fairea: a model behaviour mutation approach to benchmarking bias mitigation methods.
ESEC/SIGSOFT FSE
Max Hort, Jie M. Zhang, Federica Sarro, Mark Harman
2021 J jnl
Leveraging Automated Unit Tests for Unsupervised Code Translation.
CoRR
Baptiste Rozière, Jie M. Zhang, François Charton, Mark Harman, Gabriel Synnaeve, Guillaume Lample
2021 A conf
Measurement Challenges for Cyber Cyber Digital Twins: Experiences from the Deployment of Facebook's WW Simulation System.
ESEM
Kinga Bojarczuk, Natalija Gucevska, Simon M. M. Lucas, Inna Dvortsova, Mark Harman, Erik Meijer, Silvia Sapora, Johann George, Maria Lomeli, Rubmary Rojas
2021 A* conf
MuDelta: Delta-Oriented Mutation Testing at Commit Time.
ICSE
Wei Ma, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman
2021 J jnl
Multi-objective software performance optimisation at the architecture level using randomised search rules.
Inf. Softw. Technol.
Youcong Ni, Xin Du, Peng Ye, Leandro L. Minku, Xin Yao, Mark Harman, Ruliang Xiao
2021 — conf
Testing Web Enabled Simulation at Scale Using Metamorphic Testing.
ICSE (SEIP)
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 J jnl
The Assessor's Dilemma: Improving Bug Repair via Empirical Game Theory.
IEEE Trans. Software Eng.
Carlos Gavidia-Calderon, Federica Sarro, Mark Harman, Earl T. Barr
2021 J jnl
The Impact of Code Review on Architectural Changes.
IEEE Trans. Software Eng.
Matheus Paixão, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, Mark Harman
2020 J jnl
An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing.
IEEE Trans. Software Eng.
Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia, Mark Harman
2020 J jnl
An Empirical Study on Failed Error Propagation in Java Programs with Real Faults.
CoRR
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
2020 A* conf
Automatic testing and improvement of machine translation.
ICSE
Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang
2020 — conf
Cost measures matter for mutation testing study validity.
ESEC/SIGSOFT FSE
Giovani Guizzo, Federica Sarro, Mark Harman
2020 J jnl
FrUITeR - A Framework for Evaluating UI Test Reuse.
CoRR
Yixue Zhao, Justin Chen, Adriana Sejfia, Marcelo Schmitt Laser, Jie Zhang, Federica Sarro, Mark Harman, Nenad Medvidovic
2020 — conf
FrUITeR: a framework for evaluating UI test reuse.
ESEC/SIGSOFT FSE
Yixue Zhao, Justin Chen, Adriana Sejfia, Marcelo Schmitt Laser, Jie Zhang, Federica Sarro, Mark Harman, Nenad Medvidovic
2020 J jnl
Game-theoretic analysis of development practices: Challenges and opportunities.
J. Syst. Softw.
Carlos Gavidia-Calderon, Federica Sarro, Mark Harman, Earl T. Barr
2020 J jnl
Ownership at Large - Open Problems and Challenges in Ownership Management.
CoRR
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Shan He, Ralf Lämmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers
2020 A conf
Ownership at Large: Open Problems and Challenges in Ownership Management.
ICPC
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Shan He, Ralf Lämmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers
2020 — conf
WES: Agent-based User Interaction Simulation on Real Infrastructure.
ICSE (Workshops)
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Lämmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers
2020 J jnl
WES: Agent-based User Interaction Simulation on Real Infrastructure.
CoRR
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Lämmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers
2019 J jnl
A Survey of Constrained Combinatorial Testing.
CoRR
Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia, Mark Harman
2019 — conf
An Empirical Comparison of Mutant Selection Assessment Metrics.
ICST Workshops
Jie M. Zhang, Lingming Zhang, Dan Hao, Lu Zhang, Mark Harman
2019 J jnl
Approximate Oracles and Synergy in Software Energy Search Spaces.
IEEE Trans. Software Eng.
Bobby R. Bruce, Justyna Petke, Mark Harman, Earl T. Barr
2019 J jnl
Automatic Testing and Improvement of Machine Translation.
CoRR
Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang
2019 J jnl
Chapter Six - Mutation Testing Advances: An Analysis and Survey.
Adv. Comput.
Mike Papadakis, Marinos Kintis, Jie Zhang, Yue Jia, Yves Le Traon, Mark Harman
2019 J jnl
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. A Case Study on Mutation Testing and Program Repair.
CoRR
Maxime Cordy, Renaud Rwemalika, Mike Papadakis, Mark Harman
2019 J jnl
Machine Learning Testing: Survey, Landscapes and Horizons.
CoRR
Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu
2019 J jnl
Perturbed Model Validation: A New Framework to Validate Model Relevance.
CoRR
Jie M. Zhang, Earl T. Barr, Benjamin Guedj, Mark Harman, John Shawe-Taylor
2019 J jnl
Predictive Mutation Testing.
IEEE Trans. Software Eng.
Jie Zhang, Lingming Zhang, Mark Harman, Dan Hao, Yue Jia, Lu Zhang
2019 — conf
SapFix: automated end-to-end repair at scale.
ICSE (SEIP)
Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott
2019 A conf
Some challenges for software testing research (invited talk paper).
ISSTA
Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin
2019 J jnl
Sub-Turing Islands in the Wild.
CoRR
Earl T. Barr, David W. Binkley, Mark Harman, Mohamed Nassim Seghir
2019 — conf
The importance of accounting for real-world labelling when predicting software vulnerabilities.
ESEC/SIGSOFT FSE
Matthieu Jimenez, Renaud Rwemalika, Mike Papadakis, Federica Sarro, Yves Le Traon, Mark Harman
2018 J jnl
An Empirical Study of Cohesion and Coupling: Balancing Optimization and Disruption.
IEEE Trans. Evol. Comput.
Matheus Paixão, Mark Harman, Yuanyuan Zhang, Yijun Yu
2018 J jnl
An Empirical Study of Meta- and Hyper-Heuristic Search for Multi-Objective Release Planning.
ACM Trans. Softw. Eng. Methodol.
Yuanyuan Zhang, Mark Harman, Gabriela Ochoa, Guenther Ruhe, Sjaak Brinkkemper
2018 A conf
Are mutants really natural?: a study on how "naturalness" helps mutant selection.
ESEM
Matthieu Jimenez, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis, Marinos Kintis, Yves Le Traon, Mark Harman
2018 A conf
CROP: linking code reviews to source code changes.
MSR
Matheus Paixão, Jens Krinke, DongGyun Han, Mark Harman
2018 A conf
Customer Rating Reactions Can Be Predicted Purely using App Features.
RE
Federica Sarro, Mark Harman, Yue Jia, Yuanyuan Zhang
2018 B conf
Deploying Search Based Software Engineering with Sapienz at Facebook.
SSBSE
Nadia Alshahwan, Xinbo Gao, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Taijin Tei, Ilya Zorin
2018 J jnl
Detecting Trivial Mutant Equivalences via Compiler Optimisations.
IEEE Trans. Software Eng.
Marinos Kintis, Mike Papadakis, Yue Jia, Nicos Malevris, Yves Le Traon, Mark Harman
2018 C conf
From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis.
SCAM
Mark Harman, Peter W. O'Hearn
2018 J jnl
Genetic Improvement of Software: A Comprehensive Survey.
IEEE Trans. Evol. Comput.
Justyna Petke, Saemundur O. Haraldsson, Mark Harman, William B. Langdon, David Robert White, John R. Woodward
2018 J jnl
Indexing Operators to Extend the Reach of Symbolic Execution.
CoRR
Earl T. Barr, David Clark, Mark Harman, Alexandru Marginean
2018 A conf
OASIs: oracle assessment and improvement tool.
ISSTA
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
2018 A* ed.
Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018
ICSE
Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman
2018 — ed.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018
ICSE (Companion Volume)
Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman
2018 J jnl
Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation.
IEEE Trans. Software Eng.
Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer
2018 B conf
We Need a Testability Transformation Semantics.
SEFM
Mark Harman
2017 J jnl
A Survey of App Store Analysis for Software Engineering.
IEEE Trans. Software Eng.
William J. Martin, Federica Sarro, Yue Jia, Yuanyuan Zhang, Mark Harman
2017 J jnl
A survey of the use of crowdsourcing in software engineering.
J. Syst. Softw.
Ke Mao, Licia Capra, Mark Harman, Yue Jia
2017 J jnl
Adaptive Multi-Objective Evolutionary Algorithms for Overtime Planning in Software Projects.
IEEE Trans. Software Eng.
Federica Sarro, Filomena Ferrucci, Mark Harman, Alessandra Manna, Jian Ren
2017 A* conf
An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption.
ICSE
Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon, Mark Harman
2017 J jnl
An experimental search-based approach to cohesion metric evaluation.
Empir. Softw. Eng.
Mel Ó Cinnéide, Iman Hemati Moghadam, Mark Harman, Steve Counsell, Laurence Tratt
2017 A* conf
Are developers aware of the architectural impact of their changes?
ASE
Matheus Paixão, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, Mark Harman
2017 A* conf
Crowd intelligence enhances automated mobile testing.
ASE
Ke Mao, Mark Harman, Yue Jia
2017 — conf
Generalized observational slicing for tree-represented modelling languages.
ESEC/SIGSOFT FSE
Nicolas E. Gold, David W. Binkley, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo
2017 J jnl
Genetic improvement of GPU software.
Genet. Program. Evolvable Mach.
William B. Langdon, Brian Yee Hong Lam, Marc Modat, Justyna Petke, Mark Harman
2017 J jnl
Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis.
ACM Trans. Softw. Eng. Methodol.
Shin Yoo, Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, Mark Harman
2017 — conf
Inferring Automatic Test Oracles.
SBST@ICSE
William B. Langdon, Shin Yoo, Mark Harman
2017 J jnl
Investigating the relationship between price, rating, and popularity in the Blackberry World App Store.
Inf. Softw. Technol.
Anthony Finkelstein, Mark Harman, Yue Jia, William J. Martin, Federica Sarro, Yuanyuan Zhang
2017 J jnl
Memory mutation testing.
Inf. Softw. Technol.
Fan Wu, Jay Nanavati, Mark Harman, Yue Jia, Jens Krinke
2017 J jnl
Robotic Testing of Mobile Apps for Truly Black-Box Automation.
IEEE Softw.
Ke Mao, Mark Harman, Yue Jia
2017 J jnl
Search Based Software Engineering [Guest Editorial].
IEEE Comput. Intell. Mag.
He Jiang, Ke Tang, Justyna Petke, Mark Harman
2017 — conf
Search Based Software Testing for Android.
SBST@ICSE
Mark Harman
2017 J jnl
The Value of Exact Analysis in Requirements Selection.
IEEE Trans. Software Eng.
Lingbo Li, Mark Harman, Fan Wu, Yuanyuan Zhang
2016 B conf
API-Constrained Genetic Improvement.
SSBSE
William B. Langdon, David Robert White, Mark Harman, Yue Jia, Justyna Petke
2016 A* conf
An empirical study on dependence clusters for effort-aware fault-proneness prediction.
ASE
Yibiao Yang, Mark Harman, Jens Krinke, Syed S. Islam, David W. Binkley, Yuming Zhou, Baowen Xu
2016 — conf
Automated search for good coverage criteria: moving from code coverage to fault coverage through search-based software engineering.
SBST@ICSE
Phil McMinn, Mark Harman, Gordon Fraser, Gregory M. Kapfhammer
2016 — conf
Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation NGS datasets and nVidia GPUs.
GECCO (Companion)
William B. Langdon, Albert Vilella, Brian Yee Hong Lam, Justyna Petke, Mark Harman
2016 — conf
Causal impact analysis for app releases in google play.
SIGSOFT FSE
William J. Martin, Federica Sarro, Mark Harman
2016 A conf
Clustering Mobile Apps Based on Mined Textual Features.
ESEM
Afnan A. Al-Subaihin, Federica Sarro, Sue Black, Licia Capra, Mark Harman, Yue Jia, Yuanyuan Zhang
2016 A* conf
Comparing white-box and black-box test prioritization.
ICSE
Christopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon
2016 J jnl
Evaluation of estimation models using the Minimum Interval of Equivalence.
Appl. Soft Comput.
José Javier Dolado, Daniel Rodríguez, Mark Harman, William B. Langdon, Federica Sarro
2016 J jnl
Exact Mean Absolute Error of Baseline Predictor, MARP0.
Inf. Softw. Technol.
William B. Langdon, José Javier Dolado, Federica Sarro, Mark Harman
2016 B conf
HOMI: Searching Higher Order Mutants for Software Improvement.
SSBSE
Fan Wu, Mark Harman, Yue Jia, Jens Krinke
2016 — conf
Mobile app and app store analysis, testing and optimisation.
MOBILESoft
Mark Harman, Afnan A. Al-Subaihin, Yue Jia, William J. Martin, Federica Sarro, Yuanyuan Zhang
2016 A* conf
Multi-objective software effort estimation.
ICSE
Federica Sarro, Alessio Petrozziello, Mark Harman
2016 A conf
Mutation-aware fault prediction.
ISSTA
David Bowes, Tracy Hall, Mark Harman, Yue Jia, Federica Sarro, Fan Wu
2016 A conf
Sapienz: multi-objective automated testing for Android applications.
ISSTA
Ke Mao, Mark Harman, Yue Jia
2016 A conf
Test oracle assessment and improvement.
ISSTA
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
2016 A conf
Threats to the validity of mutation-based test assessment.
ISSTA
Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon
2015 A conf
Achievements, Open Problems and Challenges for Search Based Software Testing.
ICST
Mark Harman, Yue Jia, Yuanyuan Zhang
2015 J jnl
An Integer Linear Programming approach to the single and bi-objective Next Release Problem.
Inf. Softw. Technol.
Nadarajen Veerapen, Gabriela Ochoa, Mark Harman, Edmund K. Burke
2015 — conf
App store mining and analysis.
DeMobile@SIGSOFT FSE
Afnan A. Al-Subaihin, Anthony Finkelstein, Mark Harman, Yue Jia, William J. Martin, Federica Sarro, Yuanyuan Zhang
2015 B conf
Automated Transplantation of Call Graph and Layout Features into Kate.
SSBSE
Alexandru Marginean, Earl T. Barr, Mark Harman, Yue Jia
2015 A conf
Automated software transplantation.
ISSTA
Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, Justyna Petke
2015 — conf
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines.
ICSE (1)
Christopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon
2015 A conf
Deep Parameter Optimisation.
GECCO
Fan Wu, Westley Weimer, Mark Harman, Yue Jia, Jens Krinke
2015 — conf
Developer Recommendation for Crowdsourced Software Development Tasks.
SOSE
Ke Mao, Ye Yang, Qing Wang, Yue Jia, Mark Harman
2015 A conf
Empirical evaluation of pareto efficient multi-objective regression test case prioritisation.
ISSTA
Michael G. Epitropakis, Shin Yoo, Mark Harman, Edmund K. Burke
2015 A conf
Feature lifecycles as they spread, migrate, remain, and die in App Stores.
RE
Federica Sarro, Afnan A. Al-Subaihin, Mark Harman, Yue Jia, William J. Martin, Yuanyuan Zhang
2015 — conf
GI4GI: Improving Genetic Improvement Fitness Functions.
GECCO (Companion)
Mark Harman, Justyna Petke
2015 — conf
Genetic Improvement using Higher Order Mutation.
GECCO (Companion)
Yue Jia, Fan Wu, Mark Harman, Jens Krinke
2015 — conf
Grow and Graft a Better CUDA pknotsRG for RNA Pseudoknot Free Energy Calculation.
GECCO (Companion)
William B. Langdon, Mark Harman
2015 B conf
Grow and Serve: Growing Django Citation Services Using SBSE.
SSBSE
Yue Jia, Mark Harman, William B. Langdon, Alexandru Marginean
2015 A conf
Improving CUDA DNA Analysis Software with Genetic Programming.
GECCO
William B. Langdon, Brian Yee Hong Lam, Justyna Petke, Mark Harman
2015 B conf
Inferring Test Models from Kate's Bug Reports Using Multi-objective Search.
SSBSE
Yuanyuan Zhang, Mark Harman, Yue Jia, Federica Sarro
2015 J jnl
Introduction to the Special Issue on ISSTA 2013.
ACM Trans. Softw. Eng. Methodol.
Mark Harman, Mauro Pezzè
2015 J jnl
Introduction to the special issue on Mutation Testing.
Softw. Test. Verification Reliab.
Yue Jia, Mercedes G. Merayo, Mark Harman
2015 — conf
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search.
ICSE (1)
Yue Jia, Myra B. Cohen, Mark Harman, Justyna Petke
2015 B conf
Multi-objective Module Clustering for Kate.
SSBSE
Matheus Paixão, Mark Harman, Yuanyuan Zhang
2015 — conf
Mutation testing of memory-related operators.
ICST Workshops
Jay Nanavati, Fan Wu, Mark Harman, Yue Jia, Jens Krinke
2015 C conf
ORBS and the limits of static slicing.
SCAM
David W. Binkley, Nicolas E. Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo
2015 J jnl
Optimizing Existing Software With Genetic Programming.
IEEE Trans. Evol. Comput.
William B. Langdon, Mark Harman
2015 J jnl
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection.
IEEE Trans. Software Eng.
Justyna Petke, Myra B. Cohen, Mark Harman, Shin Yoo
2015 — ed.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015
ESEC/SIGSOFT FSE
Elisabetta Di Nitto, Mark Harman, Patrick Heymans
2015 A conf
Reducing Energy Consumption Using Genetic Improvement.
GECCO
Bobby R. Bruce, Justyna Petke, Mark Harman
2015 B conf
Regression Test Case Prioritisation for Guava.
SSBSE
Yi Bian, Serkan Kirbas, Mark Harman, Yue Jia, Zheng Li
2015 B conf
SBSelector: Search Based Component Selection for Budget Hardware.
SSBSE
Lingbo Li, Mark Harman, Fan Wu, Yuanyuan Zhang
2015 J jnl
Search Based Software Engineering (SBSE).
J. Syst. Softw.
Mark Harman, Francisco Chicano
2015 A conf
The App Sampling Problem for App Store Mining.
MSR
William J. Martin, Mark Harman, Yue Jia, Federica Sarro, Yuanyuan Zhang
2015 J jnl
The Oracle Problem in Software Testing: A Survey.
IEEE Trans. Software Eng.
Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo
2015 B conf
Transformed Vargha-Delaney Effect Size.
SSBSE
Geoffrey Neumann, Mark Harman, Simon M. Poulding
2015 — conf
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique.
ICSE (1)
Mike Papadakis, Yue Jia, Mark Harman, Yves Le Traon
2014 — ed.
7th International Workshop on Search-Based Software Testing, SBST 2014, Hyderabad, India, June 2, 2014
SBST
Phil McMinn, Mark Harman
2014 A* conf
A study of equivalent and stubborn mutation operators using human analysis of equivalence.
ICSE
Xiangjuan Yao, Mark Harman, Yue Jia
2014 A* conf
An analysis of the relationship between conditional entropy and failed error propagation in software testing.
ICSE
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
2014 A* conf
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation.
ASE
Mark Harman, Yue Jia, Pedro Reales Mateo, Macario Polo
2014 B conf
Babel Pidgin: SBSE Can Grow and Graft Entirely New Functionality into a Real World System.
SSBSE
Mark Harman, Yue Jia, William B. Langdon
2014 J jnl
Coherent clusters in source code.
J. Syst. Softw.
Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman
2014 A conf
Coverage and fault detection of the output-uniqueness test selection criteria.
ISSTA
Nadia Alshahwan, Mark Harman
2014 J jnl
Equivalence hypothesis testing in experimental software engineering.
Softw. Qual. J.
José Javier Dolado, Mari Carmen Otero, Mark Harman
2014 J jnl
Exact scalable sensitivity analysis for the next release problem.
ACM Trans. Softw. Eng. Methodol.
Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren, Shin Yoo
2014 — conf
FITTEST: A new continuous and automated testing process for future Internet applications.
CSMR-WCRE
Tanja E. J. Vos, Paolo Tonella, Wishnu Prasetya, Peter M. Kruse, Alessandra Bagnato, Mark Harman, Onn Shehory
2014 A conf
Genetic improvement for adaptive software engineering (keynote).
SEAMS
Mark Harman, Yue Jia, William B. Langdon, Justyna Petke, Iman Hemati Moghadam, Shin Yoo, Fan Wu
2014 B conf
Genetically Improved CUDA C++ Software.
EuroGP
William B. Langdon, Mark Harman
2014 A conf
Improving 3D medical image registration CUDA software with genetic programming.
GECCO
William B. Langdon, Marc Modat, Justyna Petke, Mark Harman
2014 B conf
Less is More: Temporal Fault Predictive Performance over Multiple Hadoop Releases.
SSBSE
Mark Harman, Syed S. Islam, Yue Jia, Leandro L. Minku, Federica Sarro, Komsan Srivisut
2014 — conf
ORBS: language-independent program slicing.
SIGSOFT FSE
David W. Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo
2014 B conf
Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences.
SSBSE
Haitao Dan, Mark Harman, Jens Krinke, Lingbo Li, Alexandru Marginean, Fan Wu
2014 A conf
Robust next release problem: handling uncertainty during optimization.
GECCO
Lingbo Li, Mark Harman, Emmanuel Letier, Yuanyuan Zhang
2014 B conf
Search based software engineering for software product line engineering: a survey and directions for future work.
SPLC
Mark Harman, Yue Jia, Jens Krinke, William B. Langdon, Justyna Petke, Yuanyuan Zhang
2014 — ch.
Search-Based Software Project Management.
Software Project Management in a Changing World
Filomena Ferrucci, Mark Harman, Federica Sarro
2014 — conf
The executable experimental template pattern for the systematic comparison of metaheuristics: Extended Abstract.
GECCO (Companion)
Geoffrey Neumann, Jerry Swan, Mark Harman, John A. Clark
2014 — conf
The plastic surgery hypothesis.
SIGSOFT FSE
Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro
2014 B conf
Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class.
EuroGP
Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer
2013 — ed.
1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013
CMSBSE@ICSE
Richard F. Paige, Mark Harman, James R. Williams
2013 A* conf
1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013).
ICSE
Mark Harman, Richard F. Paige, James R. Williams
2013 J jnl
AUSTIN: An open source tool for search based software testing of C programs.
Inf. Softw. Technol.
Kiran Lakhotia, Mark Harman, Hamilton Gross
2013 J jnl
Amorphous Slicing of Extended Finite State Machines.
IEEE Trans. Software Eng.
Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt
2013 J jnl
An orchestrated survey of methodologies for automated software test case generation.
J. Syst. Softw.
Saswat Anand, Edmund K. Burke, Tsong Yueh Chen, John A. Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn
2013 B conf
Applying Genetic Improvement to MiniSAT.
SSBSE
Justyna Petke, William B. Langdon, Mark Harman
2013 — conf
Automated generation of state abstraction functions using data invariant inference.
AST@ICSE
Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, Mark Harman
2013 J jnl
Cloud engineering is Search Based Software Engineering too.
J. Syst. Softw.
Mark Harman, Kiran Lakhotia, Jeremy Singer, David Robert White, Shin Yoo
2013 — conf
Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote).
WETSoM
Mark Harman, John A. Clark, Mel Ó Cinnéide
2013 J jnl
Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011).
Softw. Test. Verification Reliab.
Mark Harman, Bogdan Korel
2013 J jnl
Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011).
Softw. Test. Verification Reliab.
Mark Harman, Bogdan Korel
2013 — conf
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing.
ESEC/SIGSOFT FSE
Justyna Petke, Shin Yoo, Myra B. Cohen, Mark Harman
2013 J jnl
Efficient Identification of Linchpin Vertices in Dependence Clusters.
ACM Trans. Program. Lang. Syst.
David W. Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Zheng Li
2013 — conf
Empirical answers to fundamental software engineering problems (panel).
ESEC/SIGSOFT FSE
Bertrand Meyer, Harald C. Gall, Mark Harman, Giancarlo Succi
2013 J jnl
Empirical evaluation of search based requirements interaction management.
Inf. Softw. Technol.
Yuanyuan Zhang, Mark Harman, Soo Ling Lim
2013 J jnl
Fault localization prioritization: Comparing information-theoretic and coverage-based approaches.
ACM Trans. Softw. Eng. Methodol.
Shin Yoo, Mark Harman, David Clark
2013 J jnl
Foreword to the invited impact paper on automatic software repair.
Softw. Qual. J.
Mark Harman
2013 J jnl
GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards.
Empir. Softw. Eng.
Shin Yoo, Mark Harman, Shmuel Ur
2013 — conf
Genetic programming for Reverse Engineering.
WCRE
Mark Harman, William B. Langdon, Westley Weimer
2013 A ed.
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013
ISSTA
Mauro Pezzè, Mark Harman
2013 A* conf
Not going to take this anymore: multi-objective overtime planning for software engineering projects.
ICSE
Filomena Ferrucci, Mark Harman, Jian Ren, Federica Sarro
2013 A* conf
Pricing crowdsourcing-based software development tasks.
ICSE
Ke Mao, Ye Yang, Mingshu Li, Mark Harman
2013 B conf
Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation.
SSBSE
Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, Shin Yoo, Mark Harman
2013 — conf
Searching for better configurations: a rigorous approach to clone evaluation.
ESEC/SIGSOFT FSE
Tiantian Wang, Mark Harman, Yue Jia, Jens Krinke
2013 — conf
Software engineering: an ideal set of challenges for evolutionary computation.
GECCO (Companion)
Mark Harman
2013 J jnl
State-based model slicing: A survey.
ACM Comput. Surv.
Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt
2013 J jnl
Testing and verification in service-oriented architecture: a survey.
Softw. Test. Verification Reliab.
Mustafa Bozkurt, Mark Harman, Youssef Hassoun
2013 — conf
The FITTEST Tool Suite for Testing Future Internet Applications.
FITTEST@ICTSS
Tanja E. J. Vos, Paolo Tonella, I. S. Wishnu B. Prasetya, Peter M. Kruse, Onn Shehory, Alessandra Bagnato, Mark Harman
2013 J jnl
Using Genetic Programming to Model Software.
CoRR
William B. Langdon, Mark Harman
2012 C conf
Agent-Based Modelling of Stock Markets Using Existing Order Book Data.
MABS
Efstathios Panayi, Mark Harman, Anne Wetherilt
2012 A conf
App store mining and analysis: MSR for app stores.
MSR
Mark Harman, Yue Jia, Yuanyuan Zhang
2012 A* conf
Augmenting test suites effectiveness by increasing output diversity.
ICSE
Nadia Alshahwan, Mark Harman
2012 A conf
Crawlability Metrics for Web Applications.
ICST
Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella
2012 A conf
Dynamic adaptive search based software engineering.
ESEM
Mark Harman, Edmund K. Burke, John A. Clark, Xin Yao
2012 J jnl
Evolutionary testing of autonomous software agents.
Auton. Agents Multi Agent Syst.
Cu D. Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman, Michael Luck
2012 A conf
Experimental assessment of software metrics using automated refactoring.
ESEM
Mel Ó Cinnéide, Laurence Tratt, Mark Harman, Steve Counsell, Iman Hemati Moghadam
2012 A conf
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs.
ICST
Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman
2012 J jnl
Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation.
IEEE Trans. Software Eng.
Phil McMinn, Mark Harman, Kiran Lakhotia, Youssef Hassoun, Joachim Wegener
2012 B conf
Optimised Realistic Test Input Generation Using Web Services.
SSBSE
Mustafa Bozkurt, Mark Harman
2012 Misc conf
Overview of TASE 2012 Talk on Search Based Software Engineering.
TASE
Mark Harman
2012 J jnl
Regression test suite prioritization using system models.
Softw. Test. Verification Reliab.
Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural
2012 J jnl
Regression testing minimization, selection and prioritization: a survey.
Softw. Test. Verification Reliab.
Shin Yoo, Mark Harman
2012 J jnl
Search-based software engineering: Trends, techniques and applications.
ACM Comput. Surv.
Mark Harman, S. Afshin Mansouri, Yuanyuan Zhang
2012 A conf
State aware test case regeneration for improving web application test suite coverage and fault detection.
ISSTA
Nadia Alshahwan, Mark Harman
2012 J jnl
Test data regeneration: generating new test data from existing test data.
Softw. Test. Verification Reliab.
Shin Yoo, Mark Harman
2012 A* conf
The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper).
ASE
Mark Harman, William B. Langdon, Yue Jia, David Robert White, Andrea Arcuri, John A. Clark
2012 — conf
The role of artificial intelligence in software engineering.
RAISE@ICSE
Mark Harman
2011 J jnl
A study of the bi-objective next release problem.
Empir. Softw. Eng.
Juan José Durillo, Yuanyuan Zhang, Enrique Alba, Mark Harman, Antonio J. Nebro
2011 J jnl
A unifying theory of control dependence and its application to arbitrary program structures.
Theor. Comput. Sci.
Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss, Michael R. Laurence
2011 J jnl
An Analysis and Survey of the Development of Mutation Testing.
IEEE Trans. Software Eng.
Yue Jia, Mark Harman
2011 A* conf
Automated web application testing using search based software engineering.
ASE
Nadia Alshahwan, Mark Harman
2011 — conf
Automatically generating realistic test input from web services.
SOSE
Mustafa Bozkurt, Mark Harman
2011 — conf
Cloning in Max/MSP Patches.
ICMC
Nicolas Gold, Jens Krinke, Mark Harman, David W. Binkley
2011 J jnl
Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation.
Inf. Softw. Technol.
Yuanyuan Zhang, Mark Harman, Anthony Finkelstein, S. Afshin Mansouri
2011 B conf
Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling.
SSBSE
Jian Ren, Mark Harman, Massimiliano Di Penta
2011 J jnl
Crawlability metrics for automated web testing.
Int. J. Softw. Tools Technol. Transf.
Alessandro Marchetto, Roberto Tiella, Paolo Tonella, Nadia Alshahwan, Mark Harman
2011 J jnl
FlagRemover: A testability transformation for transforming loop-assigned flags.
ACM Trans. Softw. Eng. Methodol.
David W. Binkley, Mark Harman, Kiran Lakhotia
2011 — conf
Formal Concept Analysis on Graphics Hardware.
CLA
William B. Langdon, Shin Yoo, Mark Harman
2011 — conf
Future Internet Testing with FITTEST.
CSMR
Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder
2011 B conf
Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards.
SSBSE
Shin Yoo, Mark Harman, Shmuel Ur
2011 — conf
Making the Case for MORTO: Multi Objective Regression Test Optimization.
ICST Workshops
Mark Harman
2011 A* conf
Model projection: simplifying models in response to restricting the environment.
ICSE
Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li
2011 — conf
Refactoring as Testability Transformation.
ICST Workshops
Mark Harman
2011 B conf
SBSE: Introduction and Motivation.
SSBSE
Mark Harman
2011 J jnl
Software Engineering Meets Evolutionary Computation.
Computer
Mark Harman
2011 J jnl
Software Module Clustering as a Multi-Objective Search Problem.
IEEE Trans. Software Eng.
Kata Praditwong, Mark Harman, Xin Yao
2011 — conf
Strong higher order mutation-based test data generation.
SIGSOFT FSE
Mark Harman, Yue Jia, William B. Langdon
2011 A* conf
Symbolic search-based testing.
ASE
Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos
2011 J jnl
The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study.
Softw. Pract. Exp.
Massimiliano Di Penta, Mark Harman, Giuliano Antoniol
2011 A conf
Transition coverage testing for simulink/stateflow models using messy genetic algorithms.
GECCO
Jungsup Oh, Mark Harman, Shin Yoo
2010 — conf
10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors.
Practical Software Testing: Tool Automation and Human Factors
Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
2010 — conf
10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors.
Practical Software Testing: Tool Automation and Human Factors
Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
2010 — conf
A Manifesto for Higher Order Mutation Testing.
ICST Workshops
Mark Harman, Yue Jia, William B. Langdon
2010 J jnl
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search.
IEEE Trans. Software Eng.
Mark Harman, Phil McMinn
2010 J jnl
A trajectory-based strict semantics for program slicing.
Theor. Comput. Sci.
Richard W. Barraclough, David W. Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya
2010 J jnl
An alternative characterization of weak order dependence.
Inf. Process. Lett.
Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li
2010 J jnl
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN.
J. Syst. Softw.
Kiran Lakhotia, Phil McMinn, Mark Harman
2010 J jnl
Assessing the impact of global variables on program dependence and dependence clusters.
J. Syst. Softw.
David W. Binkley, Mark Harman, Youssef Hassoun, Syed S. Islam, Zheng Li
2010 J jnl
Automated patching techniques: the fix is in: technical perspective.
Commun. ACM
Mark Harman
2010 — conf
Coherent dependence clusters.
PASTE
Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman
2010 J jnl
Efficient multi-objective higher order mutation testing with genetic programming.
J. Syst. Softw.
William B. Langdon, Mark Harman, Yue Jia
2010 — conf
Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models.
ICST Workshops
Ruilian Zhao, Mark Harman, Zheng Li
2010 J jnl
Estimating the feasibility of transition paths in extended finite state machines.
Autom. Softw. Eng.
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2010 B conf
Evolving a CUDA kernel from an nVidia template.
IEEE Congress on Evolutionary Computation
William B. Langdon, Mark Harman
2010 C conf
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.
ICTSS
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux
2010 — conf
Issues in clone classification for dataflow languages.
IWSC
Nicolas Gold, Jens Krinke, Mark Harman, David W. Binkley
2010 — conf
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.
ICST Workshops
Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo
2010 — ed.
Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010
Practical Software Testing: Tool Automation and Human Factors
Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
2010 J jnl
Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering.
IEEE Trans. Software Eng.
Mark Harman, S. Afshin Mansouri
2010 — conf
Search Based Software Engineering: Techniques, Taxonomy, Tutorial.
LASER Summer School
Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo
2010 — conf
The relationship between search based software engineering and predictive modeling.
PROMISE
Mark Harman
2010 A conf
Today/future importance analysis.
GECCO
Yuanyuan Zhang, Enrique Alba, Juan José Durillo, Sigrid Eldh, Mark Harman
2010 J jnl
Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation.
J. Syst. Softw.
Shin Yoo, Mark Harman
2010 C conf
Why Source Code Analysis and Manipulation Will Always be Important.
SCAM
Mark Harman
2010 B conf
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.
FASE
Mark Harman
2009 J jnl
A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making.
Requir. Eng.
Anthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang
2009 — conf
A theoretical and empirical study of EFSM dependence.
ICSM
Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt
2009 — conf
Automated test data generation for aspect-oriented programs.
AOSD
Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler
2009 A conf
Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge.
ISSTA
Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi
2009 B conf
Control Dependence for Extended Finite State Machines.
FASE
Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt
2009 J jnl
Dependence clusters in source code.
ACM Trans. Program. Lang. Syst.
Mark Harman, David W. Binkley, Keith B. Gallagher, Nicolas Gold, Jens Krinke
2009 J jnl
Empirical evaluation of a nesting testability transformation for evolutionary testing.
ACM Trans. Softw. Eng. Methodol.
Phil McMinn, David W. Binkley, Mark Harman
2009 — conf
Evolutionary testing of autonomous software agents.
AAMAS (1)
Cu D. Nguyen, Anna Perini, Paolo Tonella, Simon Miles, Mark Harman, Michael Luck
2009 J jnl
Higher Order Mutation Testing.
Inf. Softw. Technol.
Yue Jia, Mark Harman
2009 C conf
Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters.
SCAM
David W. Binkley, Mark Harman
2009 — conf
Improving Web Application Testing using testability measures.
WSE
Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Paolo Tonella
2009 — conf
Maintaining WS-BPEL Workflows Using Aspects.
BPSC
Connie Haoying Bao, Nicolas Gold, Mark Harman
2009 — conf
Measuring and Improving Latency to Avoid Test Suite Wear Out.
ICST Workshops
Shin Yoo, Mark Harman, Shmuel Ur
2009 A conf
Multi objective higher order mutation testing with GP.
GECCO
William B. Langdon, Mark Harman, Yue Jia
2009 A conf
Search based data sensitivity analysis applied to requirement engineering.
GECCO
Mark Harman, Jens Krinke, Jian Ren, Shin Yoo
2009 A conf
Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering.
GECCO
Stefan Gueorguiev, Mark Harman, Giuliano Antoniol
2009 J jnl
TAIC PART 2007 and Mutation 2007 special issue editorial.
J. Syst. Softw.
Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John A. Clark
2009 — conf
The SBSE Approach to Automated Optimization of Verification and Testing.
Haifa Verification Conference
Mark Harman
2009 J jnl
Using formal specifications to support testing.
ACM Comput. Surv.
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
2008 A conf
"Fairness Analysis" in Requirements Assignments.
RE
Anthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang
2008 J jnl
An empirical study of the relationship between the concepts expressed in source code and dependence.
J. Syst. Softw.
David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi
2008 — conf
Analysis of Procedure Splitability.
WCRE
Tao Jiang, Mark Harman, Youssef Hassoun
2008 A conf
Automated Session Data Repair for Web Application Regression Testing.
ICST
Mark Harman, Nadia Alshahwan
2008 C conf
Constructing Subtle Faults Using Higher Order Mutation Testing.
SCAM
Yue Jia, Mark Harman
2008 — conf
Dependence Anti Patterns.
ASE Workshops
David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener
2008 J jnl
Editorial: Testing practice and research.
Softw. Test. Verification Reliab.
Mark Harman, Zheng Li, Phil McMinn
2008 C conf
Evaluating Key Statements Analysis.
SCAM
David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi
2008 — ed.
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers
Formal Methods and Testing
Robert M. Hierons, Jonathan P. Bowen, Mark Harman
2008 A conf
Handling dynamic data structures in search based testing.
GECCO
Kiran Lakhotia, Mark Harman, Phil McMinn
2008 J jnl
Locating dependence structures using search-based slicing.
Inf. Softw. Technol.
Tao Jiang, Nicolas Gold, Mark Harman, Zheng Li
2008 — conf
Open Problems in Testability Transformation.
ICST Workshops
Mark Harman
2008 B conf
Search Based Requirements Optimisation: Existing Work and Challenges.
REFSQ
Yuanyuan Zhang, Anthony Finkelstein, Mark Harman
2008 J jnl
Search-based software engineering.
Comput. Oper. Res.
Walter J. Gutjahr, Mark Harman
2008 J jnl
Special Issue on Search-Based Software Maintenance.
J. Softw. Maintenance Res. Pract.
Massimiliano Di Penta, Giuliano Antoniol, Mark Harman
2008 — conf
Testability Transformation - Program Transformation to Improve Testability.
Formal Methods and Testing
Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper
2007 A conf
A multi-objective approach to search-based test data generation.
GECCO
Kiran Lakhotia, Mark Harman, Phil McMinn
2007 J jnl
A non-standard semantics for program slicing and dependence analysis.
J. Log. Algebraic Methods Program.
Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
2007 A conf
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation.
ISSTA
Mark Harman, Phil McMinn
2007 J jnl
An empirical study of static program slice size.
ACM Trans. Softw. Eng. Methodol.
David W. Binkley, Nicolas Gold, Mark Harman
2007 — conf
Automated Test Data Generation using Search Based Software Engineering.
AST@ICSE
Mark Harman
2007 J jnl
Empirical study of optimization techniques for massive slicing.
ACM Trans. Program. Lang. Syst.
David W. Binkley, Mark Harman, Jens Krinke
2007 J jnl
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.
Theor. Comput. Sci.
Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence
2007 J jnl
Heuristics for fault diagnosis when testing from finite state machines.
Softw. Test. Verification Reliab.
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2007 A conf
Pareto efficient multi-objective test case selection.
ISSTA
Shin Yoo, Mark Harman
2007 A conf
Pareto optimal search based refactoring at the design level.
GECCO
Mark Harman, Laurence Tratt
2007 J jnl
Search Algorithms for Regression Test Case Prioritization.
IEEE Trans. Software Eng.
Zheng Li, Mark Harman, Robert M. Hierons
2007 A conf
Search Based Software Engineering for Program Comprehension.
ICPC
Mark Harman
2007 — conf
The Current State and Future of Search Based Software Engineering.
FOSE
Mark Harman
2007 — conf
The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach.
ICSM
Massimiliano Di Penta, Mark Harman, Giuliano Antoniol, Fahim Qureshi
2007 — conf
The impact of input domain reduction on search-based test data generation.
ESEC/SIGSOFT FSE
Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener
2007 A conf
The multi-objective next release problem.
GECCO
Yuanyuan Zhang, Mark Harman, S. Afshin Mansouri
2006 J jnl
A formal relationship between program slicing and partial evaluation.
Formal Aspects Comput.
David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
2006 J jnl
A formalisation of the relationship between forms of program slicing.
Sci. Comput. Program.
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
2006 — conf
Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding.
Duplication, Redundancy, and Similarity in Software
Kiarash Mahdavi, Nicolas Gold, Zheng Li, Mark Harman
2006 — conf
Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding.
ICSM
Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi
2006 — conf
An Empirical Study of Executable Concept Slice Size.
WCRE
David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi
2006 J jnl
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.
Comput. J.
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2006 — ed.
Beyond Program Slicing, 06.11. - 11.11.2005
Beyond Program Slicing
David W. Binkley, Mark Harman, Jens Krinke
2006 C conf
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation.
SCAM
David W. Binkley, Mark Harman, Jens Krinke
2006 J jnl
Guest Editorial.
Formal Aspects Comput.
John Derrick, Mark Harman, Robert M. Hierons
2006 J jnl
Improving test quality using robust unique input/output circuit sequences (UIOCs).
Inf. Softw. Technol.
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2006 — conf
Search Based Approaches to Component Selection and Prioritization for the Next Release Problem.
ICSM
Paul Baker, Mark Harman, Kathleen Steinhöfel, Alexandros Skaliotis
2006 Misc conf
Search Based Software Engineering.
International Conference on Computational Science (4)
Mark Harman
2006 A conf
Search--based approaches to the component selection and prioritization problem.
GECCO
Mark Harman, Alexandros Skaliotis, Kathleen Steinhöfel, Paul Baker
2006 — conf
Search-Based Software Engineering for Maintenance and Reengineering.
CSMR
Mark Harman
2006 J jnl
Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop.
J. Syst. Softw.
Tom Dean, Mark Harman, Rainer Koschke, Michael L. Van de Vanter
2006 C conf
Stop-List Slicing.
SCAM
Keith B. Gallagher, David W. Binkley, Mark Harman
2006 A conf
The species per path approach to SearchBased test data generation.
ISSTA
Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella
2006 J jnl
Theoretical foundations of dynamic program slicing.
Theor. Comput. Sci.
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
2006 J jnl
Theory and algorithms for slicing unstructured programs.
Inf. Softw. Technol.
Mark Harman, Arun Lakhotia, David W. Binkley
2006 J jnl
Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects.
IEEE Trans. Software Eng.
David W. Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella
2006 — conf
Workshop Introduction Astrenet Aspect Analysis.
WCRE
Mark Harman, Sue Black, Paolo Tonella
2005 — conf
05451 Abstracts Collection -- Beyond Program Slicing.
Beyond Program Slicing
David W. Binkley, Mark Harman, Jens Krinke
2005 — conf
05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar.
Beyond Program Slicing
Mark Harman, David W. Binkley, Jens Krinke
2005 A conf
An empirical study of the robustness of two module clustering fitness functions.
GECCO
Mark Harman, Stephen Swift, Kiarash Mahdavi
2005 — conf
Automated Refactoring of Object Oriented Code into Aspects.
ICSM
David W. Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella
2005 J jnl
Branch-Coverage Testability Transformation for Unstructured Programs.
Comput. J.
Robert M. Hierons, Mark Harman, Chris Fox
2005 J jnl
Constructing multiple unique input/output sequences using metaheuristic optimisation techniques.
IEE Proc. Softw.
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2005 A conf
Data Dependence Based Testability Transformation in Automated Test Generation.
ISSRE
Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, Rajiv Gupta, Q. Zhang
2005 C conf
Forward slices are smaller than backward slices.
SCAM
David W. Binkley, Mark Harman
2005 A conf
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.
GECCO
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2005 J jnl
Guest Editorial: Special Issue on Software Maintenance and Evolution.
IEEE Trans. Software Eng.
Mark Harman, Bogdan Korel, Panagiotis K. Linos
2005 — conf
Locating Dependence Clusters and Dependence Pollution.
ICSM
David W. Binkley, Mark Harman
2005 C conf
Minimal Slicing and the Relationships Between Forms of Slicing.
SCAM
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
2005 — conf
Search-Based Amorphous Slicing.
WCRE
Deji Fatiregun, Mark Harman, Robert M. Hierons
2005 — conf
Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project.
ICSM
Giuliano Antoniol, Massimiliano Di Penta, Mark Harman
2005 J jnl
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas.
Comput. J.
Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence
2005 — conf
Test Prioritization Using System Models.
ICSM
Bogdan Korel, Luay Ho Tahat, Mark Harman
2005 J jnl
Unifying program slicing and concept assignment for higher-level executable source code extraction.
Softw. Pract. Exp.
Nicolas E. Gold, Mark Harman, David W. Binkley, Robert M. Hierons
2004 — conf
A Robust Search-Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty.
IEEE METRICS
Giuliano Antoniol, Massimiliano Di Penta, Mark Harman
2004 J jnl
A survey of empirical results on program slicing.
Adv. Comput.
David W. Binkley, Mark Harman
2004 C conf
Amorphous Procedure Extraction.
SCAM
Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons
2004 J jnl
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables.
IEEE Trans. Software Eng.
David W. Binkley, Mark Harman
2004 — conf
Building Executable Union Slices using Conditioned Slicing.
IWPC
Sebastian Danicic, Andrea De Lucia, Mark Harman
2004 J jnl
ConSIT: a fully automated conditioned program slicer.
Softw. Pract. Exp.
Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
2004 J jnl
Editorial: Software testing in the United Kingdom.
Softw. Test. Verification Reliab.
John A. Clark, Mark Harman, Robert M. Hierons
2004 A conf
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach.
ISSTA
André Baresel, David W. Binkley, Mark Harman, Bogdan Korel
2004 C conf
Evolving Transformation Sequences using Genetic Algorithms.
SCAM
Deji Fatiregun, Mark Harman, Robert M. Hierons
2004 C conf
Formalizing Executable Dynamic and Forward Slicing.
SCAM
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya
2004 — ed.
Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I
GECCO (1)
Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund K. Burke, Paul J. Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andrew M. Tyrrell
2004 — ed.
Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II
GECCO (2)
Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund K. Burke, Paul J. Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andrew M. Tyrrell
2004 A* conf
Getting Results from Search-Based Approaches to Software Engineering.
ICSE
Mark Harman, Joachim Wegener
2004 — conf
How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution.
GECCO (2)
Konstantinos Adamopoulos, Mark Harman, Robert M. Hierons
2004 — conf
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).
GECCO (2)
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2004 J jnl
Introduction.
Softw. Qual. J.
David W. Binkley, Liz Burd, Mark Harman, Paolo Tonella
2004 — conf
Loop Squashing Transformations for Amorphous Slicing.
WCRE
Lin Hu, Mark Harman, Robert M. Hierons, David W. Binkley
2004 — conf
Metrics Are Fitness Functions Too.
IEEE METRICS
Mark Harman, John A. Clark
2004 — conf
Search-Based Techniques for Optimizing Software Project Resource Allocation.
GECCO (2)
Giuliano Antoniol, Massimiliano Di Penta, Mark Harman
2004 J jnl
Syntax-Directed Amorphous Slicing.
Autom. Softw. Eng.
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
2004 J jnl
Testability Transformation.
IEEE Trans. Software Eng.
Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper
2004 J jnl
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine.
Theor. Comput. Sci.
Robert M. Hierons, Mark Harman
2003 — conf
A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity.
ICSM
David W. Binkley, Mark Harman
2003 — conf
A Multiple Hill Climbing Approach to Software Module Clustering.
ICSM
Kiarash Mahdavi, Mark Harman, Robert M. Hierons
2003 J jnl
Amorphous program slicing.
J. Syst. Softw.
Mark Harman, David W. Binkley, Sebastian Danicic
2003 J jnl
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension.
IEEE Trans. Software Eng.
José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu
2003 A* conf
An Empirical Study of Predicate Dependence Levels and Trends.
ICSE
David W. Binkley, Mark Harman
2003 — conf
Automatically Generating Information from a Z Specification to Support the Classification Tree Method.
ZB
Robert M. Hierons, Mark Harman, Harbhajan Singh
2003 — conf
Computing Unique Input/Output Sequences Using Genetic Algorithms.
FATES
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2003 J jnl
Equivalence of conservative, free, linear program schemas is decidable.
Theor. Comput. Sci.
Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd
2003 A conf
Finding Building Blocks for Software Clustering.
GECCO
Kiarash Mahdavi, Mark Harman, Robert M. Hierons
2003 J jnl
Formulating software engineering as a search problem.
IEE Proc. Softw.
John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd
2003 A ed.
Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I
GECCO
Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell K. Standish, Graham Kendall, Stewart W. Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasa Jonoska, Julian F. Miller
2003 A ed.
Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II
GECCO
Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell K. Standish, Graham Kendall, Stewart W. Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasa Jonoska, Julian F. Miller
2003 J jnl
Guaranteed inconsistency avoidance during software evolution.
J. Softw. Maintenance Res. Pract.
Keith B. Gallagher, Mark Harman, Sebastian Danicic
2003 C conf
Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms.
SCAM
David W. Binkley, Mark Harman
2003 A conf
Search Based Transformations.
GECCO
Deji Fatiregun, Mark Harman, Robert M. Hierons
2003 — conf
Unions of Slices Are Not Slices.
CSMR
Andrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke
2002 — conf
A Denotational Interprocedural Program Slicer.
WCRE
Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox
2002 A conf
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
GECCO
Mark Harman, Robert M. Hierons, Mark Proctor
2002 — conf
A Post-Placement Side-Effect Removal Algorithm.
ICSM
Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener
2002 C conf
An Interprocedural Amorphous Slicer for WSL.
SCAM
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
2002 J jnl
Book Review: Automatic Re-Engineering of Software Using Genetic Programming.
Genet. Program. Evolvable Mach.
Kiarash Mahdavi, Mark Harman
2002 — conf
Code Extraction Algorithms which Unify Slicing and Concept Assignment.
WCRE
Mark Harman, Nicolas Gold, Robert M. Hierons, David W. Binkley
2002 — conf
ConSUS: A Scalable Approach to Conditioned Slicing.
WCRE
Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward
2002 J jnl
Conditioned slicing supports partition testing.
Softw. Test. Verification Reliab.
Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi
2002 — conf
Evolutionary Testing Supported by Slicing and Transformation.
ICSM
Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel
2002 B conf
FORTEST: Formal Methods and Testing.
COMPSAC
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause
2002 A conf
Improving Evolutionary Testing By Flag Removal.
GECCO
Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer
2002 C conf
Mechanized Operational Semantics of WSL.
SCAM
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
2002 — conf
Side-Effects Considered Harmful (but Rendered Harmless).
PPIG
Mark Harman
2002 B conf
Slice-Based Dynamic Memory Modelling - A Case Study.
COMPSAC
Yoga Sivagurunathan, Mark Harman, Bala Sivagurunathan
2002 J jnl
Source code analysis and manipulation.
Inf. Softw. Technol.
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
2002 C conf
VADA: A Transformation-Based System for Variable Dependence Analysis.
SCAM
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener
2002 — conf
Weakest Precondition for General Recursive Programs Formalized in Coq.
TPHOLs
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
2001 J jnl
An overview of program slicing.
Softw. Focus
Mark Harman, Robert M. Hierons
2001 — conf
Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.
IWPC
Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
2001 — conf
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation.
WCRE
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang
2001 — conf
Node Coarsening Calculi for Program Slicing.
WCRE
Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox
2001 — conf
Pre/Post Conditioned Slicing.
ICSM
Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd
2001 A* conf
SEMINAL: Software Engineering Using Metaheuristic INnovative Algorithms.
ICSE
Mark Harman, Bryan F. Jones
2001 J jnl
Search-based software engineering.
Inf. Softw. Technol.
Mark Harman, Bryan F. Jones
2001 — conf
Side-Effect Removal Transformation.
IWPC
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
2001 J jnl
Software Engineering.
Softw. Focus
Mark Harman
2001 J jnl
Software engineering using metaheuristic innovative algorithms: workshop report.
Inf. Softw. Technol.
Mark Harman, Bryan F. Jones
2001 J jnl
The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem.
ACM SIGSOFT Softw. Eng. Notes
Mark Harman, Bryan F. Jones
2000 — conf
An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool.
IWPC
David W. Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman
2000 — conf
ConSIT: A Conditioned Program Slicer.
ICSM
Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic
2000 — conf
Espresso: A Slicer Generator.
SAC (2)
Sebastian Danicic, Mark Harman
2000 J jnl
Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.
Formal Aspects Comput.
Robert M. Hierons, Mark Harman
1999 — conf
Program Simplification as a Means of Approximating Undecidable Propositions.
IWPC
Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic
1999 J jnl
Using Program Slicing to Assist in the Detection of Equivalent Mutants.
Softw. Test. Verification Reliab.
Robert M. Hierons, Mark Harman, Sebastian Danicic
1998 J jnl
A new algorithm for slicing unstructured programs.
J. Softw. Maintenance Res. Pract.
Mark Harman, Sebastian Danicic
1998 — conf
Analysis of Dynamic Memory Access Using Amorphous Slicing.
ICSM
Mark Harman, Yoga Sivagurunathan, Sebastian Danicic
1998 J jnl
Program slicing.
Inf. Softw. Technol.
Mark Harman, Keith Brian Gallagher
1997 — conf
Amorphous Program Slicing.
WPC
Mark Harman, Sebastian Danicic
1997 — conf
Slicing, I/O and the Implicit State.
AADEBUG
Yoga Sivagurunathan, Mark Harman, Sebastian Danicic
1996 J jnl
Slicing Programs in the Presence of Errors.
Formal Aspects Comput.
Mark Harman, Dan Simpson, Sebastian Danicic
1995 J jnl
A Parallel Algorithm for Static Program Slicing.
Inf. Process. Lett.
Sebastian Danicic, Mark Harman, Yoga Sivagurunathan
1995 J jnl
Using Program Slicing to Simplify Testing.
Softw. Test. Verification Reliab.
Mark Harman, Sebastian Danicic
1993 J jnl
Projecting Functional Models of Imperative Programs.
ACM SIGPLAN Notices
Mark Harman, Sebastian Danicic
1992 — —
Functional models of procedural programs.
Mark Harman