default search action

combined dblp search
author search
venue search
publication search

ask others

Mark Harman

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j150]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ese/GuizzoZSTH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/GuizzoZSTH24
Giovani Guizzo, Jie M. Zhang, Federica Sarro, Christoph Treude, Mark Harman:
Mutation analysis for evaluating code translation. Empir. Softw. Eng. 29(1): 19 (2024)
[j149]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ese/HortZSH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/HortZSH24
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)
[j148]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ChenZHHS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ChenZHHS24
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)
[c257]
- view
  authority control:
- export record
  dblp key:
  - conf/ease/Harman24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ease/Harman24
Mark Harman:
The Role of Software Measurement in Assured LLM-Based Software Engineering. EASE 2024: 4
[c256]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AlshahwanBBCGHK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AlshahwanBBCGHK24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AlshahwanHHMSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AlshahwanHHMSW24
Nadia Alshahwan, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang:
Assured LLM-Based Software Engineering. InteNSE 2024: 7-12
[c254]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icse/ChenZSH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChenZSH24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/HabenHMHPCT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/HabenHMHPCT24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/AlshahwanHMTW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/AlshahwanHMTW24
Nadia Alshahwan, Mark Harman, Alexandru Marginean, Rotem Tal, Eddy Wang:
Observation-Based Unit Test Generation at Meta. SIGSOFT FSE Companion 2024: 173-184
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/AlshahwanCFGHHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/AlshahwanCFGHHM24
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-04380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-04380
Nadia Alshahwan, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang:
Assured LLM-Based Software Engineering. CoRR abs/2402.04380 (2024)
[i32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-06111
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-06111
Nadia Alshahwan, Mark Harman, Alexandru Marginean, Rotem Tal, Eddy Wang:
Observation-based unit test generation at Meta. CoRR abs/2402.06111 (2024)
[i31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-09171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-09171
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-15374
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-15374
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-09464
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-09464
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ese/GuizzoCSFH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/GuizzoCSFH23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijon/ZhangHGBS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijon/ZhangHGBS23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ChenZSH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ChenZSH23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fose-ws/FanGHLSYZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fose-ws/FanGHLSYZ23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TuliBGHWW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TuliBGHWW23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AlshahwanHM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AlshahwanHM23
Nadia Alshahwan, Mark Harman, Alexandru Marginean:
Software Testing Research Challenges: An Industrial Perspective. ICST 2023: 1-10
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LiuHZCSHH023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LiuHZCSHH023
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/OjdanicPH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/OjdanicPH23
Milos Ojdanic, Mike Papadakis, Mark Harman:
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. ESEC/SIGSOFT FSE 2023: 2067-2071
[i28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-02374
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-02374
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-01923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-01923
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-02828
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-02828
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-13319
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-13319
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-15276
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-15276
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-03533
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-03533
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ZhangHML22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ZhangHML22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/SarroMPH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/SarroMPH22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/KechagiaMSH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/KechagiaMSH22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HortKSH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HortKSH22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/TawosiSPH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/TawosiSPH22
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]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclr/RoziereZCHSL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/RoziereZCHSL22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CordyRFPH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CordyRFPH22
Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman:
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. ICSE 2022: 982-994
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/0004Z0HP022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0004Z0HP022
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HarmanM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HarmanM22
Mark Harman, Heather Miller:
Message from the SEIP Chairs of ICSE 2022. ICSE (SEIP) 2022: xiv
[c241]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-apr/Harman22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-apr/Harman22
Mark Harman:
Scaling Genetic Improvement and Automated Program Repair. APR@ICSE 2022: 1-7
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/MaoKPHMLHD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/MaoKPHMLHD22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ChenZSH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ChenZSH22
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-03277
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-03277
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-07068
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-07068
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-10223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-10223
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-11762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-11762
Milos Ojdanic, Mike Papadakis, Mark Harman:
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. CoRR abs/2212.11762 (2022)
2021
[j139]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/NiDYMYHX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/NiDYMYHX21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Al-SubaihinSBCH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Al-SubaihinSBCH21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/PaixaoKHRH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/PaixaoKHRH21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/JahangirovaCHT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/JahangirovaCHT21
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella:
An Empirical Validation of Oracle Improvement. IEEE Trans. Software Eng. 47(8): 1708-1728 (2021)
[j135]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Gavidia-Calderon21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Gavidia-Calderon21
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tse/WuNPJH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WuNPJH21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ZhangLHWTZH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ZhangLHWTZH21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ease/AhlgrenBDDGGHLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ease/AhlgrenBDDGGHLL21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/BojarczukGLDH0S21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/BojarczukGLDH0S21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AhlgrenBBDDGGHL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AhlgrenBBDDGGHL21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GuizzoPSH21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GuizzoPSH21a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MaCPH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MaCPH21
Wei Ma, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman:
MuDelta: Delta-Oriented Mutation Testing at Commit Time. ICSE 2021: 897-909
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GuizzoPSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GuizzoPSH21
Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman:
Enhancing Genetic Improvement of Software with Regression Test Selection. ICSE 2021: 1323-1333
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhangH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhangH21
Jie M. Zhang, Mark Harman:
"Ignorance and Prejudice" in Software Fairness. ICSE 2021: 1436-1447
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HortZSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HortZSH21
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-06773
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-06773
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/Gavidia-Calderon20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/Gavidia-Calderon20
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tse/WuNPJH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WuNPJH20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AhlgrenBBDDGGHL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AhlgrenBBDDGGHL20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SunZHPZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SunZHPZ20
Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang:
Automatic testing and improvement of machine translation. ICSE 2020: 974-985
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/AhlgrenBBDDGGHH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/AhlgrenBBDDGGHH20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GuizzoSH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GuizzoSH20
Giovani Guizzo, Federica Sarro, Mark Harman:
Cost measures matter for mutation testing study validity. ESEC/SIGSOFT FSE 2020: 1127-1139
[c226]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ZhaoCSLZSHM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ZhaoCSLZSHM20
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-05363
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-05363
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-07352
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-07352
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-03427
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-03427
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-10787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-10787
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j130]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/PapadakisK00TH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/PapadakisK00TH19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/0050ZHH0019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/0050ZHH0019
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BrucePHB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BrucePHB19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MargineanBCH0MM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MargineanBCH0MM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ZhangZHZH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ZhangZHZH19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AlshahwanCH0MMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AlshahwanCH0MMM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JimenezRPSTH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JimenezRPSTH19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-10201
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-10201
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-12734
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-12734
Earl T. Barr, David W. Binkley, Mark Harman, Mohamed Nassim Seghir:
Sub-Turing Islands in the Wild. CoRR abs/1905.12734 (2019)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-10742
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-10742
Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu:
Machine Learning Testing: Survey, Landscapes and Horizons. CoRR abs/1906.10742 (2019)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-02480
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-02480
Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia, Mark Harman:
A Survey of Constrained Combinatorial Testing. CoRR abs/1908.02480 (2019)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-02688
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-02688
Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang:
Automatic Testing and Improvement of Machine Translation. CoRR abs/1910.02688 (2019)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1912-03197
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-03197
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tec/PaixaoHZY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tec/PaixaoHZY18
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tec/PetkeHHLWW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tec/PetkeHHLWW18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ZhangHORB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ZhangHORB18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/KintisPJMTH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/KintisPJMTH18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/PetkeHLW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/PetkeHLW18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/JimenezCCPKTH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/JimenezCCPKTH18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/JahangirovaCHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/JahangirovaCHT18
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella:
OASIs: oracle assessment and improvement tool. ISSTA 2018: 368-371
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/PaixaoKHH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/PaixaoKHH18
Matheus Paixão, Jens Krinke, DongGyun Han, Mark Harman:
CROP: linking code reviews to source code changes. MSR 2018: 46-49
[c218]
- view
  authority control:
- export record
  dblp key:
  - conf/re/SarroHJZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/SarroHJZ18
Federica Sarro, Mark Harman, Yue Jia, Yuanyuan Zhang:
Customer Rating Reactions Can Be Predicted Purely using App Features. RE 2018: 76-87
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/HarmanO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/HarmanO18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Harman18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Harman18
Mark Harman:
We Need a Testability Transformation Semantics. SEFM 2018: 3-17
[c215]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssbse/AlshahwanGHJMMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/AlshahwanGHJMMT18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2018
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]
- view
- export record
  dblp key:
  - conf/icse/2018c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2018c
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-10235
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-10235
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cim/JiangTPH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cim/JiangTPH17
He Jiang, Ke Tang, Justyna Petke, Mark Harman:
Search Based Software Engineering [Guest Editorial]. IEEE Comput. Intell. Mag. 12(2): 23-71 (2017)
[j121]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ese/CinneideMHCT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/CinneideMHCT17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/gpem/LangdonLMPH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/gpem/LangdonLMPH17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/WuNHJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/WuNHJK17
Fan Wu, Jay Nanavati, Mark Harman, Yue Jia, Jens Krinke:
Memory mutation testing. Inf. Softw. Technol. 81: 97-111 (2017)
[j118]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/infsof/FinkelsteinHJMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/FinkelsteinHJMS17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MaoCHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MaoCHJ17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/software/MaoHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/MaoHJ17
Ke Mao, Mark Harman, Yue Jia:
Robotic Testing of Mobile Apps for Truly Black-Box Automation. IEEE Softw. 34(2): 11-16 (2017)
[j115]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/YooXKCH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/YooXKCH17
Shin Yoo, Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, Mark Harman:
Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis. ACM Trans. Softw. Eng. Methodol. 26(1): 4:1-4:30 (2017)
[j114]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LiHWZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LiHWZ17
Lingbo Li, Mark Harman, Fan Wu, Yuanyuan Zhang:
The Value of Exact Analysis in Requirements Selection. IEEE Trans. Software Eng. 43(6): 580-596 (2017)
[j113]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MartinSJZH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MartinSJZH17
William J. Martin, Federica Sarro, Yue Jia, Yuanyuan Zhang, Mark Harman:
A Survey of App Store Analysis for Software Engineering. IEEE Trans. Software Eng. 43(9): 817-847 (2017)
[j112]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/SarroFHMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/SarroFHMR17
Federica Sarro, Filomena Ferrucci, Mark Harman, Alessandra Manna, Jian Ren:
Adaptive Multi-Objective Evolutionary Algorithms for Overtime Planning in Software Projects. IEEE Trans. Software Eng. 43(10): 898-917 (2017)
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Harman17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Harman17
Mark Harman:
Search Based Software Testing for Android. SBST@ICSE 2017: 2
[c213]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LangdonYH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LangdonYH17
William B. Langdon, Shin Yoo, Mark Harman:
Inferring Automatic Test Oracles. SBST@ICSE 2017: 5-6
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChekamPTH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChekamPTH17
Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon, Mark Harman:
An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption. ICSE 2017: 597-608
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MaoHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MaoHJ17
Ke Mao, Mark Harman, Yue Jia:
Crowd intelligence enhances automated mobile testing. ASE 2017: 16-26
[c210]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/PaixaoKHRH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/PaixaoKHRH17
Matheus Paixão, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, Mark Harman:
Are developers aware of the architectural impact of their changes? ASE 2017: 95-105
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GoldBHIKY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GoldBHIKY17
Nicolas E. Gold, David W. Binkley, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo:
Generalized observational slicing for tree-represented modelling languages. ESEC/SIGSOFT FSE 2017: 547-558
2016
[j111]
- view
  authority control:
- export record
  dblp key:
  - journals/asc/DoladoRHLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/DoladoRHLS16
José Javier Dolado, Daniel Rodríguez, Mark Harman, William B. Langdon, Federica Sarro:
Evaluation of estimation models using the Minimum Interval of Equivalence. Appl. Soft Comput. 49: 956-967 (2016)
[j110]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/LangdonDSH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/LangdonDSH16
William B. Langdon, José Javier Dolado, Federica Sarro, Mark Harman:
Exact Mean Absolute Error of Baseline Predictor, MARP0. Inf. Softw. Technol. 73: 16-18 (2016)
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/Al-SubaihinSBCH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/Al-SubaihinSBCH16
Afnan A. Al-Subaihin, Federica Sarro, Sue Black, Licia Capra, Mark Harman, Yue Jia, Yuanyuan Zhang:
Clustering Mobile Apps Based on Mined Textual Features. ESEM 2016: 38:1-38:10
[c207]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LangdonVLPH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LangdonVLPH16
William B. Langdon, Albert Vilella, Brian Yee Hong Lam, Justyna Petke, Mark Harman:
Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation NGS datasets and nVidia GPUs. GECCO (Companion) 2016: 1131-1132
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/McMinnHFK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/McMinnHFK16
Phil McMinn, Mark Harman, Gordon Fraser, Gregory M. Kapfhammer:
Automated search for good coverage criteria: moving from code coverage to fault coverage through search-based software engineering. SBST@ICSE 2016: 43-44
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HarmanAJMSZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HarmanAJMSZ16
Mark Harman, Afnan A. Al-Subaihin, Yue Jia, William J. Martin, Federica Sarro, Yuanyuan Zhang:
Mobile app and app store analysis, testing and optimisation. MOBILESoft 2016: 243-244
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HenardPHJT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HenardPHJT16
Christopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon:
Comparing white-box and black-box test prioritization. ICSE 2016: 523-534
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SarroPH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SarroPH16
Federica Sarro, Alessio Petrozziello, Mark Harman:
Multi-objective software effort estimation. ICSE 2016: 619-630
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MaoHJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MaoHJ16
Ke Mao, Mark Harman, Yue Jia:
Sapienz: multi-objective automated testing for Android applications. ISSTA 2016: 94-105
[c201]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/JahangirovaCHT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/JahangirovaCHT16
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella:
Test oracle assessment and improvement. ISSTA 2016: 247-258
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BowesHHJSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BowesHHJSW16
David Bowes, Tracy Hall, Mark Harman, Yue Jia, Federica Sarro, Fan Wu:
Mutation-aware fault prediction. ISSTA 2016: 330-341
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PapadakisHHJT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PapadakisHHJT16
Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon:
Threats to the validity of mutation-based test assessment. ISSTA 2016: 354-365
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/YangHKIBZX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/YangHKIBZX16
Yibiao Yang, Mark Harman, Jens Krinke, Syed S. Islam, David W. Binkley, Yuming Zhou, Baowen Xu:
An empirical study on dependence clusters for effort-aware fault-proneness prediction. ASE 2016: 296-307
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MartinSH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MartinSH16
William J. Martin, Federica Sarro, Mark Harman:
Causal impact analysis for app releases in google play. SIGSOFT FSE 2016: 435-446
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/WuHJK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/WuHJK16
Fan Wu, Mark Harman, Yue Jia, Jens Krinke:
HOMI: Searching Higher Order Mutants for Software Improvement. SSBSE 2016: 18-33
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/LangdonWHJP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/LangdonWHJP16
William B. Langdon, David Robert White, Mark Harman, Yue Jia, Justyna Petke:
API-Constrained Genetic Improvement. SSBSE 2016: 224-230
2015
[j109]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/infsof/VeerapenOHB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/VeerapenOHB15
Nadarajen Veerapen, Gabriela Ochoa, Mark Harman, Edmund K. Burke:
An Integer Linear Programming approach to the single and bi-objective Next Release Problem. Inf. Softw. Technol. 65: 1-13 (2015)
[j108]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/HarmanC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/HarmanC15
Mark Harman, Francisco Chicano:
Search Based Software Engineering (SBSE). J. Syst. Softw. 103: 266 (2015)
[j107]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/JiaMH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/JiaMH15
Yue Jia, Mercedes G. Merayo, Mark Harman:
Introduction to the special issue on Mutation Testing. Softw. Test. Verification Reliab. 25(5-7): 461-463 (2015)
[j106]
- view
  authority control:
- export record
  dblp key:
  - journals/tec/LangdonH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tec/LangdonH15
William B. Langdon, Mark Harman:
Optimizing Existing Software With Genetic Programming. IEEE Trans. Evol. Comput. 19(1): 118-135 (2015)
[j105]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/HarmanP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/HarmanP15
Mark Harman, Mauro Pezzè:
Introduction to the Special Issue on ISSTA 2013. ACM Trans. Softw. Eng. Methodol. 24(4): 21:1-21:3 (2015)
[j104]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BarrHMSY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BarrHMSY15
Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo:
The Oracle Problem in Software Testing: A Survey. IEEE Trans. Software Eng. 41(5): 507-525 (2015)
[j103]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/PetkeCHY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/PetkeCHY15
Justyna Petke, Myra B. Cohen, Mark Harman, Shin Yoo:
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection. IEEE Trans. Software Eng. 41(9): 901-924 (2015)
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/HarmanP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/HarmanP15
Mark Harman, Justyna Petke:
GI4GI: Improving Genetic Improvement Fitness Functions. GECCO (Companion) 2015: 793-794
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/JiaWHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/JiaWHK15
Yue Jia, Fan Wu, Mark Harman, Jens Krinke:
Genetic Improvement using Higher Order Mutation. GECCO (Companion) 2015: 803-804
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LangdonH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LangdonH15
William B. Langdon, Mark Harman:
Grow and Graft a Better CUDA pknotsRG for RNA Pseudoknot Free Energy Calculation. GECCO (Companion) 2015: 805-810
[c191]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LangdonLPH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LangdonLPH15
William B. Langdon, Brian Yee Hong Lam, Justyna Petke, Mark Harman:
Improving CUDA DNA Analysis Software with Genetic Programming. GECCO 2015: 1063-1070
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/BrucePH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/BrucePH15
Bobby R. Bruce, Justyna Petke, Mark Harman:
Reducing Energy Consumption Using Genetic Improvement. GECCO 2015: 1327-1334
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/WuWHJK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/WuWHJK15
Fan Wu, Westley Weimer, Mark Harman, Yue Jia, Jens Krinke:
Deep Parameter Optimisation. GECCO 2015: 1375-1382
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HenardPHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HenardPHT15
Christopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon:
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines. ICSE (1) 2015: 517-528
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JiaCHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JiaCHP15
Yue Jia, Myra B. Cohen, Mark Harman, Justyna Petke:
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search. ICSE (1) 2015: 540-550
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PapadakisJHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PapadakisJHT15
Mike Papadakis, Yue Jia, Mark Harman, Yves Le Traon:
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique. ICSE (1) 2015: 936-946
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/HarmanJZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/HarmanJZ15
Mark Harman, Yue Jia, Yuanyuan Zhang:
Achievements, Open Problems and Challenges for Search Based Software Testing. ICST 2015: 1-12
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/NanavatiWHJK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/NanavatiWHJK15
Jay Nanavati, Fan Wu, Mark Harman, Yue Jia, Jens Krinke:
Mutation testing of memory-related operators. ICST Workshops 2015: 1-10
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/EpitropakisYHB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/EpitropakisYHB15
Michael G. Epitropakis, Shin Yoo, Mark Harman, Edmund K. Burke:
Empirical evaluation of pareto efficient multi-objective regression test case prioritisation. ISSTA 2015: 234-245
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BarrHJMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BarrHJMP15
Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, Justyna Petke:
Automated software transplantation. ISSTA 2015: 257-269
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/MartinHJSZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/MartinHJSZ15
William J. Martin, Mark Harman, Yue Jia, Federica Sarro, Yuanyuan Zhang:
The App Sampling Problem for App Store Mining. MSR 2015: 123-133
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/re/SarroAHJMZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/SarroAHJMZ15
Federica Sarro, Afnan A. Al-Subaihin, Mark Harman, Yue Jia, William J. Martin, Yuanyuan Zhang:
Feature lifecycles as they spread, migrate, remain, and die in App Stores. RE 2015: 76-85
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BinkleyGHIKY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BinkleyGHIKY15
David W. Binkley, Nicolas E. Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo:
ORBS and the limits of static slicing. SCAM 2015: 1-10
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Al-SubaihinFHJM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Al-SubaihinFHJM15
Afnan A. Al-Subaihin, Anthony Finkelstein, Mark Harman, Yue Jia, William J. Martin, Federica Sarro, Yuanyuan Zhang:
App store mining and analysis. DeMobile@SIGSOFT FSE 2015: 1-2
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/sose/MaoYWJH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sose/MaoYWJH15
Ke Mao, Ye Yang, Qing Wang, Yue Jia, Mark Harman:
Developer Recommendation for Crowdsourced Software Development Tasks. SOSE 2015: 347-356
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/BianKHJL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/BianKHJL15
Yi Bian, Serkan Kirbas, Mark Harman, Yue Jia, Zheng Li:
Regression Test Case Prioritisation for Guava. SSBSE 2015: 221-227
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/MargineanBHJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/MargineanBHJ15
Alexandru Marginean, Earl T. Barr, Mark Harman, Yue Jia:
Automated Transplantation of Call Graph and Layout Features into Kate. SSBSE 2015: 262-268
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/JiaHLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/JiaHLM15
Yue Jia, Mark Harman, William B. Langdon, Alexandru Marginean:
Grow and Serve: Growing Django Citation Services Using SBSE. SSBSE 2015: 269-275
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/PaixaoHZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/PaixaoHZ15
Matheus Paixão, Mark Harman, Yuanyuan Zhang:
Multi-objective Module Clustering for Kate. SSBSE 2015: 282-288
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/LiHWZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/LiHWZ15
Lingbo Li, Mark Harman, Fan Wu, Yuanyuan Zhang:
SBSelector: Search Based Component Selection for Budget Hardware. SSBSE 2015: 289-294
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/ZhangHJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/ZhangHJS15
Yuanyuan Zhang, Mark Harman, Yue Jia, Federica Sarro:
Inferring Test Models from Kate's Bug Reports Using Multi-objective Search. SSBSE 2015: 301-307
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/NeumannHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/NeumannHP15
Geoffrey Neumann, Mark Harman, Simon M. Poulding:
Transformed Vargha-Delaney Effect Size. SSBSE 2015: 318-324
[e11]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/2015
Elisabetta Di Nitto, Mark Harman, Patrick Heymans:
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015. ACM 2015, ISBN 978-1-4503-3675-8 [contents]
2014
[j102]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jss/IslamKBH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/IslamKBH14
Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman:
Coherent clusters in source code. J. Syst. Softw. 88: 1-24 (2014)
[j101]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/DoladoOH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/DoladoOH14
José Javier Dolado, Mari Carmen Otero, Mark Harman:
Equivalence hypothesis testing in experimental software engineering. Softw. Qual. J. 22(2): 215-238 (2014)
[j100]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/HarmanKMPRY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/HarmanKMPRY14
Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren, Shin Yoo:
Exact scalable sensitivity analysis for the next release problem. ACM Trans. Softw. Eng. Methodol. 23(2): 19:1-19:31 (2014)
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/csmr/VosTPKBHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csmr/VosTPKBHS14
Tanja E. J. Vos, Paolo Tonella, Wishnu Prasetya, Peter M. Kruse, Alessandra Bagnato, Mark Harman, Onn Shehory:
FITTEST: A new continuous and automated testing process for future Internet applications. CSMR-WCRE 2014: 407-410
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/eurogp/LangdonH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurogp/LangdonH14
William B. Langdon, Mark Harman:
Genetically Improved CUDA C++ Software. EuroGP 2014: 87-99
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/eurogp/PetkeHLW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurogp/PetkeHLW14
Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer:
Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class. EuroGP 2014: 137-149
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LangdonMPH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LangdonMPH14
William B. Langdon, Marc Modat, Justyna Petke, Mark Harman:
Improving 3D medical image registration CUDA software with genetic programming. GECCO 2014: 951-958
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LiHLZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LiHLZ14
Lingbo Li, Mark Harman, Emmanuel Letier, Yuanyuan Zhang:
Robust next release problem: handling uncertainty during optimization. GECCO 2014: 1247-1254
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/NeumannSHC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/NeumannSHC14
Geoffrey Neumann, Jerry Swan, Mark Harman, John A. Clark:
The executable experimental template pattern for the systematic comparison of metaheuristics: Extended Abstract. GECCO (Companion) 2014: 1427-1430
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HarmanJLPMYW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HarmanJLPMYW14
Mark Harman, Yue Jia, William B. Langdon, Justyna Petke, Iman Hemati Moghadam, Shin Yoo, Fan Wu:
Genetic improvement for adaptive software engineering (keynote). SEAMS 2014: 1-4
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AndroutsopoulosCDHH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AndroutsopoulosCDHH14
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman:
An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE 2014: 573-583
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YaoHJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YaoHJ14
Xiangjuan Yao, Mark Harman, Yue Jia:
A study of equivalent and stubborn mutation operators using human analysis of equivalence. ICSE 2014: 919-930
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AlshahwanH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AlshahwanH14
Nadia Alshahwan, Mark Harman:
Coverage and fault detection of the output-uniqueness test selection criteria. ISSTA 2014: 181-192
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/HarmanJMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/HarmanJMP14
Mark Harman, Yue Jia, Pedro Reales Mateo, Macario Polo:
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation. ASE 2014: 397-408
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BinkleyGHIKY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BinkleyGHIKY14
David W. Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo:
ORBS: language-independent program slicing. SIGSOFT FSE 2014: 109-120
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BarrBDHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BarrBDHS14
Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro:
The plastic surgery hypothesis. SIGSOFT FSE 2014: 306-317
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/HarmanJKLPZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/HarmanJKLPZ14
Mark Harman, Yue Jia, Jens Krinke, William B. Langdon, Justyna Petke, Yuanyuan Zhang:
Search based software engineering for software product line engineering: a survey and directions for future work. SPLC 2014: 5-18
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/HarmanIJMSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/HarmanIJMSS14
Mark Harman, Syed S. Islam, Yue Jia, Leandro L. Minku, Federica Sarro, Komsan Srivisut:
Less is More: Temporal Fault Predictive Performance over Multiple Hadoop Releases. SSBSE 2014: 240-246
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/HarmanJL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/HarmanJL14
Mark Harman, Yue Jia, William B. Langdon:
Babel Pidgin: SBSE Can Grow and Graft Entirely New Functionality into a Real World System. SSBSE 2014: 247-252
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/DanHKLMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/DanHKLMW14
Haitao Dan, Mark Harman, Jens Krinke, Lingbo Li, Alexandru Marginean, Fan Wu:
Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences. SSBSE 2014: 253-258
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/FerrucciHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/FerrucciHS14
Filomena Ferrucci, Mark Harman, Federica Sarro:
Search-Based Software Project Management. Software Project Management in a Changing World 2014: 373-399
[e10]
- view
- export record
  dblp key:
  - conf/icse/2014sbst
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2014sbst
Phil McMinn, Mark Harman:
7th International Workshop on Search-Based Software Testing, SBST 2014, Hyderabad, India, June 2, 2014. ACM 2014, ISBN 978-1-4503-2852-4 [contents]
2013
[j99]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/AndroutsopoulosCHKT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/AndroutsopoulosCHKT13
Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt:
State-based model slicing: A survey. ACM Comput. Surv. 45(4): 53:1-53:36 (2013)
[j98]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/YooHU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/YooHU13
Shin Yoo, Mark Harman, Shmuel Ur:
GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards. Empir. Softw. Eng. 18(3): 550-593 (2013)
[j97]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/LakhotiaHG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/LakhotiaHG13
Kiran Lakhotia, Mark Harman, Hamilton Gross:
AUSTIN: An open source tool for search based software testing of C programs. Inf. Softw. Technol. 55(1): 112-125 (2013)
[j96]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/ZhangHL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/ZhangHL13
Yuanyuan Zhang, Mark Harman, Soo Ling Lim:
Empirical evaluation of search based requirements interaction management. Inf. Softw. Technol. 55(1): 126-152 (2013)
[j95]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/AnandBCCCGHHMOE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/AnandBCCCGHHMOE13
Saswat Anand, Edmund K. Burke, Tsong Yueh Chen, John A. Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn:
An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8): 1978-2001 (2013)
[j94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jss/HarmanLSWY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/HarmanLSWY13
Mark Harman, Kiran Lakhotia, Jeremy Singer, David Robert White, Shin Yoo:
Cloud engineering is Search Based Software Engineering too. J. Syst. Softw. 86(9): 2225-2241 (2013)
[j93]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sqj/Harman13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/Harman13
Mark Harman:
Foreword to the invited impact paper on automatic software repair. Softw. Qual. J. 21(3): 419 (2013)
[j92]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/BozkurtHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/BozkurtHH13
Mustafa Bozkurt, Mark Harman, Youssef Hassoun:
Testing and verification in service-oriented architecture: a survey. Softw. Test. Verification Reliab. 23(4): 261-313 (2013)
[j91]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HarmanK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HarmanK13
Mark Harman, Bogdan Korel:
Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011). Softw. Test. Verification Reliab. 23(6): 437 (2013)
[j90]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HarmanK13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HarmanK13a
Mark Harman, Bogdan Korel:
Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011). Softw. Test. Verification Reliab. 23(7): 529 (2013)
[j89]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BinkleyGHIKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BinkleyGHIKL13
David W. Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Zheng Li:
Efficient Identification of Linchpin Vertices in Dependence Clusters. ACM Trans. Program. Lang. Syst. 35(2): 7:1-7:35 (2013)
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/YooHC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/YooHC13
Shin Yoo, Mark Harman, David Clark:
Fault localization prioritization: Comparing information-theoretic and coverage-based approaches. ACM Trans. Softw. Eng. Methodol. 22(3): 19:1-19:29 (2013)
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AndroutsopoulosCHHLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AndroutsopoulosCHHLT13
Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt:
Amorphous Slicing of Extended Finite State Machines. IEEE Trans. Software Eng. 39(7): 892-909 (2013)
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/Harman13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/Harman13
Mark Harman:
Software engineering: an ideal set of challenges for evolutionary computation. GECCO (Companion) 2013: 1759-1760
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HarmanCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HarmanCC13
Mark Harman, John A. Clark, Mel Ó Cinnéide:
Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote). WETSoM 2013: 1-6
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TonellaNMLH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TonellaNMLH13
Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, Mark Harman:
Automated generation of state abstraction functions using data invariant inference. AST 2013: 75-81
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FerrucciHRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FerrucciHRS13
Filomena Ferrucci, Mark Harman, Jian Ren, Federica Sarro:
Not going to take this anymore: multi-objective overtime planning for software engineering projects. ICSE 2013: 462-471
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MaoYLH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MaoYLH04
Ke Mao, Ye Yang, Mingshu Li, Mark Harman:
Pricing crowdsourcing-based software development tasks. ICSE 2013: 1205-1208
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HarmanPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HarmanPW04
Mark Harman, Richard F. Paige, James R. Williams:
1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013). ICSE 2013: 1513-1514
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/VosTPKSBH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/VosTPKSBH13
Tanja E. J. Vos, Paolo Tonella, I. S. Wishnu B. Prasetya, Peter M. Kruse, Onn Shehory, Alessandra Bagnato, Mark Harman:
The FITTEST Tool Suite for Testing Future Internet Applications. FITTEST@ICTSS 2013: 1-31
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MeyerGHS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MeyerGHS13
Bertrand Meyer, Harald C. Gall, Mark Harman, Giancarlo Succi:
Empirical answers to fundamental software engineering problems (panel). ESEC/SIGSOFT FSE 2013: 14-18
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/PetkeYCH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/PetkeYCH13
Justyna Petke, Shin Yoo, Myra B. Cohen, Mark Harman:
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing. ESEC/SIGSOFT FSE 2013: 26-36
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WangHJK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WangHJK13
Tiantian Wang, Mark Harman, Yue Jia, Jens Krinke:
Searching for better configurations: a rigorous approach to clone evaluation. ESEC/SIGSOFT FSE 2013: 455-465
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/XieKCYH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/XieKCYH13
Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, Shin Yoo, Mark Harman:
Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation. SSBSE 2013: 224-238
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/PetkeLH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/PetkeLH13
Justyna Petke, William B. Langdon, Mark Harman:
Applying Genetic Improvement to MiniSAT. SSBSE 2013: 257-262
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/HarmanLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/HarmanLW13
Mark Harman, William B. Langdon, Westley Weimer:
Genetic programming for Reverse Engineering. WCRE 2013: 1-10
[e9]
- view
- export record
  dblp key:
  - conf/icse/2013cmsbse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2013cmsbse
Richard F. Paige, Mark Harman, James R. Williams:
1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013. IEEE Computer Society 2013 [contents]
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2013
Mauro Pezzè, Mark Harman:
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. ACM 2013, ISBN 978-1-4503-2159-4 [contents]
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LangdonH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LangdonH13
William B. Langdon, Mark Harman:
Using Genetic Programming to Model Software. CoRR abs/1306.5667 (2013)
2012
[j86]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/NguyenMPTHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/NguyenMPTHL12
Cu D. Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman, Michael Luck:
Evolutionary testing of autonomous software agents. Auton. Agents Multi Agent Syst. 25(2): 260-283 (2012)
[j85]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/HarmanMZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/HarmanMZ12
Mark Harman, S. Afshin Mansouri, Yuanyuan Zhang:
Search-based software engineering: Trends, techniques and applications. ACM Comput. Surv. 45(1): 11:1-11:61 (2012)
[j84]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/YooH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/YooH12
Shin Yoo, Mark Harman:
Regression testing minimization, selection and prioritization: a survey. Softw. Test. Verification Reliab. 22(2): 67-120 (2012)
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/YooH12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/YooH12a
Shin Yoo, Mark Harman:
Test data regeneration: generating new test data from existing test data. Softw. Test. Verification Reliab. 22(3): 171-201 (2012)
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/TahatKHU12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/TahatKHU12
Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural:
Regression test suite prioritization using system models. Softw. Test. Verification Reliab. 22(7): 481-506 (2012)
[j81]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/McMinnHLHW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/McMinnHLHW12
Phil McMinn, Mark Harman, Kiran Lakhotia, Youssef Hassoun, Joachim Wegener:
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. 38(2): 453-477 (2012)
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/HarmanBCY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/HarmanBCY12
Mark Harman, Edmund K. Burke, John A. Clark, Xin Yao:
Dynamic adaptive search based software engineering. ESEM 2012: 1-8
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/CinneideTHCM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/CinneideTHCM12
Mel Ó Cinnéide, Laurence Tratt, Mark Harman, Steve Counsell, Iman Hemati Moghadam:
Experimental assessment of software metrics using automated refactoring. ESEM 2012: 49-58
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Harman12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Harman12
Mark Harman:
The role of artificial intelligence in software engineering. RAISE@ICSE 2012: 1-6
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AlshahwanH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AlshahwanH12
Nadia Alshahwan, Mark Harman:
Augmenting test suites effectiveness by increasing output diversity. ICSE 2012: 1345-1348
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/TonellaMNJLH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/TonellaMNJLH12
Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman:
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. ICST 2012: 21-30
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AlshahwanHMTT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AlshahwanHMTT12
Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella:
Crawlability Metrics for Web Applications. ICST 2012: 151-160
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AlshahwanH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AlshahwanH12
Nadia Alshahwan, Mark Harman:
State aware test case regeneration for improving web application test suite coverage and fault detection. ISSTA 2012: 45-55
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/HarmanLJWAC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/HarmanLJWAC12
Mark Harman, William B. Langdon, Yue Jia, David Robert White, Andrea Arcuri, John A. Clark:
The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper). ASE 2012: 1-14
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/mabs/PanayiHW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mabs/PanayiHW12
Efstathios Panayi, Mark Harman, Anne Wetherilt:
Agent-Based Modelling of Stock Markets Using Existing Order Book Data. MABS 2012: 101-114
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/HarmanJZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/HarmanJZ12
Mark Harman, Yue Jia, Yuanyuan Zhang:
App store mining and analysis: MSR for app stores. MSR 2012: 108-111
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/BozkurtH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/BozkurtH12
Mustafa Bozkurt, Mark Harman:
Optimised Realistic Test Input Generation Using Web Services. SSBSE 2012: 105-120
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/Harman12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/Harman12
Mark Harman:
Overview of TASE 2012 Talk on Search Based Software Engineering. TASE 2012: 3-4
2011
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Harman11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Harman11
Mark Harman:
Software Engineering Meets Evolutionary Computation. Computer 44(10): 31-39 (2011)
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/DurilloZAHN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/DurilloZAHN11
Juan José Durillo, Yuanyuan Zhang, Enrique Alba, Mark Harman, Antonio J. Nebro:
A study of the bi-objective next release problem. Empir. Softw. Eng. 16(1): 29-60 (2011)
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/ZhangHFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/ZhangHFM11
Yuanyuan Zhang, Mark Harman, Anthony Finkelstein, S. Afshin Mansouri:
Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation. Inf. Softw. Technol. 53(7): 761-773 (2011)
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/PentaHA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/PentaHA11
Massimiliano Di Penta, Mark Harman, Giuliano Antoniol:
The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study. Softw. Pract. Exp. 41(5): 495-519 (2011)
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MarchettoTTAH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MarchettoTTAH11
Alessandro Marchetto, Roberto Tiella, Paolo Tonella, Nadia Alshahwan, Mark Harman:
Crawlability metrics for automated web testing. Int. J. Softw. Tools Technol. Transf. 13(2): 131-149 (2011)
[j75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DanicicBHHKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DanicicBHHKL11
Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss, Michael R. Laurence:
A unifying theory of control dependence and its application to arbitrary program structures. Theor. Comput. Sci. 412(49): 6809-6842 (2011)
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/BinkleyHL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/BinkleyHL11
David W. Binkley, Mark Harman, Kiran Lakhotia:
FlagRemover: A testability transformation for transforming loop-assigned flags. ACM Trans. Softw. Eng. Methodol. 20(3): 12:1-12:33 (2011)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/PraditwongHY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/PraditwongHY11
Kata Praditwong, Mark Harman, Xin Yao:
Software Module Clustering as a Multi-Objective Search Problem. IEEE Trans. Software Eng. 37(2): 264-282 (2011)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/JiaH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/JiaH11
Yue Jia, Mark Harman:
An Analysis and Survey of the Development of Mutation Testing. IEEE Trans. Software Eng. 37(5): 649-678 (2011)
[c127]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cla/LangdonYH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cla/LangdonYH11
William B. Langdon, Shin Yoo, Mark Harman:
Formal Concept Analysis on Graphics Hardware. CLA 2011: 413-416
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/csmr/VosTWHPPN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csmr/VosTWHPPN11
Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder:
Future Internet Testing with FITTEST. CSMR 2011: 355-358
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/OhHY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/OhHY11
Jungsup Oh, Mark Harman, Shin Yoo:
Transition coverage testing for simulink/stateflow models using messy genetic algorithms. GECCO 2011: 1851-1858
[c124]
- view
  - electronic edition via handle.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/icmc/GoldKHB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmc/GoldKHB11
Nicolas Gold, Jens Krinke, Mark Harman, David W. Binkley:
Cloning in Max/MSP Patches. ICMC 2011
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AndroutsopoulosBCGHLL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AndroutsopoulosBCGHLL11
Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li:
Model projection: simplifying models in response to restricting the environment. ICSE 2011: 291-300
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/Harman11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/Harman11
Mark Harman:
Making the Case for MORTO: Multi Objective Regression Test Optimization. ICST Workshops 2011: 111-114
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/Harman11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/Harman11a
Mark Harman:
Refactoring as Testability Transformation. ICST Workshops 2011: 414-421
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/AlshahwanH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/AlshahwanH11
Nadia Alshahwan, Mark Harman:
Automated web application testing using search based software engineering. ASE 2011: 3-12
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BaarsHHLMTV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BaarsHHLMTV11
Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos:
Symbolic search-based testing. ASE 2011: 53-62
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HarmanJL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HarmanJL11
Mark Harman, Yue Jia, William B. Langdon:
Strong higher order mutation-based test data generation. SIGSOFT FSE 2011: 212-222
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/sose/BozkurtH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sose/BozkurtH11
Mustafa Bozkurt, Mark Harman:
Automatically generating realistic test input from web services. SOSE 2011: 13-24
[c116]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ssbse/Harman11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/Harman11
Mark Harman:
SBSE: Introduction and Motivation. SSBSE 2011: 16
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/RenHP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/RenHP11
Jian Ren, Mark Harman, Massimiliano Di Penta:
Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling. SSBSE 2011: 127-141
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/YooHU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/YooHU11
Shin Yoo, Mark Harman, Shmuel Ur:
Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. SSBSE 2011: 219-236
2010
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/DerderianHHG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/DerderianHHG10
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
Estimating the feasibility of transition paths in extended finite state machines. Autom. Softw. Eng. 17(1): 33-56 (2010)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Harman10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Harman10
Mark Harman:
Automated patching techniques: the fix is in: technical perspective. Commun. ACM 53(5): 108 (2010)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/AmtoftACHL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/AmtoftACHL10
Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li:
An alternative characterization of weak order dependence. Inf. Process. Lett. 110(21): 939-943 (2010)
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BinkleyHHIL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BinkleyHHIL10
David W. Binkley, Mark Harman, Youssef Hassoun, Syed S. Islam, Zheng Li:
Assessing the impact of global variables on program dependence and dependence clusters. J. Syst. Softw. 83(1): 96-107 (2010)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/YooH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/YooH10
Shin Yoo, Mark Harman:
Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. J. Syst. Softw. 83(4): 689-701 (2010)
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/LakhotiaMH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LakhotiaMH10
Kiran Lakhotia, Phil McMinn, Mark Harman:
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. J. Syst. Softw. 83(12): 2379-2391 (2010)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/LangdonHJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LangdonHJ10
William B. Langdon, Mark Harman, Yue Jia:
Efficient multi-objective higher order mutation testing with genetic programming. J. Syst. Softw. 83(12): 2416-2430 (2010)
[j64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BarracloughBDHHKLO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BarracloughBDHHKLO10
Richard W. Barraclough, David W. Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya:
A trajectory-based strict semantics for program slicing. Theor. Comput. Sci. 411(11-13): 1372-1386 (2010)
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HarmanM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HarmanM10
Mark Harman, Phil McMinn:
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search. IEEE Trans. Software Eng. 36(2): 226-247 (2010)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HarmanM10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HarmanM10a
Mark Harman, S. Afshin Mansouri:
Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering. IEEE Trans. Software Eng. 36(6): 737-741 (2010)
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/LangdonH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/LangdonH10
William B. Langdon, Mark Harman:
Evolving a CUDA kernel from an nVidia template. IEEE Congress on Evolutionary Computation 2010: 1-8
[c112]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/Harman10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Harman10
Mark Harman:
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. FASE 2010: 1-12
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/ZhangADEH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/ZhangADEH10
Yuanyuan Zhang, Enrique Alba, Juan José Durillo, Sigrid Eldh, Mark Harman:
Today/future importance analysis. GECCO 2010: 1357-1364
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/HarmanJL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/HarmanJL10
Mark Harman, Yue Jia, William B. Langdon:
A Manifesto for Higher Order Mutation Testing. ICST Workshops 2010: 80-89
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/HarmanKLMY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/HarmanKLMY10
Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo:
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem. ICST Workshops 2010: 182-191
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ZhaoHL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ZhaoHL10
Ruilian Zhao, Mark Harman, Zheng Li:
Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models. ICST Workshops 2010: 222-231
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/iwsc/GoldKHB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwsc/GoldKHB10
Nicolas Gold, Jens Krinke, Mark Harman, David W. Binkley:
Issues in clone classification for dataflow languages. IWSC 2010: 83-84
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/HarmanMSY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/HarmanMSY10
Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo:
Search Based Software Engineering: Techniques, Taxonomy, Tutorial. LASER Summer School 2010: 1-59
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/IslamKBH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/IslamKBH10
Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman:
Coherent dependence clusters. PASTE 2010: 53-60
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/promise/Harman10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promise/Harman10
Mark Harman:
The relationship between search based software engineering and predictive modeling. PROMISE 2010: 1
[c103]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/pts/LakhotiaTHH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/LakhotiaTHH10
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux:
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/Harman10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/Harman10
Mark Harman:
Why Source Code Analysis and Manipulation Will Always be Important. SCAM 2010: 7-19
[e7]
- view
- export record
  dblp key:
  - conf/dagstuhl/2010P10111
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2010P10111
Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie:
Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010. Dagstuhl Seminar Proceedings 10111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]
[i5]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HarmanMSX10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HarmanMSX10
Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie:
10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors 2010
[i4]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HarmanMSX10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HarmanMSX10a
Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie:
10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/HieronsBBCDDGHKKLSVWZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09
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:
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 9:1-9:76 (2009)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/JiaH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/JiaH09
Yue Jia, Mark Harman:
Higher Order Mutation Testing. Inf. Softw. Technol. 51(10): 1379-1393 (2009)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/HarmanLMOC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/HarmanLMOC09
Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John A. Clark:
TAIC PART 2007 and Mutation 2007 special issue editorial. J. Syst. Softw. 82(11): 1753-1754 (2009)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/re/FinkelsteinHMRZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/FinkelsteinHMRZ09
Anthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang:
A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making. Requir. Eng. 14(4): 231-245 (2009)
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HarmanBGGK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HarmanBGGK09
Mark Harman, David W. Binkley, Keith B. Gallagher, Nicolas Gold, Jens Krinke:
Dependence clusters in source code. ACM Trans. Program. Lang. Syst. 32(1): 1:1-1:33 (2009)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/McMinnBH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/McMinnBH09
Phil McMinn, David W. Binkley, Mark Harman:
Empirical evaluation of a nesting testability transformation for evolutionary testing. ACM Trans. Softw. Eng. Methodol. 18(3): 11:1-11:27 (2009)
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/HarmanIXW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/HarmanIXW09
Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler:
Automated test data generation for aspect-oriented programs. AOSD 2009: 185-196
[c100]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/NguyenPTMHL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/NguyenPTMHL09
Cu D. Nguyen, Anna Perini, Paolo Tonella, Simon Miles, Mark Harman, Michael Luck:
Evolutionary testing of autonomous software agents. AAMAS (1) 2009: 521-528
[c99]
- view
- export record
  dblp key:
  - conf/bpsc/BaoGH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpsc/BaoGH09
Connie Haoying Bao, Nicolas Gold, Mark Harman:
Maintaining WS-BPEL Workflows Using Aspects. BPSC 2009: 225-226
[c98]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/AndroutsopoulosCHLT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AndroutsopoulosCHLT09
Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt:
Control Dependence for Extended Finite State Machines. FASE 2009: 216-230
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/GueorguievHA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/GueorguievHA09
Stefan Gueorguiev, Mark Harman, Giuliano Antoniol:
Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering. GECCO 2009: 1673-1680
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/HarmanKRY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/HarmanKRY09
Mark Harman, Jens Krinke, Jian Ren, Shin Yoo:
Search based data sensitivity analysis applied to requirement engineering. GECCO 2009: 1681-1688
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LangdonHJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LangdonHJ09
William B. Langdon, Mark Harman, Yue Jia:
Multi objective higher order mutation testing with GP. GECCO 2009: 1945-1946
[c94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/hvc/Harman09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Harman09
Mark Harman:
The SBSE Approach to Automated Optimization of Verification and Testing. Haifa Verification Conference 2009: 3
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/AndroutsopoulosGHLT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/AndroutsopoulosGHLT09
Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt:
A theoretical and empirical study of EFSM dependence. ICSM 2009: 287-296
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/YooHU09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/YooHU09
Shin Yoo, Mark Harman, Shmuel Ur:
Measuring and Improving Latency to Avoid Test Suite Wear Out. ICST Workshops 2009: 101-110
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/YooHTS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/YooHTS09
Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi:
Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge. ISSTA 2009: 201-212
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BinkleyH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BinkleyH09
David W. Binkley, Mark Harman:
Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. SCAM 2009: 89-98
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/wse/AlshahwanHMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wse/AlshahwanHMT09
Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Paolo Tonella:
Improving Web Application Testing using testability measures. WSE 2009: 49-58
2008
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/cor/GutjahrH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cor/GutjahrH08
Walter J. Gutjahr, Mark Harman:
Search-based software engineering. Comput. Oper. Res. 35(10): 3049-3051 (2008)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/JiangGHL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/JiangGHL08
Tao Jiang, Nicolas Gold, Mark Harman, Zheng Li:
Locating dependence structures using search-based slicing. Inf. Softw. Technol. 50(12): 1189-1209 (2008)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BinkleyGHLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BinkleyGHLM08
David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi:
An empirical study of the relationship between the concepts expressed in source code and dependence. J. Syst. Softw. 81(12): 2287-2298 (2008)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/PentaAH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/PentaAH08
Massimiliano Di Penta, Giuliano Antoniol, Mark Harman:
Special Issue on Search-Based Software Maintenance. J. Softw. Maintenance Res. Pract. 20(5): 317-319 (2008)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HarmanLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HarmanLM08
Mark Harman, Zheng Li, Phil McMinn:
Editorial: Testing practice and research. Softw. Test. Verification Reliab. 18(2): 69-70 (2008)
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/HarmanBBHHKMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/HarmanBBHHKMR08
Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper:
Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing 2008: 320-344
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LakhotiaHM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LakhotiaHM08
Kiran Lakhotia, Mark Harman, Phil McMinn:
Handling dynamic data structures in search based testing. GECCO 2008: 1759-1766
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/Harman08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/Harman08
Mark Harman:
Open Problems in Testability Transformation. ICST Workshops 2008: 196-209
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/HarmanA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/HarmanA08
Mark Harman, Nadia Alshahwan:
Automated Session Data Repair for Web Application Regression Testing. ICST 2008: 298-307
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BinkleyGHLMW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BinkleyGHLMW08
David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener:
Dependence Anti Patterns. ASE Workshops 2008: 25-34
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FinkelsteinHMRZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FinkelsteinHMRZ08
Anthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang:
"Fairness Analysis" in Requirements Assignments. RE 2008: 115-124
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/ZhangFH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/ZhangFH08
Yuanyuan Zhang, Anthony Finkelstein, Mark Harman:
Search Based Requirements Optimisation: Existing Work and Challenges. REFSQ 2008: 88-94
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BinkleyGHLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BinkleyGHLM08
David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi:
Evaluating Key Statements Analysis. SCAM 2008: 121-130
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/JiaH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/JiaH08
Yue Jia, Mark Harman:
Constructing Subtle Faults Using Higher Order Mutation Testing. SCAM 2008: 249-258
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/JiangHH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/JiangHH08
Tao Jiang, Mark Harman, Youssef Hassoun:
Analysis of Procedure Splitability. WCRE 2008: 247-256
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/2008
Robert M. Hierons, Jonathan P. Bowen, Mark Harman:
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Lecture Notes in Computer Science 4949, Springer 2008, ISBN 978-3-540-78916-1 [contents]
2007
[j50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DanicicHHO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DanicicHHO07
Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya:
A non-standard semantics for program slicing and dependence analysis. J. Log. Algebraic Methods Program. 72(2): 191-206 (2007)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/GuoHHD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/GuoHHD07
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Heuristics for fault diagnosis when testing from finite state machines. Softw. Test. Verification Reliab. 17(1): 41-57 (2007)
[j48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DanicicHHHL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DanicicHHHL07
Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence:
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Theor. Comput. Sci. 373(1-2): 1-18 (2007)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BinkleyHK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BinkleyHK07
David W. Binkley, Mark Harman, Jens Krinke:
Empirical study of optimization techniques for massive slicing. ACM Trans. Program. Lang. Syst. 30(1): 3 (2007)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/BinkleyGH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/BinkleyGH07
David W. Binkley, Nicolas Gold, Mark Harman:
An empirical study of static program slice size. ACM Trans. Softw. Eng. Methodol. 16(2): 8 (2007)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LiHH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LiHH07
Zheng Li, Mark Harman, Robert M. Hierons:
Search Algorithms for Regression Test Case Prioritization. IEEE Trans. Software Eng. 33(4): 225-237 (2007)
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LakhotiaHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LakhotiaHM07
Kiran Lakhotia, Mark Harman, Phil McMinn:
A multi-objective approach to search-based test data generation. GECCO 2007: 1098-1105
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/HarmanT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/HarmanT07
Mark Harman, Laurence Tratt:
Pareto optimal search based refactoring at the design level. GECCO 2007: 1106-1113
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/ZhangHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/ZhangHM07
Yuanyuan Zhang, Mark Harman, S. Afshin Mansouri:
The multi-objective next release problem. GECCO 2007: 1129-1137
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Harman07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Harman07a
Mark Harman:
Automated Test Data Generation using Search Based Software Engineering. AST 2007: 1-2
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Harman07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Harman07
Mark Harman:
The Current State and Future of Search Based Software Engineering. FOSE 2007: 342-357
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/PentaHAQ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/PentaHAQ07
Massimiliano Di Penta, Mark Harman, Giuliano Antoniol, Fahim Qureshi:
The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach. ICSM 2007: 315-324
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/HarmanM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/HarmanM07
Mark Harman, Phil McMinn:
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. ISSTA 2007: 73-83
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/YooH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/YooH07
Shin Yoo, Mark Harman:
Pareto efficient multi-objective test case selection. ISSTA 2007: 140-150
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/Harman07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/Harman07
Mark Harman:
Search Based Software Engineering for Program Comprehension. ICPC 2007: 3-13
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HarmanHLMW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HarmanHLMW07
Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener:
The impact of input domain reduction on search-based test data generation. ESEC/SIGSOFT FSE 2007: 155-164
2006
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/DerderianHHG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/DerderianHHG06
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. Comput. J. 49(3): 331-344 (2006)
[j43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/DerrickHH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/DerrickHH06
John Derrick, Mark Harman, Robert M. Hierons:
Guest Editorial. Formal Aspects Comput. 18(1): 1-2 (2006)
[j42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BinkleyDHHO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BinkleyDHHO06
David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya:
A formal relationship between program slicing and partial evaluation. Formal Aspects Comput. 18(2): 103-119 (2006)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/HarmanLB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/HarmanLB06
Mark Harman, Arun Lakhotia, David W. Binkley:
Theory and algorithms for slicing unstructured programs. Inf. Softw. Technol. 48(7): 549-565 (2006)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/GuoHHD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/GuoHHD06
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Improving test quality using robust unique input/output circuit sequences (UIOCs). Inf. Softw. Technol. 48(8): 696-707 (2006)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/DeanHKV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/DeanHKV06
Tom Dean, Mark Harman, Rainer Koschke, Michael L. Van de Vanter:
Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop. J. Syst. Softw. 79(9): 1217-1218 (2006)
[j38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BinkleyDGHKK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BinkleyDGHKK06
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel:
A formalisation of the relationship between forms of program slicing. Sci. Comput. Program. 62(3): 228-252 (2006)
[j37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BinkleyDGHKK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BinkleyDGHKK06
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel:
Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. 360(1-3): 23-41 (2006)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BinkleyCHRT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BinkleyCHRT06
David W. Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella:
Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects. IEEE Trans. Software Eng. 32(9): 698-717 (2006)
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/csmr/Harman06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csmr/Harman06
Mark Harman:
Search-Based Software Engineering for Maintenance and Reengineering. CSMR 2006: 311
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/HarmanSSB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/HarmanSSB06
Mark Harman, Alexandros Skaliotis, Kathleen Steinhöfel, Paul Baker:
Search--based approaches to the component selection and prioritization problem. GECCO 2006: 1951-1952
[c66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iccS/Harman06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/Harman06
Mark Harman:
Search Based Software Engineering. International Conference on Computational Science (4) 2006: 740-747
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/BakerHSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/BakerHSS06
Paul Baker, Mark Harman, Kathleen Steinhöfel, Alexandros Skaliotis:
Search Based Approaches to Component Selection and Prioritization for the Next Release Problem. ICSM 2006: 176-185
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/GoldHLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/GoldHLM06
Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi:
Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. ICSM 2006: 310-319
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/McMinnHBT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/McMinnHBT06
Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella:
The species per path approach to SearchBased test data generation. ISSTA 2006: 13-24
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/GallagherBH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/GallagherBH06
Keith B. Gallagher, David W. Binkley, Mark Harman:
Stop-List Slicing. SCAM 2006: 11-20
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BinkleyHK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BinkleyHK06
David W. Binkley, Mark Harman, Jens Krinke:
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. SCAM 2006: 43-52
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/BinkleyGHLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/BinkleyGHLM06
David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi:
An Empirical Study of Executable Concept Slice Size. WCRE 2006: 103-114
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/HarmanBT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/HarmanBT06
Mark Harman, Sue Black, Paolo Tonella:
Workshop Introduction Astrenet Aspect Analysis. WCRE 2006: 323
[e5]
- view
- export record
  dblp key:
  - conf/dagstuhl/2005P5451
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2005P5451
David W. Binkley, Mark Harman, Jens Krinke:
Beyond Program Slicing, 06.11. - 11.11.2005. Dagstuhl Seminar Proceedings 05451, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents]
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/MahdaviGLH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/MahdaviGLH06
Kiarash Mahdavi, Nicolas Gold, Zheng Li, Mark Harman:
Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. Duplication, Redundancy, and Similarity in Software 2006
2005
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/HieronsHF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/HieronsHF05
Robert M. Hierons, Mark Harman, Chris Fox:
Branch-Coverage Testability Transformation for Unstructured Programs. Comput. J. 48(4): 421-436 (2005)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/DanicicFHHHL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/DanicicFHHHL05
Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence:
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. Comput. J. 48(6): 737-748 (2005)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/GuoHHD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/GuoHHD05
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. IEE Proc. Softw. 152(3): 127-140 (2005)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/DanicicDFHHHOW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/DanicicDFHHHOW05
Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward:
ConSUS: a light-weight program conditioner. J. Syst. Softw. 77(3): 241-262 (2005)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/GoldHBH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/GoldHBH05
Nicolas E. Gold, Mark Harman, David W. Binkley, Robert M. Hierons:
Unifying program slicing and concept assignment for higher-level executable source code extraction. Softw. Pract. Exp. 35(10): 977-1006 (2005)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HarmanKL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HarmanKL05
Mark Harman, Bogdan Korel, Panagiotis K. Linos:
Guest Editorial: Special Issue on Software Maintenance and Evolution. IEEE Trans. Software Eng. 31(10): 801-803 (2005)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/HarmanSM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/HarmanSM05
Mark Harman, Stephen Swift, Kiarash Mahdavi:
An empirical study of the robustness of two module clustering fitness functions. GECCO 2005: 1029-1036
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/DerderianHHG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/DerderianHHG05
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. GECCO 2005: 1081-1082
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/BinkleyCHRT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/BinkleyCHRT05
David W. Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella:
Automated Refactoring of Object Oriented Code into Aspects. ICSM 2005: 27-36
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/BinkleyH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/BinkleyH05
David W. Binkley, Mark Harman:
Locating Dependence Clusters and Dependence Pollution. ICSM 2005: 177-186
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/AntoniolPH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/AntoniolPH05
Giuliano Antoniol, Massimiliano Di Penta, Mark Harman:
Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project. ICSM 2005: 240-249
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/KorelTH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/KorelTH05
Bogdan Korel, Luay Ho Tahat, Mark Harman:
Test Prioritization Using System Models. ICSM 2005: 559-568
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/KorelHCAGZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/KorelHCAGZ05
Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, Rajiv Gupta, Q. Zhang:
Data Dependence Based Testability Transformation in Automated Test Generation. ISSRE 2005: 245-254
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BinkleyH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BinkleyH05
David W. Binkley, Mark Harman:
Forward slices are smaller than backward slices. SCAM 2005: 15-24
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BinkleyDGHKK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BinkleyDGHKK05
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel:
Minimal Slicing and the Relationships Between Forms of Slicing. SCAM 2005: 45-56
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/FatiregunHH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/FatiregunHH05
Deji Fatiregun, Mark Harman, Robert M. Hierons:
Search-Based Amorphous Slicing. WCRE 2005: 3-12
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BinkleyHK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BinkleyHK05
David W. Binkley, Mark Harman, Jens Krinke:
05451 Abstracts Collection -- Beyond Program Slicing. Beyond Program Slicing 2005
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HarmanBK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HarmanBK05
Mark Harman, David W. Binkley, Jens Krinke:
05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. Beyond Program Slicing 2005
2004
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/BinkleyH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/BinkleyH04
David W. Binkley, Mark Harman:
A survey of empirical results on program slicing. Adv. Comput. 62: 105-178 (2004)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/HarmanHMZBDDO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/HarmanHMZBDDO04
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya:
Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. 11(1): 27-61 (2004)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/FoxDHH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/FoxDHH04
Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons:
ConSIT: a fully automated conditioned program slicer. Softw. Pract. Exp. 34(1): 15-46 (2004)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/BinkleyBHT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/BinkleyBHT04
David W. Binkley, Liz Burd, Mark Harman, Paolo Tonella:
Introduction. Softw. Qual. J. 12(4): 293-295 (2004)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ClarkHH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ClarkHH04
John A. Clark, Mark Harman, Robert M. Hierons:
Editorial: Software testing in the United Kingdom. Softw. Test. Verification Reliab. 14(3): 165-166 (2004)
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HieronsH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HieronsH04
Robert M. Hierons, Mark Harman:
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Theor. Comput. Sci. 323(1-3): 191-233 (2004)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HarmanHHWSBR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HarmanHHWSBR04
Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper:
Testability Transformation. IEEE Trans. Software Eng. 30(1): 3-16 (2004)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BinkleyH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BinkleyH04
David W. Binkley, Mark Harman:
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. IEEE Trans. Software Eng. 30(11): 715-735 (2004)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/AdamopoulosHH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/AdamopoulosHH04
Konstantinos Adamopoulos, Mark Harman, Robert M. Hierons:
How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. GECCO (2) 2004: 1338-1349
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/AntoniolPH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/AntoniolPH04
Giuliano Antoniol, Massimiliano Di Penta, Mark Harman:
Search-Based Techniques for Optimizing Software Project Resource Allocation. GECCO (2) 2004: 1425-1426
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/DerderianHHG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/DerderianHHG04
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). GECCO (2) 2004: 1429-1430
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HarmanW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HarmanW04
Mark Harman, Joachim Wegener:
Getting Results from Search-Based Approaches to Software Engineering. ICSE 2004: 728-729
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BareselBHK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BareselBHK04
André Baresel, David W. Binkley, Mark Harman, Bogdan Korel:
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. ISSTA 2004: 108-118
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/DanicicLH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/DanicicLH04
Sebastian Danicic, Andrea De Lucia, Mark Harman:
Building Executable Union Slices using Conditioned Slicing. IWPC 2004: 89-99
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/metrics/HarmanC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/metrics/HarmanC04
Mark Harman, John A. Clark:
Metrics Are Fitness Functions Too. IEEE METRICS 2004: 58-69
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/metrics/AntoniolPH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/metrics/AntoniolPH04
Giuliano Antoniol, Massimiliano Di Penta, Mark Harman:
A Robust Search-Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty. IEEE METRICS 2004: 172-183
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BinkleyDGHKO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BinkleyDGHKO04
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya:
Formalizing Executable Dynamic and Forward Slicing. SCAM 2004: 43-52
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/FatiregunHH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/FatiregunHH04
Deji Fatiregun, Mark Harman, Robert M. Hierons:
Evolving Transformation Sequences using Genetic Algorithms. SCAM 2004: 66-75
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/HarmanBSH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/HarmanBSH04
Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons:
Amorphous Procedure Extraction. SCAM 2004: 85-94
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/HuHHB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/HuHHB04
Lin Hu, Mark Harman, Robert M. Hierons, David W. Binkley:
Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/2004-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/2004-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:
Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I. Lecture Notes in Computer Science 3102, Springer 2004, ISBN 3-540-22344-4 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/2004-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/2004-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:
Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II. Lecture Notes in Computer Science 3103, Springer 2004, ISBN 3-540-22343-6 [contents]
2003
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/ClarkeDHHJLMMRRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/ClarkeDHHJLMMRRS03
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:
Formulating software engineering as a search problem. IEE Proc. Softw. 150(3): 161-175 (2003)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/HarmanBD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/HarmanBD03
Mark Harman, David W. Binkley, Sebastian Danicic:
Amorphous program slicing. J. Syst. Softw. 68(1): 45-64 (2003)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/GallagherHD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/GallagherHD03
Keith B. Gallagher, Mark Harman, Sebastian Danicic:
Guaranteed inconsistency avoidance during software evolution. J. Softw. Maintenance Res. Pract. 15(6): 393-416 (2003)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LaurenceDHHH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LaurenceDHHH03
Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd:
Equivalence of conservative, free, linear program schemas is decidable. Theor. Comput. Sci. 290(1): 831-862 (2003)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DoladoHOH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DoladoHOH03
José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu:
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension. IEEE Trans. Software Eng. 29(7): 665-670 (2003)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/csmr/LuciaHHK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csmr/LuciaHHK03
Andrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke:
Unions of Slices Are Not Slices. CSMR 2003: 363-367
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/GuoHHD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/GuoHHD03
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Computing Unique Input/Output Sequences Using Genetic Algorithms. FATES 2003: 164-177
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/FatiregunHH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/FatiregunHH03
Deji Fatiregun, Mark Harman, Robert M. Hierons:
Search Based Transformations. GECCO 2003: 2511-2512
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/MahdaviHH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/MahdaviHH03
Kiarash Mahdavi, Mark Harman, Robert M. Hierons:
Finding Building Blocks for Software Clustering. GECCO 2003: 2513-2514
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BinkleyH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BinkleyH03
David W. Binkley, Mark Harman:
An Empirical Study of Predicate Dependence Levels and Trends. ICSE 2003: 330-340
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/BinkleyH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/BinkleyH03
David W. Binkley, Mark Harman:
A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity. ICSM 2003: 44-53
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/MahdaviHH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/MahdaviHH03
Kiarash Mahdavi, Mark Harman, Robert M. Hierons:
A Multiple Hill Climbing Approach to Software Module Clustering. ICSM 2003: 315-324
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BinkleyH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BinkleyH03
David W. Binkley, Mark Harman:
Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. SCAM 2003: 203-
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/HieronsHS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/HieronsHS03
Robert M. Hierons, Mark Harman, Harbhajan Singh:
Automatically Generating Information from a Z Specification to Support the Classification Tree Method. ZB 2003: 388-407
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/2003-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/2003-1
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:
Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I. Lecture Notes in Computer Science 2723, Springer 2003, ISBN 3-540-40602-6 [contents]
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/2003-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/2003-2
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:
Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II. Lecture Notes in Computer Science 2724, Springer 2003, ISBN 3-540-40603-4 [contents]
2002
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/gpem/MahdaviH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/gpem/MahdaviH02
Kiarash Mahdavi, Mark Harman:
Book Review: Automatic Re-Engineering of Software Using Genetic Programming. Genet. Program. Evolvable Mach. 3(2): 219-221 (2002)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/HarmanMHZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/HarmanMHZ02
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang:
Source code analysis and manipulation. Inf. Softw. Technol. 44(13): 717-720 (2002)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HieronsHFOD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HieronsHFOD02
Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi:
Conditioned slicing supports partition testing. Softw. Test. Verification Reliab. 12(1): 23-28 (2002)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/BowenBCHHK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/BowenBCHHK02
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause:
FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SivagurunathanHS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SivagurunathanHS02
Yoga Sivagurunathan, Mark Harman, Bala Sivagurunathan:
Slice-Based Dynamic Memory Modelling - A Case Study. COMPSAC 2002: 351-356
[c25]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/gecco/HarmanHP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/HarmanHP02
Mark Harman, Robert M. Hierons, Mark Proctor:
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. GECCO 2002: 1351-1358
[c24]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/gecco/HarmanHHBS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/HarmanHHBS02
Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer:
Improving Evolutionary Testing By Flag Removal. GECCO 2002: 1359-1366
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/HarmanHHMZDOW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/HarmanHHMZDOW02
Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener:
A Post-Placement Side-Effect Removal Algorithm. ICSM 2002: 2-11
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/HarmanHHFDWSB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/HarmanHHFDWSB02
Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel:
Evolutionary Testing Supported by Slicing and Transformation. ICSM 2002: 285
[c21]
- view
- export record
  dblp key:
  - conf/ppig/Harman02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppig/Harman02
Mark Harman:
Side-Effects Considered Harmful (but Rendered Harmless). PPIG 2002: 9
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/HarmanFHHDW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/HarmanFHHDW02
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener:
VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM 2002: 55-64
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/ZhangMHH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/ZhangMHH02
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu:
Mechanized Operational Semantics of WSL. SCAM 2002: 73-82
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/HarmanHMZDDO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/HarmanHMZDDO02
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya:
An Interprocedural Amorphous Slicer for WSL. SCAM 2002: 105-114
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/ZhangMHH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/ZhangMHH02
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu:
Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs 2002: 332-348
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/HarmanGHB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/HarmanGHB02
Mark Harman, Nicolas Gold, Robert M. Hierons, David W. Binkley:
Code Extraction Algorithms which Unify Slicing and Concept Assignment. WCRE 2002: 11-21
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/DaoudiOHDHFW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/DaoudiOHDHFW02
Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward:
ConSUS: A Scalable Approach to Conditioned Slicing. WCRE 2002: 109-118
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/OuarbyaDDHF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/OuarbyaDDHF02
Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox:
A Denotational Interprocedural Program Slicer. WCRE 2002: 181-
2001
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/HarmanJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/HarmanJ01
Mark Harman, Bryan F. Jones:
Search-based software engineering. Inf. Softw. Technol. 43(14): 833-839 (2001)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/HarmanJ01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/HarmanJ01a
Mark Harman, Bryan F. Jones:
Software engineering using metaheuristic innovative algorithms: workshop report. Inf. Softw. Technol. 43(14): 905-907 (2001)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/HarmanJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/HarmanJ01
Mark Harman, Bryan F. Jones:
The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem. ACM SIGSOFT Softw. Eng. Notes 26(6): 62-66 (2001)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sofo/Harman01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sofo/Harman01
Mark Harman:
Software Engineering. Softw. Focus 2(2): 80 (2001)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sofo/HarmanH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sofo/HarmanH01
Mark Harman, Robert M. Hierons:
An overview of program slicing. Softw. Focus 2(3): 85-92 (2001)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HarmanJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HarmanJ01
Mark Harman, Bryan F. Jones:
SEMINAL: Software Engineering Using Metaheuristic INnovative Algorithms. ICSE 2001: 762-763
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/HarmanHFDH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/HarmanHFDH01
Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd:
Pre/Post Conditioned Slicing. ICSM 2001: 138-147
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/FoxDHH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/FoxDHH01
Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons:
Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC 2001: 89-97
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/HarmanMHZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/HarmanMHZ01
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang:
Side-Effect Removal Transformation. IWPC 2001: 310-319
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/HarmanHDHLF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/HarmanHDHLF01
Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox:
Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/HarmanHMZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/HarmanHMZ01
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang:
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. WCRE 2001: 271-280
2000
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HieronsH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HieronsH00
Robert M. Hierons, Mark Harman:
Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. Formal Aspects Comput. 12(6): 423-442 (2000)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/FoxHHD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/FoxHHD00
Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic:
ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/BinkleyRSH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/BinkleyRSH00
David W. Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman:
An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool. IWPC 2000: 161-170
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/DanicicH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/DanicicH00
Sebastian Danicic, Mark Harman:
Espresso: A Slicer Generator. SAC (2) 2000: 831-839

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HieronsHD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HieronsHD99
Robert M. Hierons, Mark Harman, Sebastian Danicic:
Using Program Slicing to Assist in the Detection of Equivalent Mutants. Softw. Test. Verification Reliab. 9(4): 233-262 (1999)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/HarmanFHBD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/HarmanFHBD99
Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic:
Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217
1998
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/HarmanG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/HarmanG98
Mark Harman, Keith Brian Gallagher:
Program slicing. Inf. Softw. Technol. 40(11-12): 577-581 (1998)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/HarmanD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/HarmanD98
Mark Harman, Sebastian Danicic:
A new algorithm for slicing unstructured programs. J. Softw. Maintenance Res. Pract. 10(6): 415-441 (1998)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/HarmanSD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/HarmanSD98
Mark Harman, Yoga Sivagurunathan, Sebastian Danicic:
Analysis of Dynamic Memory Access Using Amorphous Slicing. ICSM 1998: 336-
1997
[c2]
- view
  - electronic edition @ liu.se
  - details & citations
- export record
  dblp key:
  - conf/aadebug/SivagurunathanHD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/SivagurunathanHD97
Yoga Sivagurunathan, Mark Harman, Sebastian Danicic:
Slicing, I/O and the Implicit State. AADEBUG 1997: 59-68
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/HarmanD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/HarmanD97
Mark Harman, Sebastian Danicic:
Amorphous Program Slicing. WPC 1997: 70-79
1996
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HarmanSD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HarmanSD96
Mark Harman, Dan Simpson, Sebastian Danicic:
Slicing Programs in the Presence of Errors. Formal Aspects Comput. 8(4): 490-497 (1996)
1995
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/DanicicHS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/DanicicHS95
Sebastian Danicic, Mark Harman, Yoga Sivagurunathan:
A Parallel Algorithm for Static Program Slicing. Inf. Process. Lett. 56(6): 307-313 (1995)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HarmanD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HarmanD95
Mark Harman, Sebastian Danicic:
Using Program Slicing to Simplify Testing. Softw. Test. Verification Reliab. 5(3): 143-162 (1995)
1993
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/HarmanD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/HarmanD93
Mark Harman, Sebastian Danicic:
Projecting Functional Models of Imperative Programs. ACM SIGPLAN Notices 28(11): 33-41 (1993)
1992
[b1]
- view
  - electronic edition @ bl.uk
  - details & citations
- export record
  dblp key:
  - phd/ethos/Harman92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Harman92
Mark Harman:
Functional models of procedural programs. London Metropolitan University, UK, 1992

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.