


default search action
Mark Harman
Person information
- affiliation: Facebook, London, UK
- affiliation (former): King's College London, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j152]Ming Yan, Junjie Chen, Jie M. Zhang, Xuejie Cao, Chen Yang, Mark Harman:
Robustness evaluation of code generation systems via concretizing instructions. Inf. Softw. Technol. 179: 107645 (2025) - 2024
- [j151]Giovani Guizzo
, Jie M. Zhang, Federica Sarro, Christoph Treude
, Mark Harman:
Mutation analysis for evaluating code translation. Empir. Softw. Eng. 29(1): 19 (2024) - [j150]Max Hort
, Jie M. Zhang, Federica Sarro, Mark Harman:
Search-based Automatic Repair for Fairness and Accuracy in Decision-making Software. Empir. Softw. Eng. 29(1): 36 (2024) - [j149]Zhenpeng Chen
, Jie M. Zhang
, Max Hort
, Mark Harman
, Federica Sarro
:
Fairness Testing: A Comprehensive Survey and Analysis of Trends. ACM Trans. Softw. Eng. Methodol. 33(5): 137:1-137:59 (2024) - [j148]Giovani Guizzo
, David Williams
, Mark Harman
, Justyna Petke
, Federica Sarro
:
Speeding Up Genetic Improvement via Regression Test Selection. ACM Trans. Softw. Eng. Methodol. 33(8): 196:1-196:31 (2024) - [c257]Mark Harman
:
The Role of Software Measurement in Assured LLM-Based Software Engineering. EASE 2024: 4 - [c256]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
:
Enhancing Testing at Meta with Rich-State Simulated Populations. ICSE-SEIP 2024: 1-12 - [c255]Nadia Alshahwan
, Mark Harman
, Inna Harper
, Alexandru Marginean
, Shubho Sengupta
, Eddy Wang
:
Assured LLM-Based Software Engineering. InteNSE 2024: 7-12 - [c254]Zhenpeng Chen
, Jie M. Zhang
, Federica Sarro
, Mark Harman
:
Fairness Improvement with Multiple Protected Attributes: How Far Are We? ICSE 2024: 160:1-160:13 - [c253]Guillaume Haben, Sarra Habchi, John Micco, Mark Harman, Mike Papadakis, Maxime Cordy, Yves Le Traon:
The Importance of Accounting for Execution Failures when Predicting Test Flakiness. ASE 2024: 1979-1989 - [c252]Nadia Alshahwan
, Mark Harman
, Alexandru Marginean
, Rotem Tal
, Eddy Wang
:
Observation-Based Unit Test Generation at Meta. SIGSOFT FSE Companion 2024: 173-184 - [c251]Nadia Alshahwan
, Jubin Chheda
, Anastasia Finogenova
, Beliz Gokkaya
, Mark Harman
, Inna Harper
, Alexandru Marginean
, Shubho Sengupta
, Eddy Wang
:
Automated Unit Test Improvement using Large Language Models at Meta. SIGSOFT FSE Companion 2024: 185-196 - [i33]Nadia Alshahwan, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang:
Assured LLM-Based Software Engineering. CoRR abs/2402.04380 (2024) - [i32]Nadia Alshahwan, Mark Harman, Alexandru Marginean, Rotem Tal, Eddy Wang:
Observation-based unit test generation at Meta. CoRR abs/2402.06111 (2024) - [i31]Nadia Alshahwan, Jubin Chheda, Anastasia Finogenova, Beliz Gokkaya, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang:
Automated Unit Test Improvement using Large Language Models at Meta. CoRR abs/2402.09171 (2024) - [i30]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:
Enhancing Testing at Meta with Rich-State Simulated Populations. CoRR abs/2403.15374 (2024) - [i29]Dong Huang, Jie M. Zhang, Mingzhe Du, Mark Harman, Heming Cui:
Rethinking the Influence of Source Code on Test Case Generation. CoRR abs/2409.09464 (2024) - 2023
- [j147]Giovani Guizzo
, Francesco Califano, Federica Sarro, Filomena Ferrucci, Mark Harman:
Inferring test models from user bug reports using multi-objective search. Empir. Softw. Eng. 28(4): 95 (2023) - [j146]Jie M. Zhang, Mark Harman, Benjamin Guedj
, Earl T. Barr, John Shawe-Taylor
:
Model validation using mutated training labels: An exploratory study. Neurocomputing 539: 126116 (2023) - [j145]Zhenpeng Chen
, Jie M. Zhang
, Federica Sarro
, Mark Harman
:
A Comprehensive Empirical Study of Bias Mitigation Methods for Machine Learning Classifiers. ACM Trans. Softw. Eng. Methodol. 32(4): 106:1-106:30 (2023) - [c250]Angela Fan, Beliz Gokkaya, Mark Harman, Mitya Lyubarskiy, Shubho Sengupta, Shin Yoo, Jie M. Zhang:
Large Language Models for Software Engineering: Survey and Open Problems. ICSE-FoSE 2023: 31-53 - [c249]Shreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiao-Yu Wang, Graham Wright:
Simulation-Driven Automated End-to-End Test and Oracle Inference. ICSE-SEIP 2023: 122-133 - [c248]Nadia Alshahwan, Mark Harman, Alexandru Marginean:
Software Testing Research Challenges: An Industrial Perspective. ICST 2023: 1-10 - [c247]Kaibo Liu
, Yudong Han
, Jie M. Zhang, Zhenpeng Chen
, Federica Sarro, Mark Harman, Gang Huang, Yun Ma:
Who Judges the Judge: An Empirical Study on Online Judge Tests. ISSTA 2023: 334-346 - [c246]Milos Ojdanic
, Mike Papadakis
, Mark Harman
:
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. ESEC/SIGSOFT FSE 2023: 2067-2071 - [i28]Shreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiao-Yu Wang, Graham Wright:
Simulation-Driven Automated End-to-End Test and Oracle Inference. CoRR abs/2302.02374 (2023) - [i27]Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman:
An Empirical Study on Fairness Improvement with Multiple Protected Attributes. CoRR abs/2308.01923 (2023) - [i26]Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang:
LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation. CoRR abs/2308.02828 (2023) - [i25]Ming Yan, Junjie Chen, Jie M. Zhang, Xuejie Cao, Chen Yang, Mark Harman:
COCO: Testing Code Generation Systems via Concretized Instructions. CoRR abs/2308.13319 (2023) - [i24]Yonghao Wu, Zheng Li, Jie M. Zhang, Mike Papadakis, Mark Harman, Yong Liu:
Large Language Models in Fault Localisation. CoRR abs/2308.15276 (2023) - [i23]Angela Fan, Beliz Gokkaya, Mark Harman, Mitya Lyubarskiy, Shubho Sengupta, Shin Yoo, Jie M. Zhang:
Large Language Models for Software Engineering: Survey and Open Problems. CoRR abs/2310.03533 (2023) - 2022
- [j144]Jie M. Zhang
, Mark Harman, Lei Ma
, Yang Liu
:
Machine Learning Testing: Survey, Landscapes and Horizons. IEEE Trans. Software Eng. 48(2): 1-36 (2022) - [j143]Federica Sarro
, Rebecca Moussa
, Alessio Petrozziello, Mark Harman:
Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates. IEEE Trans. Software Eng. 48(6): 1868-1882 (2022) - [j142]Maria Kechagia
, Sergey Mechtaev, Federica Sarro
, Mark Harman:
Evaluating Automatic Program Repair Capabilities to Repair API Misuses. IEEE Trans. Software Eng. 48(7): 2658-2679 (2022) - [j141]Max Hort, Maria Kechagia
, Federica Sarro
, Mark Harman:
A Survey of Performance Optimization for Mobile Applications. IEEE Trans. Software Eng. 48(8): 2879-2904 (2022) - [j140]Vali Tawosi
, Federica Sarro
, Alessio Petrozziello, Mark Harman:
Multi-Objective Software Effort Estimation: A Replication Study. IEEE Trans. Software Eng. 48(8): 3185-3205 (2022) - [c245]Baptiste Rozière, Jie Zhang, François Charton, Mark Harman, Gabriel Synnaeve, Guillaume Lample:
Leveraging Automated Unit Tests for Unsupervised Code Translation. ICLR 2022 - [c244]Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman:
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. ICSE 2022: 982-994 - [c243]Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang:
Improving Machine Translation Systems via Isotopic Replacement. ICSE 2022: 1181-1192 - [c242]Mark Harman, Heather Miller:
Message from the SEIP Chairs of ICSE 2022. ICSE (SEIP) 2022: xiv - [c241]Mark Harman:
Scaling Genetic Improvement and Automated Program Repair. APR@ICSE 2022: 1-7 - [c240]Ke Mao, Timotej Kapus
, Lambros Petrou, Ákos Hajdu
, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano:
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. ICST 2022: 267-278 - [c239]Zhenpeng Chen
, Jie M. Zhang, Federica Sarro
, Mark Harman:
MAAT: a novel ensemble approach to addressing fairness and performance bugs for machine learning software. ESEC/SIGSOFT FSE 2022: 1122-1134 - [i22]Zhenpeng Chen, Jie M. Zhang, Federica Sarro
, Mark Harman:
A Comprehensive Empirical Study of Bias Mitigation Methods for Software Fairness. CoRR abs/2207.03277 (2022) - [i21]Max Hort, Zhenpeng Chen, Jie M. Zhang, Federica Sarro
, Mark Harman:
Bias Mitigation for Machine Learning Classifiers: A Comprehensive Survey. CoRR abs/2207.07068 (2022) - [i20]Zhenpeng Chen, Jie M. Zhang, Max Hort, Federica Sarro
, Mark Harman:
Fairness Testing: A Comprehensive Survey and Analysis of Trends. CoRR abs/2207.10223 (2022) - [i19]Milos Ojdanic, Mike Papadakis, Mark Harman:
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. CoRR abs/2212.11762 (2022) - 2021
- [j139]Youcong Ni, Xin Du, Peng Ye, Leandro L. Minku
, Xin Yao, Mark Harman, Ruliang Xiao:
Multi-objective software performance optimisation at the architecture level using randomised search rules. Inf. Softw. Technol. 135: 106565 (2021) - [j138]Afnan A. Al-Subaihin
, Federica Sarro
, Sue Black, Licia Capra, Mark Harman:
App Store Effects on Software Engineering Practices. IEEE Trans. Software Eng. 47(2): 300-319 (2021) - [j137]Matheus Paixão
, Jens Krinke
, DongGyun Han
, Chaiyong Ragkhitwetsagul
, Mark Harman:
The Impact of Code Review on Architectural Changes. IEEE Trans. Software Eng. 47(5): 1041-1059 (2021) - [j136]Gunel Jahangirova
, David Clark
, Mark Harman, Paolo Tonella
:
An Empirical Validation of Oracle Improvement. IEEE Trans. Software Eng. 47(8): 1708-1728 (2021) - [j135]Carlos Gavidia-Calderon
, Federica Sarro
, Mark Harman, Earl T. Barr
:
The Assessor's Dilemma: Improving Bug Repair via Empirical Game Theory. IEEE Trans. Software Eng. 47(10): 2143-2161 (2021) - [j134]Huayao Wu
, Changhai Nie, Justyna Petke
, Yue Jia, Mark Harman:
Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing. IEEE Trans. Software Eng. 47(11): 2549-2562 (2021) - [j133]Jie M. Zhang
, Feng Li
, Dan Hao
, Meng Wang
, Hao Tang, Lu Zhang, Mark Harman:
A Study of Bug Resolution Characteristics in Popular Programming Languages. IEEE Trans. Software Eng. 47(12): 2684-2697 (2021) - [c238]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:
Facebook's Cyber-Cyber and Cyber-Physical Digital Twins. EASE 2021: 1-9 - [c237]Kinga Bojarczuk, Natalija Gucevska, Simon M. M. Lucas, Inna Dvortsova, Mark Harman, Erik Meijer, Silvia Sapora, Johann George, Maria Lomeli, Rubmary Rojas:
Measurement Challenges for Cyber Cyber Digital Twins: Experiences from the Deployment of Facebook's WW Simulation System. ESEM 2021: 2:1-2:10 - [c236]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:
Testing Web Enabled Simulation at Scale Using Metamorphic Testing. ICSE (SEIP) 2021: 140-149 - [c235]Giovani Guizzo
, Justyna Petke
, Federica Sarro
, Mark Harman:
Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection. ICSE (Companion Volume) 2021: 220 - [c234]Wei Ma, Thierry Titcheu Chekam, Mike Papadakis
, Mark Harman:
MuDelta: Delta-Oriented Mutation Testing at Commit Time. ICSE 2021: 897-909 - [c233]Giovani Guizzo
, Justyna Petke
, Federica Sarro
, Mark Harman:
Enhancing Genetic Improvement of Software with Regression Test Selection. ICSE 2021: 1323-1333 - [c232]Jie M. Zhang
, Mark Harman:
"Ignorance and Prejudice" in Software Fairness. ICSE 2021: 1436-1447 - [c231]Max Hort
, Jie M. Zhang
, Federica Sarro
, Mark Harman
:
Fairea: a model behaviour mutation approach to benchmarking bias mitigation methods. ESEC/SIGSOFT FSE 2021: 994-1006 - [i18]Baptiste Rozière, Jie M. Zhang, François Charton, Mark Harman, Gabriel Synnaeve, Guillaume Lample:
Leveraging Automated Unit Tests for Unsupervised Code Translation. CoRR abs/2110.06773 (2021) - 2020
- [j132]Carlos Gavidia-Calderon
, Federica Sarro
, Mark Harman, Earl T. Barr:
Game-theoretic analysis of development practices: Challenges and opportunities. J. Syst. Softw. 159 (2020) - [j131]Huayao Wu
, Changhai Nie, Justyna Petke
, Yue Jia, Mark Harman:
An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing. IEEE Trans. Software Eng. 46(3): 302-320 (2020) - [c230]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:
WES: Agent-based User Interaction Simulation on Real Infrastructure. ICSE (Workshops) 2020: 276-284 - [c229]Zeyu Sun, Jie M. Zhang
, Mark Harman, Mike Papadakis
, Lu Zhang:
Automatic testing and improvement of machine translation. ICSE 2020: 974-985 - [c228]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:
Ownership at Large: Open Problems and Challenges in Ownership Management. ICPC 2020: 406-410 - [c227]Giovani Guizzo
, Federica Sarro
, Mark Harman:
Cost measures matter for mutation testing study validity. ESEC/SIGSOFT FSE 2020: 1127-1139 - [c226]Yixue Zhao
, Justin Chen, Adriana Sejfia, Marcelo Schmitt Laser, Jie Zhang, Federica Sarro
, Mark Harman, Nenad Medvidovic
:
FrUITeR: a framework for evaluating UI test reuse. ESEC/SIGSOFT FSE 2020: 1190-1201 - [i17]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:
WES: Agent-based User Interaction Simulation on Real Infrastructure. CoRR abs/2004.05363 (2020) - [i16]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:
Ownership at Large - Open Problems and Challenges in Ownership Management. CoRR abs/2004.07352 (2020) - [i15]Yixue Zhao, Justin Chen, Adriana Sejfia, Marcelo Schmitt Laser, Jie Zhang, Federica Sarro, Mark Harman, Nenad Medvidovic:
FrUITeR - A Framework for Evaluating UI Test Reuse. CoRR abs/2008.03427 (2020) - [i14]Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella:
An Empirical Study on Failed Error Propagation in Java Programs with Real Faults. CoRR abs/2011.10787 (2020)
2010 – 2019
- 2019
- [j130]Mike Papadakis
, Marinos Kintis, Jie Zhang
, Yue Jia, Yves Le Traon
, Mark Harman:
Chapter Six - Mutation Testing Advances: An Analysis and Survey. Adv. Comput. 112: 275-378 (2019) - [j129]Jie Zhang
, Lingming Zhang, Mark Harman, Dan Hao
, Yue Jia, Lu Zhang:
Predictive Mutation Testing. IEEE Trans. Software Eng. 45(9): 898-918 (2019) - [j128]Bobby R. Bruce
, Justyna Petke
, Mark Harman, Earl T. Barr
:
Approximate Oracles and Synergy in Software Energy Search Spaces. IEEE Trans. Software Eng. 45(11): 1150-1169 (2019) - [c225]Alexandru Marginean, Johannes Bader
, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott:
SapFix: automated end-to-end repair at scale. ICSE (SEIP) 2019: 269-278 - [c224]Jie M. Zhang, Lingming Zhang, Dan Hao
, Lu Zhang, Mark Harman:
An Empirical Comparison of Mutant Selection Assessment Metrics. ICST Workshops 2019: 90-101 - [c223]Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro
, Ilya Zorin:
Some challenges for software testing research (invited talk paper). ISSTA 2019: 1-3 - [c222]Matthieu Jimenez
, Renaud Rwemalika, Mike Papadakis
, Federica Sarro
, Yves Le Traon
, Mark Harman:
The importance of accounting for real-world labelling when predicting software vulnerabilities. ESEC/SIGSOFT FSE 2019: 695-705 - [i13]Jie M. Zhang
, Earl T. Barr, Benjamin Guedj
, Mark Harman, John Shawe-Taylor:
Perturbed Model Validation: A New Framework to Validate Model Relevance. CoRR abs/1905.10201 (2019) - [i12]Earl T. Barr, David W. Binkley, Mark Harman, Mohamed Nassim Seghir:
Sub-Turing Islands in the Wild. CoRR abs/1905.12734 (2019) - [i11]Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu:
Machine Learning Testing: Survey, Landscapes and Horizons. CoRR abs/1906.10742 (2019) - [i10]Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia, Mark Harman:
A Survey of Constrained Combinatorial Testing. CoRR abs/1908.02480 (2019) - [i9]Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang:
Automatic Testing and Improvement of Machine Translation. CoRR abs/1910.02688 (2019) - [i8]Maxime Cordy, Renaud Rwemalika, Mike Papadakis, Mark Harman:
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. A Case Study on Mutation Testing and Program Repair. CoRR abs/1912.03197 (2019) - 2018
- [j127]Matheus Paixão
, Mark Harman, Yuanyuan Zhang, Yijun Yu
:
An Empirical Study of Cohesion and Coupling: Balancing Optimization and Disruption. IEEE Trans. Evol. Comput. 22(3): 394-414 (2018) - [j126]Justyna Petke
, Saemundur O. Haraldsson, Mark Harman, William B. Langdon, David Robert White, John R. Woodward:
Genetic Improvement of Software: A Comprehensive Survey. IEEE Trans. Evol. Comput. 22(3): 415-432 (2018) - [j125]Yuanyuan Zhang, Mark Harman, Gabriela Ochoa, Guenther Ruhe, Sjaak Brinkkemper:
An Empirical Study of Meta- and Hyper-Heuristic Search for Multi-Objective Release Planning. ACM Trans. Softw. Eng. Methodol. 27(1): 3:1-3:32 (2018) - [j124]Marinos Kintis
, Mike Papadakis
, Yue Jia, Nicos Malevris, Yves Le Traon
, Mark Harman:
Detecting Trivial Mutant Equivalences via Compiler Optimisations. IEEE Trans. Software Eng. 44(4): 308-333 (2018) - [j123]Justyna Petke
, Mark Harman, William B. Langdon, Westley Weimer:
Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation. IEEE Trans. Software Eng. 44(6): 574-594 (2018) - [c221]Matthieu Jimenez
, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis
, Marinos Kintis, Yves Le Traon
, Mark Harman:
Are mutants really natural?: a study on how "naturalness" helps mutant selection. ESEM 2018: 3:1-3:10 - [c220]Gunel Jahangirova, David Clark
, Mark Harman, Paolo Tonella:
OASIs: oracle assessment and improvement tool. ISSTA 2018: 368-371 - [c219]Matheus Paixão
, Jens Krinke, DongGyun Han
, Mark Harman:
CROP: linking code reviews to source code changes. MSR 2018: 46-49 - [c218]Federica Sarro
, Mark Harman, Yue Jia, Yuanyuan Zhang:
Customer Rating Reactions Can Be Predicted Purely using App Features. RE 2018: 76-87 - [c217]Mark Harman, Peter W. O'Hearn:
From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis. SCAM 2018: 1-23 - [c216]Mark Harman:
We Need a Testability Transformation Semantics. SEFM 2018: 3-17 - [c215]Nadia Alshahwan, Xinbo Gao, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Taijin Tei, Ilya Zorin:
Deploying Search Based Software Engineering with Sapienz at Facebook. SSBSE 2018: 3-45 - [e13]Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman:
Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM 2018, ISBN 978-1-4503-5638-1 [contents] - [e12]Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman:
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM 2018, ISBN 978-1-4503-5663-3 [contents] - [i7]Earl T. Barr, David Clark, Mark Harman, Alexandru Marginean:
Indexing Operators to Extend the Reach of Symbolic Execution. CoRR abs/1806.10235 (2018) - 2017
- [j122]He Jiang, Ke Tang, Justyna Petke
, Mark Harman:
Search Based Software Engineering [Guest Editorial]. IEEE Comput. Intell. Mag. 12(2): 23-71 (2017) - [j121]Mel Ó Cinnéide, Iman Hemati Moghadam
, Mark Harman, Steve Counsell, Laurence Tratt:
An experimental search-based approach to cohesion metric evaluation. Empir. Softw. Eng. 22(1): 292-329 (2017) - [j120]William B. Langdon, Brian Yee Hong Lam, Marc Modat
, Justyna Petke
, Mark Harman:
Genetic improvement of GPU software. Genet. Program. Evolvable Mach. 18(1): 5-44 (2017) - [j119]Fan Wu
, Jay Nanavati, Mark Harman, Yue Jia, Jens Krinke:
Memory mutation testing. Inf. Softw. Technol. 81: 97-111 (2017) - [j118]Anthony Finkelstein, Mark Harman, Yue Jia, William J. Martin, Federica Sarro
, Yuanyuan Zhang:
Investigating the relationship between price, rating, and popularity in the Blackberry World App Store. Inf. Softw. Technol. 87: 119-139 (2017) - [j117]Ke Mao
, Licia Capra, Mark Harman, Yue Jia:
A survey of the use of crowdsourcing in software engineering. J. Syst. Softw. 126: 57-84 (2017) - [j116]Ke Mao, Mark Harman, Yue Jia:
Robotic Testing of Mobile Apps for Truly Black-Box Automation. IEEE Softw. 34(2): 11-16 (2017) - [j115]