Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Mark Harman

2010 – today

see FAQ

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

2013
[j97]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/csur/AndroutsopoulosCHKT13
- ask others
Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt: State-based model slicing: A survey. ACM Comput. Surv. 45(4): 53 (2013)
[j96]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ese/YooHU13
- ask others
Shin Yoo, Mark Harman, Shmuel Ur: GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards. Empirical Software Engineering 18(3): 550-593 (2013)
[j95]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/infsof/LakhotiaHG13
- ask others
Kiran Lakhotia, Mark Harman, Hamilton Gross: AUSTIN: An open source tool for search based software testing of C programs. Information & Software Technology 55(1): 112-125 (2013)
[j94]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/infsof/ZhangHL13
- ask others
Yuanyuan Zhang, Mark Harman, Soo Ling Lim: Empirical evaluation of search based requirements interaction management. Information & Software Technology 55(1): 126-152 (2013)
[j93]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/AnandBCCCGHHMOE13
- ask others
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. Journal of Systems and Software 86(8): 1978-2001 (2013)
[j92]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/HarmanLSWY13
- ask others
Mark Harman, Kiran Lakhotia, Jeremy Singer, David Robert White, Shin Yoo: Cloud engineering is Search Based Software Engineering too. Journal of Systems and Software 86(9): 2225-2241 (2013)
[j91]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sqj/Harman13
- ask others
Mark Harman: Foreword to the invited impact paper on automatic software repair. Software Quality Journal 21(3): 419 (2013)
[j90]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/stvr/BozkurtHH13
- ask others
Mustafa Bozkurt, Mark Harman, Youssef Hassoun: Testing and verification in service-oriented architecture: a survey. Softw. Test., Verif. Reliab. 23(4): 261-313 (2013)
[j89]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/stvr/HarmanK13
- ask others
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., Verif. Reliab. 23(6): 437 (2013)
[j88]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/BinkleyGHIKL13
- ask others
David 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 (2013)
[j87]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/YooHC13
- ask others
Shin Yoo, Mark Harman, David Clark: Fault localization prioritization: Comparing information-theoretic and coverage-based approaches. ACM Trans. Softw. Eng. Methodol. 22(3): 19 (2013)
[j86]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/AndroutsopoulosCHHLT13
- ask others
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)
[c148]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gecco/Harman13
- ask others
Mark Harman: Software engineering: an ideal set of challenges for evolutionary computation. GECCO (Companion) 2013: 1759-1760
[c147]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/FerrucciHRS13
- ask others
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
[c146]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/MaoYLH04
- ask others
Ke Mao, Ye Yang, Mingshu Li, Mark Harman: Pricing crowdsourcing-based software development tasks. ICSE 2013: 1205-1208
[c145]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/HarmanPW04
- ask others
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
[c144]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/MeyerGHS13
- ask others
Bertrand Meyer, Harald Gall, Mark Harman, Giancarlo Succi: Empirical answers to fundamental software engineering problems (panel). ESEC/SIGSOFT FSE 2013: 14-18
[c143]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/PetkeYCH13
- ask others
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
[c142]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/WangHJK13
- ask others
Tiantian Wang, Mark Harman, Yue Jia, Jens Krinke: Searching for better configurations: a rigorous approach to clone evaluation. ESEC/SIGSOFT FSE 2013: 455-465
[c141]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssbse/XieKCYH13
- ask others
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
[c140]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssbse/PetkeLH13
- ask others
Justyna Petke, William B. Langdon, Mark Harman: Applying Genetic Improvement to MiniSAT. SSBSE 2013: 257-262
[e7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/2013
- ask others
Mauro Pezzè, Mark Harman (Eds.): International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. ACM 2013, ISBN 978-1-4503-2159-4
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/LangdonH13
- ask others
William B. Langdon, Mark Harman: Using Genetic Programming to Model Software. CoRR abs/1306.5667 (2013)
2012
[j85]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aamas/NguyenMPTHL12
- ask others
Cu D. Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman, Michael Luck: Evolutionary testing of autonomous software agents. Autonomous Agents and Multi-Agent Systems 25(2): 260-283 (2012)
[j84]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/csur/HarmanMZ12
- ask others
Mark Harman, S. Afshin Mansouri, Yuanyuan Zhang: Search-based software engineering: Trends, techniques and applications. ACM Comput. Surv. 45(1): 11 (2012)
[j83]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/stvr/YooH12
- ask others
Shin Yoo, Mark Harman: Regression testing minimization, selection and prioritization: a survey. Softw. Test., Verif. Reliab. 22(2): 67-120 (2012)
[j82]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/stvr/YooH12a
- ask others
Shin Yoo, Mark Harman: Test data regeneration: generating new test data from existing test data. Softw. Test., Verif. Reliab. 22(3): 171-201 (2012)
[j81]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/stvr/TahatKHU12
- ask others
Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural: Regression test suite prioritization using system models. Softw. Test., Verif. Reliab. 22(7): 481-506 (2012)
[j80]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/McMinnHLHW12
- ask others
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
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esem/HarmanBCY12
- ask others
Mark Harman, Edmund K. Burke, John A. Clark, Xin Yao: Dynamic adaptive search based software engineering. ESEM 2012: 1-8
[c138]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esem/CinneideTHCM12
- ask others
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
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/AlshahwanH12
- ask others
Nadia Alshahwan, Mark Harman: Augmenting test suites effectiveness by increasing output diversity. ICSE 2012: 1345-1348
[c136]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icst/TonellaMNJLH12
- ask others
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
[c135]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icst/AlshahwanHMTT12
- ask others
Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella: Crawlability Metrics for Web Applications. ICST 2012: 151-160
[c134]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/AlshahwanH12
- ask others
Nadia Alshahwan, Mark Harman: State aware test case regeneration for improving web application test suite coverage and fault detection. ISSTA 2012: 45-55
[c133]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/HarmanLJWAC12
- ask others
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
[c132]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mabs/PanayiHW12
- ask others
Efstathios Panayi, Mark Harman, Anne Wetherilt: Agent-Based Modelling of Stock Markets Using Existing Order Book Data. MABS 2012: 101-114
[c131]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/msr/HarmanJZ12
- ask others
Mark Harman, Yue Jia, Yuanyuan Zhang: App store mining and analysis: MSR for app stores. MSR 2012: 108-111
[c130]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssbse/BozkurtH12
- ask others
Mustafa Bozkurt, Mark Harman: Optimised Realistic Test Input Generation Using Web Services. SSBSE 2012: 105-120
[c129]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tase/Harman12
- ask others
Mark Harman: Overview of TASE 2012 Talk on Search Based Software Engineering. TASE 2012: 3-4
2011
[j79]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/computer/Harman11
- ask others
Mark Harman: Software Engineering Meets Evolutionary Computation. IEEE Computer 44(10): 31-39 (2011)
[j78]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ese/DurilloZAHN11
- ask others
Juan José Durillo, Yuanyuan Zhang, Enrique Alba, Mark Harman, Antonio J. Nebro: A study of the bi-objective next release problem. Empirical Software Engineering 16(1): 29-60 (2011)
[j77]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/infsof/ZhangHFM11
- ask others
Yuanyuan Zhang, Mark Harman, Anthony Finkelstein, S. Afshin Mansouri: Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation. Information & Software Technology 53(7): 761-773 (2011)
[j76]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/spe/PentaHA11
- ask others
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. Exper. 41(5): 495-519 (2011)
[j75]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sttt/MarchettoTTAH11
- ask others
Alessandro Marchetto, Roberto Tiella, Paolo Tonella, Nadia Alshahwan, Mark Harman: Crawlability metrics for automated web testing. STTT 13(2): 131-149 (2011)
[j74]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/DanicicBHHKL11
- ask others
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)
[j73]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/BinkleyHL11
- ask others
David Binkley, Mark Harman, Kiran Lakhotia: FlagRemover: A testability transformation for transforming loop-assigned flags. ACM Trans. Softw. Eng. Methodol. 20(3): 12 (2011)
[j72]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/PraditwongHY11
- ask others
Kata Praditwong, Mark Harman, Xin Yao: Software Module Clustering as a Multi-Objective Search Problem. IEEE Trans. Software Eng. 37(2): 264-282 (2011)
[j71]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/JiaH11
- ask others
Yue Jia, Mark Harman: An Analysis and Survey of the Development of Mutation Testing. IEEE Trans. Software Eng. 37(5): 649-678 (2011)
[c128]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cla/LangdonYH11
- ask others
William B. Langdon, Shin Yoo, Mark Harman: Formal Concept Analysis on Graphics Hardware. CLA 2011: 413-416
[c127]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csmr/VosTWHPPN11
- ask others
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
[c126]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gecco/OhHY11
- ask others
Jungsup Oh, Mark Harman, Shin Yoo: Transition coverage testing for simulink/stateflow models using messy genetic algorithms. GECCO 2011: 1851-1858
[c125]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/AndroutsopoulosBCGHLL11
- ask others
Kelly Androutsopoulos, David 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
[c124]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icst/Harman11
- ask others
Mark Harman: Making the Case for MORTO: Multi Objective Regression Test Optimization. ICST Workshops 2011: 111-114
[c123]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icst/Harman11a
- ask others
Mark Harman: Refactoring as Testability Transformation. ICST Workshops 2011: 414-421
[c122]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/AlshahwanH11
- ask others
Nadia Alshahwan, Mark Harman: Automated web application testing using search based software engineering. ASE 2011: 3-12
[c121]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/BaarsHHLMTV11
- ask others
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
[c120]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/HarmanJL11
- ask others
Mark Harman, Yue Jia, William B. Langdon: Strong higher order mutation-based test data generation. SIGSOFT FSE 2011: 212-222
[c119]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sose/BozkurtH11
- ask others
Mustafa Bozkurt, Mark Harman: Automatically generating realistic test input from web services. SOSE 2011: 13-24
[c118]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssbse/Harman11
- ask others
Mark Harman: SBSE: Introduction and Motivation. SSBSE 2011: 16
[c117]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssbse/RenHP11
- ask others
Jian Ren, Mark Harman, Massimiliano Di Penta: Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling. SSBSE 2011: 127-141
[c116]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssbse/YooHU11
- ask others
Shin Yoo, Mark Harman, Shmuel Ur: Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. SSBSE 2011: 219-236
2010
[j70]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ase/DerderianHHG10
- ask others
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)
[j69]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/Harman10
- ask others
Mark Harman: Automated patching techniques: the fix is in: technical perspective. Commun. ACM 53(5): 108 (2010)
[j68]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/AmtoftACHL10
- ask others
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)
[j67]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/BinkleyHHIL10
- ask others
David Binkley, Mark Harman, Youssef Hassoun, Syed S. Islam, Zheng Li: Assessing the impact of global variables on program dependence and dependence clusters. Journal of Systems and Software 83(1): 96-107 (2010)
[j66]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/YooH10
- ask others
Shin Yoo, Mark Harman: Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. Journal of Systems and Software 83(4): 689-701 (2010)
[j65]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/LakhotiaMH10
- ask others
Kiran Lakhotia, Phil McMinn, Mark Harman: An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. Journal of Systems and Software 83(12): 2379-2391 (2010)
[j64]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/LangdonHJ10
- ask others
William B. Langdon, Mark Harman, Yue Jia: Efficient multi-objective higher order mutation testing with genetic programming. Journal of Systems and Software 83(12): 2416-2430 (2010)
[j63]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BarracloughBDHHKLO10
- ask others
Richard W. Barraclough, David 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)
[j62]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/HarmanM10
- ask others
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)
[j61]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/HarmanM10a
- ask others
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)
[c115]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cec/LangdonH10
- ask others
William B. Langdon, Mark Harman: Evolving a CUDA kernel from an nVidia template. IEEE Congress on Evolutionary Computation 2010: 1-8
[c114]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/Harman10
- ask others
Mark Harman: Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. FASE 2010: 1-12
[c113]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gecco/ZhangADEH10
- ask others
Yuanyuan Zhang, Enrique Alba, Juan José Durillo, Sigrid Eldh, Mark Harman: Today/future importance analysis. GECCO 2010: 1357-1364
[c112]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icst/HarmanJL10
- ask others
Mark Harman, Yue Jia, William B. Langdon: A Manifesto for Higher Order Mutation Testing. ICST Workshops 2010: 80-89
[c111]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icst/HarmanKLMY10
- ask others
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
[c110]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icst/ZhaoHL10
- ask others
Ruilian Zhao, Mark Harman, Zheng Li: Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models. ICST Workshops 2010: 222-231
[c109]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iwsc/GoldKHB10
- ask others
Nicolas Gold, Jens Krinke, Mark Harman, David Binkley: Issues in clone classification for dataflow languages. IWSC 2010: 83-84
[c108]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laser/HarmanMSY10
- ask others
Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo: Search Based Software Engineering: Techniques, Taxonomy, Tutorial. LASER Summer School 2010: 1-59
[c107]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/paste/IslamKBH10
- ask others
Syed S. Islam, Jens Krinke, David Binkley, Mark Harman: Coherent dependence clusters. PASTE 2010: 53-60
[c106]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promise/Harman10
- ask others
Mark Harman: The relationship between search based software engineering and predictive modeling. PROMISE 2010: 1
[c105]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pts/LakhotiaTHH10
- ask others
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux: FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157
[c104]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/scam/Harman10
- ask others
Mark Harman: Why Source Code Analysis and Manipulation Will Always be Important. SCAM 2010: 7-19

2000 – 2009

see FAQ

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

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

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

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?