Mark Harman - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Mark Harman' as author, editor, or advisor:

Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical AnalysisShin Yoo, Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, Mark Harman. TOSEM, 26(1), 2017. [doi]
Slice-Based Dynamic Memory Modelling - A Case StudyYoga Sivagurunathan, Mark Harman, Bala Sivagurunathan. compsac 2002: 351-356 [doi]
Symbolic search-based testingArthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos. ASE 2011: 53-62 [doi]
Searching for better configurations: a rigorous approach to clone evaluationTiantian Wang, Mark Harman, Yue Jia, Jens Krinke. FSE 2013: 455-465 [doi]
A theoretical and empirical study of EFSM dependenceKelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt. ICSM 2009: 287-296 [doi]
Who Judges the Judge: An Empirical Study on Online Judge TestsKaibo Liu, Yudong Han, Jie M. Zhang, Zhenpeng Chen, Federica Sarro, Mark Harman, Gang Huang, Yun Ma 0002. ISSTA 2023: 334-346 [doi]
The relationship between search based software engineering and predictive modelingMark Harman. promise 2010: 1 [doi]
GI4GI: Improving Genetic Improvement Fitness FunctionsMark Harman, Justyna Petke. gecco 2015: 793-794 [doi]
Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept BindingNicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi. ICSM 2006: 310-319 [doi]
The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper)Mark Harman, William B. Langdon, Yue Jia, David Robert White, Andrea Arcuri, John A. Clark. ASE 2012: 1-14 [doi]
An Empirical Study of Meta- and Hyper-Heuristic Search for Multi-Objective Release PlanningYuanyuan Zhang, Mark Harman, Gabriela Ochoa, Guenther Ruhe, Sjaak Brinkkemper. TOSEM, 27(1), 2018. [doi]
Metrics Are Fitness Functions TooMark Harman, John A. Clark. metrics 2004: 58-69 [doi]
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid SearchMark Harman, Phil McMinn. TSE, 36(2):226-247, 2010. [doi]
Search Based Software EngineeringMark Harman. iccS 2006: 740-747 [doi]
FITTEST: A new continuous and automated testing process for future Internet applicationsTanja E. J. Vos, Paolo Tonella, Wishnu Prasetya, Peter M. Kruse, Alessandra Bagnato, Mark Harman, Onn Shehory. CSMR 2014: 407-410 [doi]
The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical studyMassimiliano Di Penta, Mark Harman, Giuliano Antoniol. SPE, 41(5):495-519, 2011. [doi]
VADA: A Transformation-Based System for Variable Dependence AnalysisMark Harman, Chris Fox, Rob Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2002. [doi]
Introduction to the special issue on Mutation TestingYue Jia, Mercedes G. Merayo, Mark Harman. stvr, 25(5-7):461-463, 2015. [doi]
The executable experimental template pattern for the systematic comparison of metaheuristics: Extended AbstractGeoffrey Neumann, Jerry Swan, Mark Harman, John A. Clark. gecco 2014: 1427-1430 [doi]
Pidgin Crasher: Searching for Minimised Crashing GUI Event SequencesHaitao Dan, Mark Harman, Jens Krinke, Lingbo Li, Alexandru Marginean, Fan Wu. ssbse 2014: 253-258 [doi]
Empirical Study on the Efficiency of Search Based Test Generation for EFSM ModelsRuilian Zhao, Mark Harman, Zheng Li. icst 2010: 222-231 [doi]
Constructing Subtle Faults Using Higher Order Mutation TestingYue Jia, Mark Harman. SCAM 2008: 249-258 [doi]
Forward slices are smaller than backward slicesDavid Binkley, Mark Harman. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2005. [doi]
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013Mauro Pezzè, Mark Harman, editors, ACM, 2013. [doi]
Automated search for good coverage criteria: moving from code coverage to fault coverage through search-based software engineeringPhil McMinn, Mark Harman, Gordon Fraser, Gregory M. Kapfhammer. ICSE 2016: 43-44 [doi]
Equivalence of conservative, free, linear program schemas is decidableMichael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd. TCS, 290(1):831-862, 2003.
Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job SchedulingJian Ren, Mark Harman, Massimiliano Di Penta. ssbse 2011: 127-141 [doi]
Conditioned slicing supports partition testingRobert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi. stvr, 12(1):23-28, 2002.
Maintaining WS-BPEL Workflows Using AspectsConnie Haoying Bao, Nicolas Gold, Mark Harman. bpsc 2009: 225-226
An Empirical Study of Cohesion and Coupling: Balancing Optimization and DisruptionMatheus Paixão, Mark Harman, Yuanyuan Zhang, Yijun Yu. tec, 22(3):394-414, 2018. [doi]
Stop-List SlicingKeith Gallagher, David Binkley, Mark Harman. SCAM 2006: 11-20 [doi]
Theory and algorithms for slicing unstructured programsMark Harman, Arun Lakhotia, David Binkley. INFSOF, 48(7):549-565, 2006. [doi]
Genetically Improved CUDA C++ SoftwareWilliam B. Langdon, Mark Harman. eurogp 2014: 87-99 [doi]
An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random TestingHuayao Wu, Changhai Nie, Justyna Petke, Yue Jia 0001, Mark Harman. TSE, 46(3):302-320, 2020. [doi]
Special Issue on Search-Based Software MaintenanceMassimiliano Di Penta, Giuliano Antoniol, Mark Harman. SMR, 20(5):317-319, 2008. [doi]
Evolving Transformation Sequences using Genetic AlgorithmsDeji Fatiregun, Mark Harman, Robert M. Hierons. SCAM 2004: 66-75 [doi]
Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledgeShin Yoo, Mark Harman, Paolo Tonella, Angelo Susi. ISSTA 2009: 201-212 [doi]
Investigating the relationship between price, rating, and popularity in the Blackberry World App StoreAnthony Finkelstein, Mark Harman, Yue Jia, William Martin, Federica Sarro, Yuanyuan Zhang. INFSOF, 87:119-139, 2017. [doi]
A study of the bi-objective next release problemJuan José Durillo, Yuanyuan Zhang, Enrique Alba, Mark Harman, Antonio J. Nebro. ese, 16(1):29-60, 2011. [doi]
Pareto efficient multi-objective test case selectionShin Yoo, Mark Harman. ISSTA 2007: 140-150 [doi]
The impact of input domain reduction on search-based test data generationMark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener. ESEC/FSE 2007: 155-164 [doi]
Dynamic adaptive search based software engineeringMark Harman, Edmund K. Burke, John A. Clark, Xin Yao. esem 2012: 1-8 [doi]
Coherent clusters in source codeSyed S. Islam, Jens Krinke, David Binkley, Mark Harman. jss, 88:1-24, 2014. [doi]
MuDelta: Delta-Oriented Mutation Testing at Commit TimeWei Ma, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman. ICSE 2021: 897-909 [doi]
TAIC PART 2007 and Mutation 2007 special issue editorialMark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John A. Clark. jss, 82(11):1753-1754, 2009. [doi]
Slicing Programs in the Presence of ErrorsMark Harman, Dan Simpson, Sebastian Danicic. fac, 8(4):490-497, 1996.
Multi objective higher order mutation testing with GPWilliam B. Langdon, Mark Harman, Yue Jia. gecco 2009: 1945-1946 [doi]
Artifact for Enhancing Genetic Improvement of Software with Regression Test SelectionGiovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman. ICSE 2021: 220 [doi]
Automated Test Data Generation using Search Based Software EngineeringMark Harman. ICSE 2007: 1-2 [doi]
Mobile app and app store analysis, testing and optimisationMark Harman, Afnan A. Al-Subaihin, Yue Jia, William Martin, Federica Sarro, Yuanyuan Zhang. ICSE 2016: 243-244 [doi]
Genetic Improvement using Higher Order MutationYue Jia, Fan Wu, Mark Harman, Jens Krinke. gecco 2015: 803-804 [doi]
The importance of accounting for real-world labelling when predicting software vulnerabilitiesMatthieu Jimenez, Renaud Rwemalika, Mike Papadakis, Federica Sarro, Yves Le Traon, Mark Harman. FSE 2019: 695-705 [doi]
SapFix: automated end-to-end repair at scaleAlexandru Marginean, J. Bader, S. Chandra, Mark Harman, Yue Jia 0001, Ke Mao, Alexander Mols, A. Scott. ICSE 2019: 269-278 [doi]
An alternative characterization of weak order dependenceTorben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li. ipl, 110(21):939-943, 2010. [doi]
Empirical answers to fundamental software engineering problems (panel)Bertrand Meyer, Harald Gall, Mark Harman, Giancarlo Succi. FSE 2013: 14-18 [doi]
Search-Based Amorphous SlicingDeji Fatiregun, Mark Harman, Robert M. Hierons. WCRE 2005: 3-12 [doi]
Feature lifecycles as they spread, migrate, remain, and die in App StoresFederica Sarro, Afnan A. Al-Subaihin, Mark Harman, Yue Jia, William Martin, Yuanyuan Zhang. RE 2015: 76-85 [doi]
Search Based Software Engineering [Guest Editorial]He Jiang, Ke Tang, Justyna Petke, Mark Harman. cim, 12(2):23-71, 2017. [doi]
A Parallel Algorithm for Static Program SlicingSebastian Danicic, Mark Harman, Yoga Sivagurunathan. ipl, 56(6):307-313, 1995. [doi]
Model projection: simplifying models in response to restricting the environmentKelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li. ICSE 2011: 291-300 [doi]
Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem ClassJustyna Petke, Mark Harman, William B. Langdon, Westley Weimer. eurogp 2014: 137-149 [doi]
Evaluation of estimation models using the Minimum Interval of EquivalenceJosé Javier Dolado, Daniel Rodríguez, Mark Harman, William B. Langdon, Federica Sarro. asc, 49:956-967, 2016. [doi]
Automatic testing and improvement of machine translationZeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang. ICSE 2020: 974-985 [doi]
Cloud engineering is Search Based Software Engineering tooMark Harman, Kiran Lakhotia, Jeremy Singer, David Robert White, Shin Yoo. jss, 86(9):2225-2241, 2013. [doi]
05451 Executive Summary -- Beyond Program Slicing Dagstuhl SeminarMark Harman, David Binkley, Jens Krinke. Dagstuhl 2006: [doi]
Fairea: a model behaviour mutation approach to benchmarking bias mitigation methodsMax Hort, Jie M. Zhang, Federica Sarro, Mark Harman. FSE 2021: 994-1006 [doi]
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsAppKe Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano. icst 2022: 267-278 [doi]
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution LogsPaolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman. icst 2012: 21-30 [doi]
Search-Based Software Engineering for Maintenance and ReengineeringMark Harman. CSMR 2006: 311 [doi]
An analysis of the relationship between conditional entropy and failed error propagation in software testingKelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman. ICSE 2014: 573-583 [doi]
1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013Richard F. Paige, Mark Harman, James R. Williams, editors, IEEE, 2013. [doi]
Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineeringStefan Gueorguiev, Mark Harman, Giuliano Antoniol. gecco 2009: 1673-1680 [doi]
An Analysis and Survey of the Development of Mutation TestingYue Jia, Mark Harman. TSE, 37(5):649-678, 2011. [doi]
An empirical study of the robustness of two module clustering fitness functionsMark Harman, Stephen Swift, Kiarash Mahdavi. gecco 2005: 1029-1036 [doi]
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutationMark Harman, Yue Jia, Pedro Reales Mateo, Macario Polo. ASE 2014: 397-408 [doi]
Exact scalable sensitivity analysis for the next release problemMark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren, Shin Yoo. TOSEM, 23(2):19, 2014. [doi]
Crowd intelligence enhances automated mobile testingKe Mao, Mark Harman, Yue Jia. ASE 2017: 16-26 [doi]
An Empirical Study of Amorphous Slicing as a Program Comprehension Support ToolDavid Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman. IWPC 2000: 161-170 [doi]
Are developers aware of the architectural impact of their changes?Matheus Paixão, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, Mark Harman. ASE 2017: 95-105 [doi]
Efficiency and early fault detection with lower and higher strength combinatorial interaction testingJustyna Petke, Shin Yoo, Myra B. Cohen, Mark Harman. FSE 2013: 26-36 [doi]
A Post-Placement Side-Effect Removal AlgorithmMark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener. ICSM 2002: 2-11 [doi]
Not going to take this anymore: multi-objective overtime planning for software engineering projectsFilomena Ferrucci, Mark Harman, Jian Ren, Federica Sarro. ICSE 2013: 462-471 [doi]
Agent-Based Modelling of Stock Markets Using Existing Order Book DataEfstathios Panayi, Mark Harman, Anne Wetherilt. mabs 2013: 101-114 [doi]
Genetic improvement of GPU softwareWilliam B. Langdon, Brian Yee Hong Lam, Marc Modat, Justyna Petke, Mark Harman. gpem, 18(1):5-44, 2017. [doi]
Improving Evolutionary Testing By Flag RemovalMark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer. gecco 2002: 1359-1366
Branch-Coverage Testability Transformation for Unstructured ProgramsRobert M. Hierons, Mark Harman, Chris Fox. cj, 48(4):421-436, 2005. [doi]
Testing and verification in service-oriented architecture: a surveyMustafa Bozkurt, Mark Harman, Youssef Hassoun. stvr, 23(4):261-313, 2013. [doi]
We Need a Testability Transformation SemanticsMark Harman. SEFM 2018: 3-17 [doi]
::::ConSUS::::: a light-weight program conditionerSebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward. jss, 77(3):241-262, 2005. [doi]
Grow and Graft a Better CUDA pknotsRG for RNA Pseudoknot Free Energy CalculationWilliam B. Langdon, Mark Harman. gecco 2015: 805-810 [doi]
Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software EngineeringMark Harman, S. Afshin Mansouri. TSE, 36(6):737-741, 2010. [doi]
A New Representation And Crossover Operator For Search-based Optimization Of Software ModularizationMark Harman, Robert M. Hierons, Mark Proctor. gecco 2002: 1351-1358
Memory mutation testingFan Wu, Jay Nanavati, Mark Harman, Yue Jia, Jens Krinke. INFSOF, 81:97-111, 2017. [doi]
Overview of TASE 2012 Talk on Search Based Software EngineeringMark Harman. tase 2012: 3-4 [doi]
Evolutionary testing of autonomous software agentsCu D. Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman, Michael Luck. AAMAS, 25(2):260-283, 2012. [doi]
Adaptive Multi-Objective Evolutionary Algorithms for Overtime Planning in Software ProjectsFederica Sarro, Filomena Ferrucci, Mark Harman, Alessandra Manna, Jian Ren. TSE, 43(10):898-917, 2017. [doi]
Testability Transformation - Program Transformation to Improve TestabilityMark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper. fortest 2008: 320-344 [doi]
Game-theoretic analysis of development practices: Challenges and opportunitiesCarlos Gavidia-Calderon, Federica Sarro, Mark Harman, Earl T. Barr. jss, 159, 2020. [doi]
Ownership at Large: Open Problems and Challenges in Ownership ManagementJohn Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Shan He, Ralf Lämmel, Erik Meijer 0001, Silvia Sapora, Justin Spahr-Summers. IWPC 2020: 406-410 [doi]
Enhancing Genetic Improvement of Software with Regression Test SelectionGiovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman. ICSE 2021: 1323-1333 [doi]
AUSTIN: An open source tool for search based software testing of C programsKiran Lakhotia, Mark Harman, Hamilton Gross. INFSOF, 55(1):112-125, 2013. [doi]
Detecting Trivial Mutant Equivalences via Compiler OptimisationsMarinos Kintis, Mike Papadakis, Yue Jia, Nicos Malevris, Yves Le Traon, Mark Harman. TSE, 44(4):308-333, 2018. [doi]
Backward Conditioning: A New Program Specialisation Technique and Its Application to Program ComprehensionChris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons. IWPC 2001: 89-97 [doi]
Customer Rating Reactions Can Be Predicted Purely using App FeaturesFederica Sarro, Mark Harman, Yue Jia, Yuanyuan Zhang. RE 2018: 76-87 [doi]
An Interprocedural Amorphous Slicer for WSLMark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2002. [doi]
Software EngineeringMark Harman. sofo, 2(2):80, 2001.
FlakiMe: Laboratory-Controlled Test Flakiness Impact AssessmentMaxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman. ICSE 2022: 982-994 [doi]
1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)Mark Harman, Richard F. Paige, James R. Williams. ICSE 2013: 1513-1514 [doi]
Side-Effects Considered Harmful (but Rendered Harmless)Mark Harman. PPIG 2002: 9 [doi]
Foreword to the invited impact paper on automatic software repairMark Harman. sqj, 21(3):419, 2013. [doi]
Specialising Software for Different Downstream Applications Using Genetic Improvement and Code TransplantationJustyna Petke, Mark Harman, William B. Langdon, Westley Weimer. TSE, 44(6):574-594, 2018. [doi]
Automatically Generating Information from a Z Specification to Support the Classification Tree MethodRobert M. Hierons, Mark Harman, Harbhajan Singh. zum 2003: 388-407 [doi]
An empirical investigation into branch coverage for C programs using CUTE and AUSTINKiran Lakhotia, Phil McMinn, Mark Harman. jss, 83(12):2379-2391, 2010. [doi]
GPGPU test suite minimisation: search based software engineering performance improvement using graphics cardsShin Yoo, Mark Harman, Shmuel Ur. ese, 18(3):550-593, 2013. [doi]
Guaranteed inconsistency avoidance during software evolutionKeith Gallagher, Mark Harman, Sebastian Danicic. SMR, 15(6):393-416, 2003. [doi]
Test Prioritization Using System ModelsBogdan Korel, Luay Ho Tahat, Mark Harman. ICSM 2005: 559-568 [doi]
Clustering Mobile Apps Based on Mined Textual FeaturesAfnan A. Al-Subaihin, Federica Sarro, Sue Black, L. Capra, Mark Harman, Yue Jia, Yuanyuan Zhang. esem 2016: [doi]
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, ACM, 2018. [doi]
Evolutionary testing of autonomous software agentsCu D. Nguyen, Anna Perini, Paolo Tonella, Simon Miles, Mark Harman, Michael Luck. atal 2009: 521-528 [doi]
Exact Mean Absolute Error of Baseline Predictor, MARP0William B. Langdon, José Javier Dolado, Federica Sarro, Mark Harman. INFSOF, 73:16-18, 2016. [doi]
SBSelector: Search Based Component Selection for Budget HardwareLingbo Li, Mark Harman, Fan Wu, Yuanyuan Zhang. ssbse 2015: 289-294 [doi]
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approachAndré Baresel, David Binkley, Mark Harman, Bogdan Korel. ISSTA 2004: 108-118 [doi]
Scaling Genetic Improvement and Automated Program RepairMark Harman. icse-apr 2022: 1-7 [doi]
Inferring Test Models from Kate's Bug Reports Using Multi-objective SearchYuanyuan Zhang, Mark Harman, Yue Jia, Federica Sarro. ssbse 2015: 301-307 [doi]
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through AnimationDavid Binkley, Mark Harman, Jens Krinke. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2006. [doi]
Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation NGS datasets and nVidia GPUsWilliam B. Langdon, Albert Vilella, Brian Yee Hong Lam, Justyna Petke, Mark Harman. gecco 2016: 1131-1132 [doi]
Weakest Precondition for General Recursive Programs Formalized in CoqXingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu. tphol 2002: 332-348 [doi]
The plastic surgery hypothesisEarl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro. FSE 2014: 306-317 [doi]
Automated web application testing using search based software engineeringNadia Alshahwan, Mark Harman. ASE 2011: 3-12 [doi]
Causal impact analysis for app releases in google playWilliam Martin, Federica Sarro, Mark Harman. FSE 2016: 435-446 [doi]
Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisationYuanyuan Zhang, Mark Harman, Anthony Finkelstein, S. Afshin Mansouri. INFSOF, 53(7):761-773, 2011. [doi]
Search based software engineering for software product line engineering: a survey and directions for future workMark Harman, Yue Jia, Jens Krinke, W. B. Langdon, J. Petke, Y. Zhang. SPLC 2014: 5-18 [doi]
The role of artificial intelligence in software engineeringMark Harman. ICSE 2012: 1-6 [doi]
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic ExecutionKiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux. pts 2010: 142-157 [doi]
Search-based Automatic Repair for Fairness and Accuracy in Decision-making SoftwareMax Hort, Jie M. Zhang, Federica Sarro, Mark Harman. ese, 29(1):36, February 2024. [doi]
Search--based approaches to the component selection and prioritization problemMark Harman, Alexandros Skaliotis, Kathleen Steinhöfel, Paul Baker. gecco 2006: 1951-1952 [doi]
Search-based software engineering: Trends, techniques and applicationsMark Harman, S. Afshin Mansouri, Yuanyuan Zhang. ACM Comput. Surv., 45(1):11, 2012. [doi]
Using Program Slicing to Simplify TestingMark Harman, Sebastian Danicic. stvr, 5(3):143-162, 1995.
7th International Workshop on Search-Based Software Testing, SBST 2014, Hyderabad, India, June 2, 2014Phil McMinn, Mark Harman, editors, ACM, 2014. [doi]
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic SearchYue Jia, Myra B. Cohen, Mark Harman, Justyna Petke. ICSE 2015: 540-550 [doi]
ORBS: language-independent program slicingDavid Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo. FSE 2014: 109-120 [doi]
WES: Agent-based User Interaction Simulation on Real InfrastructureJohn Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Lämmel, Erik Meijer 0001, Silvia Sapora, Justin Spahr-Summers. ICSE 2020: 276-284 [doi]
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection TechniqueMike Papadakis, Yue Jia, Mark Harman, Yves Le Traon. ICSE 2015: 936-946 [doi]
App store mining and analysis: MSR for app storesMark Harman, Yue Jia, Yuanyuan Zhang. msr 2012: 108-111 [doi]
Mechanized Operational Semantics of WSLXingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2002. [doi]
Using Program Slicing to Assist in the Detection of Equivalent MutantsRobert M. Hierons, Mark Harman, Sebastian Danicic. stvr, 9(4):233-262, 1999.
FrUITeR: a framework for evaluating UI test reuseYixue Zhao, Justin Chen, Adriana Sejfia, Marcelo Schmitt Laser, Jie Zhang, Federica Sarro, Mark Harman, Nenad Medvidovic. FSE 2020: 1190-1201 [doi]
Program slicingMark Harman, Keith Brian Gallagher. INFSOF, 40(11-12):577-581, 1998. [doi]
Tool-Supported Refactoring of Existing Object-Oriented Code into AspectsDavid Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella. TSE, 32(9):698-717, 2006. [doi]
Robotic Testing of Mobile Apps for Truly Black-Box AutomationKe Mao, Mark Harman, Yue Jia. IEEE Software, 34(2):11-16, 2017. [doi]
The multi-objective next release problemYuanyuan Zhang, Mark Harman, S. Afshin Mansouri. gecco 2007: 1129-1137 [doi]
Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part IIErick 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, editors, Volume 2724 of Lecture Notes in Computer Science, Springer, 2003.
Search Algorithms for Regression Test Case PrioritizationZheng Li, Mark Harman, Robert M. Hierons. TSE, 33(4):225-237, 2007. [doi]
Formal Concept Analysis on Graphics HardwareWilliam B. Langdon, Shin Yoo, Mark Harman. cla 2011: 413-416 [doi]
Analysis of Procedure SplitabilityTao Jiang, Mark Harman, Youssef Hassoun. WCRE 2008: 247-256 [doi]
A survey of the use of crowdsourcing in software engineeringKe Mao, Licia Capra, Mark Harman, Yue Jia. jss, 126:57-84, 2017. [doi]
Search-Based Software Project ManagementFilomena Ferrucci, Mark Harman, Federica Sarro. In Günther Ruhe, Claes Wohlin, editors, Software Project Management in a Changing World. pages 373-399, Springer, 2014. [doi]
Search Based Software Engineering for Program ComprehensionMark Harman. IWPC 2007: 3-13 [doi]
Locating Dependence Clusters and Dependence PollutionDavid Binkley, Mark Harman. ICSM 2005: 177-186 [doi]
Cloning in Max/MSP PatchesNicolas Gold, Jens Krinke, Mark Harman, David Binkley. icmc 2011: [doi]
A Denotational Interprocedural Program SlicerLahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox. WCRE 2002: 181 [doi]
Computing Unique Input/Output Sequences Using Genetic AlgorithmsQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian. fates 2004: 164-177 [doi]
Pareto optimal search based refactoring at the design levelMark Harman, Laurence Tratt. gecco 2007: 1106-1113 [doi]
Multi-objective Module Clustering for KateMatheus Paixão, Mark Harman, Yuanyuan Zhang. ssbse 2015: 282-288 [doi]
Formalizing Executable Dynamic and Forward SlicingDavid Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya. SCAM 2004: 43-52 [doi]
Espresso: A Slicer GeneratorSebastian Danicic, Mark Harman. SAC 2000: 831-839
A non-standard semantics for program slicing and dependence analysisSebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya. jlp, 72(2):191-206, 2007. [doi]
Search Based Requirements Optimisation: Existing Work and ChallengesYuanyuan Zhang, Anthony Finkelstein, Mark Harman. refsq 2008: 88-94 [doi]
MAAT: a novel ensemble approach to addressing fairness and performance bugs for machine learning softwareZhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman. FSE 2022: 1122-1134 [doi]
Test data regeneration: generating new test data from existing test dataShin Yoo, Mark Harman. stvr, 22(3):171-201, 2012. [doi]
Efficient multi-objective higher order mutation testing with genetic programmingWilliam B. Langdon, Mark Harman, Yue Jia. jss, 83(12):2416-2430, 2010. [doi]
A unifying theory of control dependence and its application to arbitrary program structuresSebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss 0001, Michael R. Laurence. TCS, 412(49):6809-6842, 2011. [doi]
Analysis of Dynamic Memory Access Using Amorphous SlicingMark Harman, Yoga Sivagurunathan, Sebastian Danicic. ICSM 1998: 336 [doi]
Improving test quality using robust unique input/output circuit sequences (UIOCs)Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian. INFSOF, 48(8):696-707, 2006. [doi]
Measurement Challenges for Cyber Cyber Digital Twins: Experiences from the Deployment of Facebook's WW Simulation SystemKinga Bojarczuk, Natalija Gucevska, Simon M. M. Lucas, Inna Dvortsova, Mark Harman, Erik Meijer 0001, Silvia Sapora, Johann George, Maria Lomeli, Rubmary Rojas. esem 2021: [doi]
Fairness Analysis in Requirements AssignmentsAnthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang. RE 2008: 115-124 [doi]
Optimised Realistic Test Input Generation Using Web ServicesMustafa Bozkurt, Mark Harman. ssbse 2012: 105-120 [doi]
Search Based Software Testing for AndroidMark Harman. ICSE 2017: 2 [doi]
The species per path approach to SearchBased test data generationPhil McMinn, Mark Harman, David Binkley, Paolo Tonella. ISSTA 2006: 13-24 [doi]
Why the Virtual Nature of Software Makes It Ideal for Search Based OptimizationMark Harman. FASE 2010: 1-12 [doi]
Identifying 'Linchpin Vertices' That Cause Large Dependence ClustersDavid Binkley, Mark Harman. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2009. [doi]
ORBS and the limits of static slicingDavid Binkley, Nicolas E. Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo. SCAM 2015: 1-10 [doi]
Automatically generating realistic test input from web servicesMustafa Bozkurt, Mark Harman. sose 2011: 13-24 [doi]
Genetic improvement for adaptive software engineering (keynote)Mark Harman, Yue Jia, William B. Langdon, Justyna Petke, Iman Hemati Moghadam, Shin Yoo, Fan Wu. ICSE 2014: 1-4 [doi]
Cost measures matter for mutation testing study validityGiovani Guizzo, Federica Sarro, Mark Harman. FSE 2020: 1127-1139 [doi]
Heuristics for fault diagnosis when testing from finite state machinesQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian. stvr, 17(1):41-57, 2007. [doi]
Applying Genetic Improvement to MiniSATJustyna Petke, William B. Langdon, Mark Harman. ssbse 2013: 257-262 [doi]
Chapter Six - Mutation Testing Advances: An Analysis and SurveyMike Papadakis, Marinos Kintis, Jie Zhang 0050, Yue Jia 0001, Yves Le Traon, Mark Harman. ac, 112:275-378, 2019. [doi]
Static Program Slicing Algorithms are Minimal for Free Liberal Program SchemasSebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence. cj, 48(6):737-748, 2005. [doi]
Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance ProjectGiuliano Antoniol, Massimiliano Di Penta, Mark Harman. ICSM 2005: 240-249 [doi]
Amorphous Slicing of Extended Finite State MachinesKelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt. TSE, 39(7):892-909, 2013. [doi]
Search Based Software Engineering (SBSE)Mark Harman, Francisco Chicano. jss, 103:266, 2015. [doi]
ConSUS: A Scalable Approach to Conditioned SlicingMohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward. WCRE 2002: 109-118 [doi]
App store mining and analysisAfnan A. Al-Subaihin, Anthony Finkelstein, Mark Harman, Yue Jia, William Martin, Federica Sarro, Yuanyuan Zhang. FSE 2015: 1-2 [doi]
A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context SensitivityDavid Binkley, Mark Harman. ICSM 2003: 44-53 [doi]
Unions of Slices Are Not SlicesAndrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke. CSMR 2003: 363-367 [doi]
Functional models of procedural programsMark Harman. PhD thesis, London Metropolitan University, UK, 1992. [doi]
Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie, editors, Volume 10111 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
Genetic Improvement of Software: A Comprehensive SurveyJustyna Petke, Saemundur O. Haraldsson, Mark Harman, William B. Langdon, David Robert White, John R. Woodward. tec, 22(3):415-432, 2018. [doi]
A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision makingAnthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang. re, 14(4):231-245, 2009. [doi]
Software engineering using metaheuristic innovative algorithms: workshop reportMark Harman, Bryan F. Jones. INFSOF, 43(14):905-907, 2001.
Model validation using mutated training labels: An exploratory studyJie M. Zhang, Mark Harman, Benjamin Guedj, Earl T. Barr, John Shawe-Taylor. ijon, 539:126116, June 2023. [doi]
Predictive Mutation TestingJie Zhang 0050, Lingming Zhang, Mark Harman, Dan Hao, Yue Jia 0001, Lu Zhang 0023. TSE, 45(9):898-918, 2019. [doi]
Software Engineering Meets Evolutionary ComputationMark Harman. Computer, 44(10):31-39, 2011. [doi]
Babel Pidgin: SBSE Can Grow and Graft Entirely New Functionality into a Real World SystemMark Harman, Yue Jia, William B. Langdon. ssbse 2014: 247-252 [doi]
Achievements, Open Problems and Challenges for Search Based Software TestingMark Harman, Yue Jia, Yuanyuan Zhang. icst 2015: 1-12 [doi]
Deploying Search Based Software Engineering with Sapienz at FacebookNadia Alshahwan, Xinbo Gao, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Taijin Tei, Ilya Zorin. ssbse 2018: 3-45 [doi]
Improving CUDA DNA Analysis Software with Genetic ProgrammingWilliam B. Langdon, Brian Yee Hong Lam, Justyna Petke, Mark Harman. gecco 2015: 1063-1070 [doi]
Mechanized Operational Semantics of WSLXingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu. SCAM 2002: 73-82 [doi]
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing MutantsMilos Ojdanic, Mike Papadakis, Mark Harman. FSE 2023: 2067-2071 [doi]
CROP: linking code reviews to source code changesMatheus Paixão, Jens Krinke, DongGyun Han, Mark Harman. msr 2018: 46-49 [doi]
Inferring test models from user bug reports using multi-objective searchGiovani Guizzo, Francesco Califano, Federica Sarro, Filomena Ferrucci, Mark Harman. ese, 28(4):95, July 2023. [doi]
Automated Session Data Repair for Web Application Regression TestingMark Harman, Nadia Alshahwan. icst 2008: 298-307 [doi]
Automated software transplantationEarl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, Justyna Petke. ISSTA 2015: 257-269 [doi]
State-based model slicing: A surveyKelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt. ACM Comput. Surv., 45(4):53, 2013. [doi]
Multi-objective software performance optimisation at the architecture level using randomised search rulesYoucong Ni, Xin Du, Peng Ye, Leandro L. Minku, Xin Yao 0001, Mark Harman, Ruliang Xiao. INFSOF, 135:106565, 2021. [doi]
FlagRemover: A testability transformation for transforming loop-assigned flagsDavid Binkley, Mark Harman, Kiran Lakhotia. TOSEM, 20(3):12, 2011. [doi]
Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data GenerationPhil McMinn, Mark Harman, Kiran Lakhotia, Youssef Hassoun, Joachim Wegener. TSE, 38(2):453-477, 2012. [doi]
Making the Case for MORTO: Multi Objective Regression Test OptimizationMark Harman. icst 2011: 111-114 [doi]
The Impact of Code Review on Architectural ChangesMatheus Paixão, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, Mark Harman. TSE, 47(5):1041-1059, 2021. [doi]
Sapienz: multi-objective automated testing for Android applicationsKe Mao, Mark Harman, Yue Jia. ISSTA 2016: 94-105 [doi]
Side-Effect Removal TransformationMark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang. IWPC 2001: 310-322 [doi]
Simulation-Driven Automated End-to-End Test and Oracle InferenceShreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiao-yu Wang, Graham Wright. ICSE 2023: 122-133 [doi]
An Interprocedural Amorphous Slicer for WSLMark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya. SCAM 2002: 105-114 [doi]
Program Simplification as a Means of Approximating Undecidable PropositionsMark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic. IWPC 1999: 208-217 [doi]
Stop-List SlicingKeith Gallagher, David Binkley, Mark Harman. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2006. [doi]
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015Elisabetta Di Nitto, Mark Harman, Patrick Heymans, editors, ACM, 2015. [doi]
Book Review: Automatic Re-Engineering of Software Using Genetic ProgrammingKiarash Mahdavi, Mark Harman. gpem, 3(2):219-221, 2002.
Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part IKalyanmoy 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, editors, Volume 3102 of Lecture Notes in Computer Science, Springer, 2004.
Regression Test Case Prioritisation for GuavaYi Bian, Serkan Kirbas, Mark Harman, Yue Jia, Zheng Li. ssbse 2015: 221-227 [doi]
Regression test suite prioritization using system modelsLuay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural. stvr, 22(7):481-506, 2012. [doi]
A Survey of App Store Analysis for Software EngineeringWilliam Martin, Federica Sarro, Yue Jia, Yuanyuan Zhang, Mark Harman. TSE, 43(9):817-847, 2017. [doi]
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost ProblemMark Harman, Sung-Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo. icst 2010: 182-191 [doi]
Source code analysis and manipulationMark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang. INFSOF, 44(13):717-720, 2002.
Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept BindingKiarash Mahdavi, Nicolas Gold, Zheng Li, Mark Harman. Dagstuhl 2007: [doi]
Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, ACM, 2018. [doi]
Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part IErick 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, editors, Volume 2723 of Lecture Notes in Computer Science, Springer, 2003.
Node Coarsening Calculi for Program SlicingMark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox. WCRE 2001: 25-34 [doi]
Assessing the impact of global variables on program dependence and dependence clustersDavid Binkley, Mark Harman, Youssef Hassoun, Syed Islam, Zheng Li. jss, 83(1):96-107, 2010. [doi]
Forward slices are smaller than backward slicesDavid Binkley, Mark Harman. SCAM 2005: 15-24 [doi]
Efficient Identification of Linchpin Vertices in Dependence ClustersDavid Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Zheng Li. TOPLAS, 35(2):7, 2013. [doi]
Coherent dependence clustersSyed S. Islam, Jens Krinke, David Binkley, Mark Harman. PASTE 2010: 53-60 [doi]
Search based data sensitivity analysis applied to requirement engineeringMark Harman, Jens Krinke, Jian Ren, Shin Yoo. gecco 2009: 1681-1688 [doi]
The Oracle Problem in Software Testing: A SurveyEarl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo. TSE, 41(5):507-525, 2015. [doi]
Strong higher order mutation-based test data generationMark Harman, Yue Jia, William B. Langdon. FSE 2011: 212-222 [doi]
Search Based Software Engineering: Techniques, Taxonomy, TutorialMark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo. laser 2012: 1-59 [doi]
An Integer Linear Programming approach to the single and bi-objective Next Release ProblemNadarajen Veerapen, Gabriela Ochoa, Mark Harman, Edmund K. Burke. INFSOF, 65:1-13, 2015. [doi]
Handling dynamic data structures in search based testingKiran Lakhotia, Mark Harman, Phil McMinn. gecco 2008: 1759-1766 [doi]
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected PapersRobert M. Hierons, Jonathan P. Bowen, Mark Harman, editors, Volume 4949 of Lecture Notes in Computer Science, Springer, 2008.
An experimental search-based approach to cohesion metric evaluationMel Ó Cinnéide, Iman Hemati Moghadam, Mark Harman, Steve Counsell, Laurence Tratt. ese, 22(1):292-329, 2017. [doi]
Equivalence hypothesis testing in experimental software engineeringJosé Javier Dolado, Mari Carmen Otero, Mark Harman. sqj, 22(2):215-238, 2014. [doi]
Grow and Serve: Growing Django Citation Services Using SBSEYue Jia, Mark Harman, William B. Langdon, Alexandru Marginean. ssbse 2015: 269-275 [doi]
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through AnimationDavid Binkley, Mark Harman, Jens Krinke. SCAM 2006: 43-52 [doi]
A Comprehensive Empirical Study of Bias Mitigation Methods for Machine Learning ClassifiersZhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman. TOSEM, 32(4), July 2023. [doi]
Testability TransformationMark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper. TSE, 30(1):3-16, 2004. [doi]
Workshop Introduction Astrenet Aspect AnalysisMark Harman, Sue Black, Paolo Tonella. WCRE 2006: 323 [doi]
Large Language Models for Software Engineering: Survey and Open ProblemsAngela Fan, Beliz Gokkaya, Mark Harman, Mitya Lyubarskiy, Shubho Sengupta, Shin Yoo, Jie M. Zhang. fose-ws 2023: 31-53 [doi]
A Survey of Performance Optimization for Mobile ApplicationsMax Hort, Maria Kechagia, Federica Sarro, Mark Harman. TSE, 48(8):2879-2904, 2022. [doi]
Why Source Code Analysis and Manipulation Will Always be ImportantMark Harman. SCAM 2010: 7-19 [doi]
An Empirical Comparison of Mutant Selection Assessment MetricsJie M. Zhang, Lingming Zhang, Dan Hao, Lu Zhang, Mark Harman. icst 2019: 90-101 [doi]
10111 Executive Summary - Practical Software Testing: Tool Automation and Human FactorsMark Harman, Henry Muccini, Wolfram Schulte, Tao Xie. Dagstuhl 2010: [doi]
A formalisation of the relationship between forms of program slicingDavid Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel. SCP, 62(3):228-252, 2006. [doi]
Open Problems in Testability TransformationMark Harman. icst 2008: 196-209 [doi]
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product LinesChristopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon. ICSE 2015: 517-528 [doi]
Constructing Subtle Faults Using Higher Order Mutation TestingYue Jia, Mark Harman. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2008. [doi]
Projecting Functional Models of Imperative ProgramsMark Harman, Sebastian Danicic. SIGPLAN, 28(11):33-41, 1993.
Automated Transplantation of Call Graph and Layout Features into KateAlexandru Marginean, Earl T. Barr, Mark Harman, Yue Jia. ssbse 2015: 262-268 [doi]
Deep Parameter OptimisationFan Wu, Westley Weimer, Mark Harman, Yue Jia, Jens Krinke. gecco 2015: 1375-1382 [doi]
Machine Learning Testing: Survey, Landscapes and HorizonsJie M. Zhang, Mark Harman, Lei Ma 0003, Yang Liu 0003. TSE, 48(2):1-36, 2022. [doi]
Search-based software engineeringMark Harman, Bryan F. Jones. INFSOF, 43(14):833-839, 2001.
Theoretical foundations of dynamic program slicingDavid Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel. TCS, 360(1-3):23-41, 2006. [doi]
Developer Recommendation for Crowdsourced Software Development TasksKe Mao, Ye Yang, Qing Wang, Yue Jia, Mark Harman. sose 2015: 347-356 [doi]
Automated test data generation for aspect-oriented programsMark Harman, Fayezin Islam, Tao Xie, Stefan Wappler. AOSD 2009: 185-196 [doi]
An orchestrated survey of methodologies for automated software test case generationSaswat Anand, Edmund K. Burke, Tsong Yueh Chen, John A. Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn. jss, 86(8):1978-2001, 2013. [doi]
Constructing multiple unique input/output sequences using metaheuristic optimisation techniquesQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian. iee, 152(3):127-140, 2005. [doi]
Search Based Approaches to Component Selection and Prioritization for the Next Release ProblemPaul Baker, Mark Harman, Kathleen Steinhöfel, Alexandros Skaliotis. ICSM 2006: 176-185 [doi]
Editorial: Testing practice and researchMark Harman, Zheng Li, Phil McMinn. stvr, 18(2):69-70, 2008. [doi]
OASIs: oracle assessment and improvement toolGunel Jahangirova, David Clark, Mark Harman, Paolo Tonella. ISSTA 2018: 368-371 [doi]
Are mutants really natural?: a study on how "naturalness" helps mutant selectionMatthieu Jimenez, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis, Marinos Kintis, Yves Le Traon, Mark Harman. esem 2018: [doi]
The App Sampling Problem for App Store MiningWilliam Martin, Mark Harman, Yue Jia, Federica Sarro, Yuanyuan Zhang. msr 2015: 123-133 [doi]
Coverage and fault detection of the output-uniqueness test selection criteriaNadia Alshahwan, Mark Harman. ISSTA 2014: 181-192 [doi]
Today/future importance analysisYuanyuan Zhang, Enrique Alba, Juan José Durillo, Sigrid Eldh, Mark Harman. gecco 2010: 1357-1364 [doi]
Leveraging Automated Unit Tests for Unsupervised Code TranslationBaptiste Rozière, Jie Zhang, François Charton, Mark Harman, Gabriel Synnaeve, Guillaume Lample. iclr 2022: [doi]
Mutation analysis for evaluating code translationGiovani Guizzo, Jie M. Zhang, Federica Sarro, Christoph Treude, Mark Harman. ese, 29(1):19, February 2024. [doi]
API-Constrained Genetic ImprovementWilliam B. Langdon, David R. White, Mark Harman, Yue Jia, Justyna Petke. ssbse 2016: 224-230 [doi]
Improving Web Application Testing using testability measuresNadia Alshahwan, Mark Harman, Alessandro Marchetto, Paolo Tonella. WSE 2009: 49-58 [doi]
Pricing crowdsourcing-based software development tasksKe Mao, Ye Yang, Mingshu Li, Mark Harman. ICSE 2013: 1205-1208 [doi]
Using formal specifications to support testingRobert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan. ACM Comput. Surv., 41(2), 2009. [doi]
Crawlability Metrics for Web ApplicationsNadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella. icst 2012: 151-160 [doi]
FORTEST: Formal Methods and TestingJonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause. compsac 2002: 91-104 [doi]
Locating dependence structures using search-based slicingTao Jiang, Nicolas Gold, Mark Harman, Zheng Li. INFSOF, 50(12):1189-1209, 2008. [doi]
Amorphous Program SlicingMark Harman, Sebastian Danicic. IWPC 1997: 70-79 [doi]
State aware test case regeneration for improving web application test suite coverage and fault detectionNadia Alshahwan, Mark Harman. ISSTA 2012: 45-55 [doi]
Higher Order Mutation TestingYue Jia, Mark Harman. INFSOF, 51(10):1379-1393, 2009. [doi]
Evaluating Key Statements AnalysisDavid Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2008. [doi]
Testing Conformance to a Quasi-Non-Deterministic Stream X-MachineRobert M. Hierons, Mark Harman. fac, 12(6):423-442, 2000. [doi]
05451 Abstracts Collection -- Beyond Program SlicingDavid Binkley, Mark Harman, Jens Krinke. Dagstuhl 2006: [doi]
Dependence clusters in source codeMark Harman, David Binkley, Keith Gallagher, Nicolas Gold, Jens Krinke. TOPLAS, 32(1), 2009. [doi]
Facebook's Cyber-Cyber and Cyber-Physical Digital TwinsJohn Ahlgren, Kinga Bojarczuk, Sophia Drossopoulou, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Simon M. M. Lucas, Erik Meijer 0001, Steve Omohundro, Rubmary Rojas, Silvia Sapora, Norm Zhou. EASE 2021: 1-9 [doi]
An overview of program slicingMark Harman, Robert M. Hierons. sofo, 2(3):85-92, 2001.
Search-Based Techniques for Optimizing Software Project Resource AllocationGiuliano Antoniol, Massimiliano Di Penta, Mark Harman. gecco 2004: 1425-1426 [doi]
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMsKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. cj, 49(3):331-344, 2006. [doi]
"Ignorance and Prejudice" in Software FairnessJie M. Zhang, Mark Harman. ICSE 2021: 1436-1447 [doi]
ConSIT: A Conditioned Program SlicerChris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic. ICSM 2000: 216 [doi]
Evolutionary Testing Supported by Slicing and TransformationMark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel. ICSM 2002: 285 [doi]
An empirical study of static program slice sizeDavid Binkley, Nicolas Gold, Mark Harman. TOSEM, 16(2):8, 2007. [doi]
Software Module Clustering as a Multi-Objective Search ProblemKata Praditwong, Mark Harman, Xin Yao. TSE, 37(2):264-282, 2011. [doi]
Some challenges for software testing research (invited talk paper)Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia 0001, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin. ISSTA 2019: 1-3 [doi]
Measuring and Improving Latency to Avoid Test Suite Wear OutShin Yoo, Mark Harman, Shmuel Ur. icst 2009: 101-110 [doi]
A study of equivalent and stubborn mutation operators using human analysis of equivalenceXiangjuan Yao, Mark Harman, Yue Jia. ICSE 2014: 919-930 [doi]
The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based ApproachMassimiliano Di Penta, Mark Harman, Giuliano Antoniol, Fahim Qureshi. ICSM 2007: 315-324 [doi]
The SEMINAL workshop: reformulating software engineering as a metaheuristic search problemMark Harman, Bryan F. Jones. sigsoft, 26(6):62-66, 2001. [doi]
Multi-Objective Software Effort Estimation: A Replication StudyVali Tawosi, Federica Sarro, Alessio Petrozziello, Mark Harman. TSE, 48(8):3185-3205, 2022. [doi]
An Empirical Validation of Oracle ImprovementGunel Jahangirova, David Clark, Mark Harman, Paolo Tonella. TSE, 47(8):1708-1728, 2021. [doi]
App Store Effects on Software Engineering PracticesAfnan A. Al-Subaihin, Federica Sarro, Sue Black 0001, Licia Capra, Mark Harman. TSE, 47(2):300-319, 2021. [doi]
Issues in clone classification for dataflow languagesNicolas Gold, Jens Krinke, Mark Harman, David Binkley. iwsc 2010: 83-84 [doi]
An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumptionThierry Titcheu Chekam, Mike Papadakis, Yves Le Traon, Mark Harman. ICSE 2017: 597-608 [doi]
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs)Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. gecco 2004: 1429-1430 [doi]
Evolving a CUDA kernel from an nVidia templateWilliam B. Langdon, Mark Harman. cec 2010: 1-8 [doi]
Evaluating Automatic Program Repair Capabilities to Repair API MisusesMaria Kechagia, Sergey Mechtaev, Federica Sarro, Mark Harman. TSE, 48(7):2658-2679, 2022. [doi]
Threats to the validity of mutation-based test assessmentMike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon. ISSTA 2016: 354-365 [doi]
Regression testing minimization, selection and prioritization: a surveyShin Yoo, Mark Harman. stvr, 22(2):67-120, 2012. [doi]
SEMINAL: Software Engineering Using Metaheuristic INnovative AlgorithmsMark Harman, Bryan F. Jones. ICSE 2001: 762-763
Software engineering: an ideal set of challenges for evolutionary computationMark Harman. gecco 2013: 1759-1760 [doi]
Using hybrid algorithm for Pareto efficient multi-objective test suite minimisationShin Yoo, Mark Harman. jss, 83(4):689-701, 2010. [doi]
Transformed Vargha-Delaney Effect SizeGeoffrey Neumann, Mark Harman, Simon M. Poulding. ssbse 2015: 318-324 [doi]
Refactoring as Testability TransformationMark Harman. icst 2011: 414-421 [doi]
Identifying Linchpin Vertices That Cause Large Dependence ClustersDavid Binkley, Mark Harman. SCAM 2009: 89-98 [doi]
Testing Web Enabled Simulation at Scale Using Metamorphic TestingJohn Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Erik Meijer 0001, Silvia Sapora, Justin Spahr-Summers. ICSE 2021: 140-149 [doi]
Improving 3D medical image registration CUDA software with genetic programmingWilliam B. Langdon, Marc Modat, Justyna Petke, Mark Harman. gecco 2014: 951-958 [doi]
Guest Editorial: Special Issue on Software Maintenance and EvolutionMark Harman, Bogdan Korel, Panagiotis K. Linos. TSE, 31(10):801-803, 2005. [doi]
Genetic programming for Reverse EngineeringMark Harman, William B. Langdon, Westley Weimer. WCRE 2013: 1-10 [doi]
Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011)Mark Harman, Bogdan Korel. stvr, 23(7):529, 2013. [doi]
A trajectory-based strict semantics for program slicingRichard W. Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya. TCS, 411(11-13):1372-1386, 2010. [doi]
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithmsKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. gecco 2005: 1081-1082 [doi]
The Value of Exact Analysis in Requirements SelectionLingbo Li, Mark Harman, Fan Wu, Yuanyuan Zhang. TSE, 43(6):580-596, 2017. [doi]
Empirical evaluation of pareto efficient multi-objective regression test case prioritisationMichael G. Epitropakis, Shin Yoo, Mark Harman, Edmund K. Burke. ISSTA 2015: 234-245 [doi]
GUSTT: An Amorphous Slicing System which Combines Slicing and TransformationMark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang. WCRE 2001: 271-280 [doi]
Fault localization prioritization: Comparing information-theoretic and coverage-based approachesShin Yoo, Mark Harman, David Clark. TOSEM, 22(3):19, 2013. [doi]
Software Testing Research Challenges: An Industrial PerspectiveNadia Alshahwan, Mark Harman, Alexandru Marginean. icst 2023: 1-10 [doi]
Guest EditorialJohn Derrick, Mark Harman, Robert M. Hierons. fac, 18(1):1-2, 2006. [doi]
Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011)Mark Harman, Bogdan Korel. stvr, 23(6):437, 2013. [doi]
The SBSE Approach to Automated Optimization of Verification and TestingMark Harman. hvc 2011: 3 [doi]
A Multiple Hill Climbing Approach to Software Module ClusteringKiarash Mahdavi, Mark Harman, Robert M. Hierons. ICSM 2003: 315-324 [doi]
Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault LocalisationXiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, Shin Yoo, Mark Harman. ssbse 2013: 224-238 [doi]
ConSIT: a fully automated conditioned program slicerChris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons. SPE, 34(1):15-46, 2004. [doi]
Minimal Slicing and the Relationships Between Forms of SlicingDave Binkley, Sebastian Danicic, Tibor Gyimothy, Mark Harman, Akos Kiss, Bogdan Korel. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2005. [doi]
Less is More: Temporal Fault Predictive Performance over Multiple Hadoop ReleasesMark Harman, Syed S. Islam, Yue Jia, Leandro L. Minku, Federica Sarro, Komsan Srivisut. ssbse 2014: 240-246 [doi]
A Study of Bug Resolution Characteristics in Popular Programming LanguagesJie M. Zhang, Feng Li, Dan Hao 0001, Meng Wang 0002, Hao Tang, Lu Zhang 0023, Mark Harman. TSE, 47(12):2684-2697, 2021. [doi]
The FITTEST Tool Suite for Testing Future Internet ApplicationsTanja E. J. Vos, Paolo Tonella, I. S. Wishnu B. Prasetya, Peter M. Kruse, Onn Shehory, Alessandra Bagnato, Mark Harman. pts 2014: 1-31 [doi]
Multi-objective software effort estimationFederica Sarro, Alessio Petrozziello, Mark Harman. ICSE 2016: 619-630 [doi]
Message from the SEIP Chairs of ICSE 2022Mark Harman, Heather Miller. ICSE 2022: [doi]
Testing conformance of a deterministic implementation against a non-deterministic stream X-machineRobert M. Hierons, Mark Harman. TCS, 323(1-3):191-233, 2004. [doi]
Crawlability metrics for automated web testingAlessandro Marchetto, Roberto Tiella, Paolo Tonella, Nadia Alshahwan, Mark Harman. STTT, 13(2):131-149, 2011. [doi]
Mutation-aware fault predictionDavid Bowes, Tracy Hall, Mark Harman, Yue Jia, Federica Sarro, Fan Wu. ISSTA 2016: 330-341 [doi]
Test oracle assessment and improvementGunel Jahangirova, David Clark, Mark Harman, Paolo Tonella. ISSTA 2016: 247-258 [doi]
Slicing, I/O and the Implicit StateYoga Sivagurunathan, Mark Harman, Sebastian Danicic. AADEBUG 1997: 59-68 [doi]
The Assessor's Dilemma: Improving Bug Repair via Empirical Game TheoryCarlos Gavidia-Calderon, Federica Sarro, Mark Harman, Earl T. Barr. TSE, 47(10):2143-2161, 2021. [doi]
Highly Scalable Multi Objective Test Suite Minimisation Using Graphics CardsShin Yoo, Mark Harman, Shmuel Ur. ssbse 2011: 219-236 [doi]
10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human FactorsMark Harman, Henry Muccini, Wolfram Schulte, Tao Xie. Dagstuhl 2010: [doi]
Mutation testing of memory-related operatorsJay Nanavati, Fan Wu, Mark Harman, Yue Jia, Jens Krinke. icst 2015: 1-10 [doi]
Estimating the feasibility of transition paths in extended finite state machinesKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. ASE, 17(1):33-56, 2010. [doi]
HOMI: Searching Higher Order Mutants for Software ImprovementFan Wu, Mark Harman, Yue Jia, Jens Krinke. ssbse 2016: 18-33 [doi]
Learning From Mistakes: Machine Learning Enhanced Human Expert Effort EstimatesFederica Sarro, Rebecca Moussa, Alessio Petrozziello, Mark Harman. TSE, 48(6):1868-1882, 2022. [doi]
Future Internet Testing with FITTESTTanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder. CSMR 2011: 355-358 [doi]
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault DetectionJustyna Petke, Myra B. Cohen, Mark Harman, Shin Yoo. TSE, 41(9):901-924, 2015. [doi]
Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial TestingHuayao Wu, Changhai Nie, Justyna Petke, Yue Jia 0001, Mark Harman. TSE, 47(11):2549-2562, 2021. [doi]
An empirical study on dependence clusters for effort-aware fault-proneness predictionYibiao Yang, Mark Harman, Jens Krinke, Syed S. Islam, David Binkley, Yuming Zhou, Baowen Xu. ASE 2016: 296-307 [doi]
From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program AnalysisMark Harman, Peter W. O'Hearn. SCAM 2018: 1-23 [doi]
Reducing Energy Consumption Using Genetic ImprovementBobby R. Bruce, Justyna Petke, Mark Harman. gecco 2015: 1327-1334 [doi]
Editorial: Software testing in the United KingdomJohn A. Clark, Mark Harman, Robert M. Hierons. stvr, 14(3):165-166, 2004. [doi]
Automated patching techniques: the fix is in: technical perspectiveMark Harman. CACM, 53(5):108, 2010. [doi]
Amorphous Procedure ExtractionMark Harman, David Binkley, Ranjit Singh, Robert M. Hierons. SCAM 2004: 85-94 [doi]
Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote)Mark Harman, John A. Clark, Mel O. Cinneidez. ICSE 2013: 1-6 [doi]
A Manifesto for Higher Order Mutation TestingMark Harman, Yue Jia, William B. Langdon. icst 2010: 80-89 [doi]
Improving Machine Translation Systems via Isotopic ReplacementZeyu Sun 0004, Jie M. Zhang, Yingfei Xiong 0001, Mark Harman, Mike Papadakis, Lu Zhang 0023. ICSE 2022: 1181-1192 [doi]
The Current State and Future of Search Based Software EngineeringMark Harman. ICSE 2007: 342-357 [doi]
Introduction to the Special Issue on ISSTA 2013Mark Harman, Mauro Pezzè. TOSEM, 24(4):21, 2015. [doi]
An Empirical Investigation of the Influence of a Type of Side Effects on Program ComprehensionJosé Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu. TSE, 29(7):665-670, 2003. [doi]
A multi-objective approach to search-based test data generationKiran Lakhotia, Mark Harman, Phil McMinn. gecco 2007: 1098-1105 [doi]
Generalized observational slicing for tree-represented modelling languagesNicolas E. Gold, David Binkley, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo. FSE 2017: 547-558 [doi]
Experimental assessment of software metrics using automated refactoringMel Ó Cinnéide, Laurence Tratt, Mark Harman, Steve Counsell, Iman Hemati Moghadam. esem 2012: 49-58 [doi]
Inferring Automatic Test OraclesWilliam B. Langdon, Shin Yoo, Mark Harman. ICSE 2017: 5-6 [doi]
Search Based TransformationsDeji Fatiregun, Mark Harman, Robert M. Hierons. gecco 2003: 2511-2512 [doi]
Augmenting test suites effectiveness by increasing output diversityNadia Alshahwan, Mark Harman. ICSE 2012: 1345-1348 [doi]
Approximate Oracles and Synergy in Software Energy Search SpacesBobby R. Bruce, Justyna Petke, Mark Harman, Earl T. Barr. TSE, 45(11):1150-1169, 2019. [doi]
Automated generation of state abstraction functions using data invariant inferencePaolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, Mark Harman. ICSE 2013: 75-81 [doi]
Robust next release problem: handling uncertainty during optimizationLingbo Li, Mark Harman, Emmanuel Letier, Yuanyuan Zhang. gecco 2014: 1247-1254 [doi]
Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part IIKalyanmoy 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, editors, Volume 3103 of Lecture Notes in Computer Science, Springer, 2004.
A Robust Search-Based Approach to Project Management in the Presence of Abandonment, Rework, Error and UncertaintyGiuliano Antoniol, Massimiliano Di Penta, Mark Harman. metrics 2004: 172-183 [doi]
Empirical evaluation of search based requirements interaction managementYuanyuan Zhang, Mark Harman, Soo Ling Lim. INFSOF, 55(1):126-152, 2013. [doi]
Optimizing Existing Software With Genetic ProgrammingWilliam B. Langdon, Mark Harman. tec, 19(1):118-135, 2015. [doi]
Transition coverage testing for simulink/stateflow models using messy genetic algorithmsJungsup Oh, Mark Harman, Shin Yoo. gecco 2011: 1851-1858 [doi]
Comparing white-box and black-box test prioritizationChristopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon. ICSE 2016: 523-534 [doi]
SBSE: Introduction and MotivationMark Harman. ssbse 2011: 16 [doi]
Dependence Anti PatternsDavid Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener. jckbse 2008: 25-34 [doi]
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generationMark Harman, Phil McMinn. ISSTA 2007: 73-83 [doi]
Evolving transformation sequences using genetic algorithmsFatiregun, D., Harman, M., Hierons, R.M.. In Source Code Analysis and Manipulation, 2004. Fourth IEEE International Workshop on. 2004: [doi]
Amorphous procedure extractionHarman, M., Binkley, D., Singh, R., Hierons, R.M.. In Source Code Analysis and Manipulation, 2004. Fourth IEEE International Workshop on. 2004: [doi]
Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithmsBinkley, D., Harman, M.. In Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on. 2003:
Formalizing executable dynamic and forward slicingBinkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Ouarbya, L.. In Source Code Analysis and Manipulation, 2004. Fourth IEEE International Workshop on. 2004: [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Mark Harman's Profile

Unidentified Publications