publications:
- title: "Minimal Slicing and the Relationships Between Forms of Slicing"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "Tibor Gyimóthy"
    link: "https://researchr.org/alias/tibor-gyim%C3%B3thy"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Ákos Kiss"
    link: "https://researchr.org/alias/%C3%A1kos-kiss"
  - name: "Bogdan Korel"
    link: "https://researchr.org/alias/bogdan-korel"
  year: "2005"
  doi: "http://dx.doi.org/10.1109/SCAM.2005.18"
  links:
    doi: "http://dx.doi.org/10.1109/SCAM.2005.18"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/BinkleyDGHKK05"
  cites: 0
  citedby: 0
  pages: "45-56"
  booktitle: "SCAM"
  kind: "inproceedings"
  key: "BinkleyDGHKK05"
- title: "How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution"
  author:
  - name: "Konstantinos Adamopoulos"
    link: "https://researchr.org/alias/konstantinos-adamopoulos"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3103&spage=1338"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3103&spage=1338"
  researchr: "https://researchr.org/publication/AdamopoulosHH04"
  cites: 0
  citedby: 0
  pages: "1338-1349"
  booktitle: "gecco"
  kind: "inproceedings"
  key: "AdamopoulosHH04"
- title: "Finding Building Blocks for Software Clustering"
  author:
  - name: "Kiarash Mahdavi"
    link: "https://researchr.org/alias/kiarash-mahdavi"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2724/27242513.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2724/27242513.htm"
  researchr: "https://researchr.org/publication/MahdaviHH03"
  cites: 0
  citedby: 0
  pages: "2513-2514"
  booktitle: "gecco"
  kind: "inproceedings"
  key: "MahdaviHH03"
- title: "Amorphous program slicing"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0164-1212(02)00135-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0164-1212(02)00135-8"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/HarmanBD03"
  cites: 0
  citedby: 0
  journal: "jss"
  volume: "68"
  number: "1"
  pages: "45-64"
  kind: "article"
  key: "HarmanBD03"
- title: "A survey of empirical results on program slicing"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2004"
  tags:
  - "empirical"
  - "survey"
  - "slicing"
  researchr: "https://researchr.org/publication/BinkleyH04"
  cites: 0
  citedby: 0
  journal: "ac"
  volume: "62"
  pages: "106-179"
  kind: "article"
  key: "BinkleyH04"
- title: "Introduction"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Liz Burd"
    link: "https://researchr.org/alias/liz-burd"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Paolo Tonella"
    link: "https://researchr.org/alias/paolo-tonella"
  year: "2004"
  doi: "http://dx.doi.org/10.1023/B:SQJO.0000039789.23291.ee"
  links:
    doi: "http://dx.doi.org/10.1023/B:SQJO.0000039789.23291.ee"
  researchr: "https://researchr.org/publication/BinkleyBHT04"
  cites: 0
  citedby: 0
  journal: "sqj"
  volume: "12"
  number: "4"
  pages: "293-295"
  kind: "article"
  key: "BinkleyBHT04"
- title: "Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time"
  author:
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "John Howroyd"
    link: "https://researchr.org/alias/john-howroyd"
  - name: "Michael R. Laurence"
    link: "https://researchr.org/alias/michael-r.-laurence"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.10.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.10.001"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/DanicicHHHL07"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "373"
  number: "1-2"
  pages: "1-18"
  kind: "article"
  key: "DanicicHHHL07"
- title: "Unifying program slicing and concept assignment for higher-level executable source code extraction"
  author:
  - name: "Nicolas E. Gold"
    link: "https://researchr.org/alias/nicolas-e.-gold"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  year: "2005"
  doi: "http://dx.doi.org/10.1002/spe.664"
  links:
    doi: "http://dx.doi.org/10.1002/spe.664"
  tags:
  - "source-to-source"
  - "slicing"
  - "open-source"
  researchr: "https://researchr.org/publication/GoldHBH05"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "35"
  number: "10"
  pages: "977-1006"
  kind: "article"
  key: "GoldHBH05"
- title: "Search-based software engineering"
  author:
  - name: "Walter J. Gutjahr"
    link: "https://researchr.org/alias/walter-j.-gutjahr"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.cor.2007.01.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.cor.2007.01.008"
  tags:
  - "rule-based"
  - "software engineering"
  - "search"
  researchr: "https://researchr.org/publication/GutjahrH08"
  cites: 0
  citedby: 0
  journal: "cor"
  volume: "35"
  number: "10"
  pages: "3049-3051"
  kind: "article"
  key: "GutjahrH08"
- title: "Syntax-Directed Amorphous Slicing"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Lin Hu"
    link: "https://researchr.org/alias/lin-hu"
  - name: "Malcolm Munro"
    link: "https://researchr.org/alias/malcolm-munro"
  - name: "Xingyuan Zhang"
    link: "https://researchr.org/alias/xingyuan-zhang"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "Mohammed Daoudi"
    link: "https://researchr.org/alias/mohammed-daoudi"
  - name: "Lahcen Ouarbya"
    link: "https://researchr.org/alias/lahcen-ouarbya"
  year: "2004"
  doi: "http://dx.doi.org/10.1023/B:AUSE.0000008667.37988.11"
  links:
    doi: "http://dx.doi.org/10.1023/B:AUSE.0000008667.37988.11"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/HarmanHMZBDDO04"
  cites: 0
  citedby: 0
  journal: "ASE"
  volume: "11"
  number: "1"
  pages: "27-61"
  kind: "article"
  key: "HarmanHMZBDDO04"
- title: "An Empirical Study of Executable Concept Slice Size"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Nicolas Gold"
    link: "https://researchr.org/alias/nicolas-gold"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Zheng Li"
    link: "http://cist.buct.edu.cn/zheng/"
  - name: "Kiarash Mahdavi"
    link: "https://researchr.org/alias/kiarash-mahdavi"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.11"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.11"
  tags:
  - "empirical"
  - "slicing"
  researchr: "https://researchr.org/publication/BinkleyGHLM06"
  cites: 0
  citedby: 0
  pages: "103-114"
  booktitle: "WCRE"
  kind: "inproceedings"
  key: "BinkleyGHLM06"
- title: "A formal relationship between program slicing and partial evaluation"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "John Howroyd"
    link: "https://researchr.org/alias/john-howroyd"
  - name: "Lahcen Ouarbya"
    link: "https://researchr.org/alias/lahcen-ouarbya"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00165-005-0077-6"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-005-0077-6"
  tags:
  - "slicing"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/BinkleyDHHO06"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "18"
  number: "2"
  pages: "103-119"
  kind: "article"
  key: "BinkleyDHHO06"
- title: "Evaluating Key Statements Analysis"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Nicolas Gold"
    link: "https://researchr.org/alias/nicolas-gold"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Zheng Li"
    link: "http://cist.buct.edu.cn/zheng/"
  - name: "Kiarash Mahdavi"
    link: "https://researchr.org/alias/kiarash-mahdavi"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SCAM.2008.40"
  links:
    doi: "http://dx.doi.org/10.1109/SCAM.2008.40"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BinkleyGHLM08%3A0"
  cites: 0
  citedby: 0
  pages: "121-130"
  booktitle: "SCAM"
  kind: "inproceedings"
  key: "BinkleyGHLM08:0"
- title: "Automated Refactoring of Object Oriented Code into Aspects"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mariano Ceccato"
    link: "https://researchr.org/alias/mariano-ceccato"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Filippo Ricca"
    link: "https://researchr.org/alias/filippo-ricca"
  - name: "Paolo Tonella"
    link: "https://researchr.org/alias/paolo-tonella"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.27"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.27"
  tags:
  - "meta-model"
  - "model refactoring"
  - "refactoring"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BinkleyCHRT05"
  cites: 0
  citedby: 0
  pages: "27-36"
  booktitle: "ICSM"
  kind: "inproceedings"
  key: "BinkleyCHRT05"
- title: "Formulating software engineering as a search problem"
  author:
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "José Javier Dolado"
    link: "https://researchr.org/alias/jos%C3%A9-javier-dolado"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "Bryan F. Jones"
    link: "https://researchr.org/alias/bryan-f.-jones"
  - name: "M. Lumkin"
    link: "https://researchr.org/alias/m.-lumkin"
  - name: "Brian S. Mitchell"
    link: "https://researchr.org/alias/brian-s.-mitchell"
  - name: "Spiros Mancoridis"
    link: "https://researchr.org/alias/spiros-mancoridis"
  - name: "K. Rees"
    link: "https://researchr.org/alias/k.-rees"
  - name: "Marc Roper"
    link: "https://researchr.org/alias/marc-roper"
  - name: "Martin J. Shepperd"
    link: "https://researchr.org/alias/martin-j.-shepperd"
  year: "2003"
  tags:
  - "software engineering"
  - "search"
  researchr: "https://researchr.org/publication/ClarkeDHHJLMMRRS03"
  cites: 0
  citedby: 0
  journal: "iee"
  volume: "150"
  number: "3"
  pages: "161-175"
  kind: "article"
  key: "ClarkeDHHJLMMRRS03"
- title: "Loop Squashing Transformations for Amorphous Slicing"
  author:
  - name: "Lin Hu"
    link: "https://researchr.org/alias/lin-hu"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.26"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.26"
  tags:
  - "slicing"
  - "transformation"
  researchr: "https://researchr.org/publication/HuHHB04"
  cites: 0
  citedby: 0
  pages: "152-160"
  booktitle: "WCRE"
  kind: "inproceedings"
  key: "HuHHB04"
- title: "An empirical study of the relationship between the concepts expressed in source code and dependence"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Nicolas Gold"
    link: "https://researchr.org/alias/nicolas-gold"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Zheng Li"
    link: "http://cist.buct.edu.cn/zheng/"
  - name: "Kiarash Mahdavi"
    link: "https://researchr.org/alias/kiarash-mahdavi"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.jss.2008.04.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.jss.2008.04.007"
  tags:
  - "empirical"
  - "source-to-source"
  - "open-source"
  researchr: "https://researchr.org/publication/BinkleyGHLM08"
  cites: 0
  citedby: 0
  journal: "jss"
  volume: "81"
  number: "12"
  pages: "2287-2298"
  kind: "article"
  key: "BinkleyGHLM08"
- title: "VADA: A Transformation-Based System for Variable Dependence Analysis"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Chris Fox"
    link: "https://researchr.org/alias/chris-fox"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "Lin Hu"
    link: "https://researchr.org/alias/lin-hu"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "Joachim Wegener"
    link: "https://researchr.org/alias/joachim-wegener"
  year: "2002"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2002.1134105"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2002.1134105"
  tags:
  - "rule-based"
  - "analysis"
  - "transformation system"
  - "transformation"
  researchr: "https://researchr.org/publication/HarmanFHHDW02"
  cites: 0
  citedby: 0
  pages: "55-64"
  booktitle: "SCAM"
  kind: "inproceedings"
  key: "HarmanFHHDW02"
- title: "Getting Results from Search-Based Approaches to Software Engineering"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Joachim Wegener"
    link: "https://researchr.org/alias/joachim-wegener"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630728.pdf"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630728.pdf"
  tags:
  - "rule-based"
  - "software engineering"
  - "search"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HarmanW04"
  cites: 0
  citedby: 0
  pages: "728-729"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "HarmanW04"
- title: "Building Executable Union Slices using Conditioned Slicing"
  author:
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "Andrea De Lucia"
    link: "https://researchr.org/alias/andrea-de-lucia"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/iwpc/2004/2149/00/21490089abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/iwpc/2004/2149/00/21490089abs.htm"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/DanicicLH04"
  cites: 0
  citedby: 0
  pages: "89-99"
  booktitle: "IWPC"
  kind: "inproceedings"
  key: "DanicicLH04"
- title: "Pre/Post Conditioned Slicing"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "Chris Fox"
    link: "https://researchr.org/alias/chris-fox"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "John Howroyd"
    link: "https://researchr.org/alias/john-howroyd"
  year: "2001"
  doi: "http://computer.org/proceedings/icsm/1189/11890138abs.htm"
  links:
    doi: "http://computer.org/proceedings/icsm/1189/11890138abs.htm"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/HarmanHFDH01"
  cites: 0
  citedby: 0
  pages: "138-147"
  booktitle: "ICSM"
  kind: "inproceedings"
  key: "HarmanHFDH01"
- title: "Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop"
  author:
  - name: "Thomas R. Dean"
    link: "http://post.queensu.ca/~trd/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Rainer Koschke"
    link: "http://www.informatik.uni-bremen.de/~koschke/"
  - name: "Michael L. Van de Vanter"
    link: "https://researchr.org/alias/michael-l.-van-de-vanter"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jss.2006.02.039"
  links:
    doi: "http://dx.doi.org/10.1016/j.jss.2006.02.039"
  tags:
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "peer-to-peer"
  - "open-source"
  researchr: "https://researchr.org/publication/DeanHKV06"
  cites: 0
  citedby: 0
  journal: "jss"
  volume: "79"
  number: "9"
  pages: "1217-1218"
  kind: "article"
  key: "DeanHKV06"
- title: "Empirical study of optimization techniques for massive slicing"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Jens Krinke"
    link: "https://researchr.org/alias/jens-krinke"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1290520.1290523"
  links:
    doi: "http://doi.acm.org/10.1145/1290520.1290523"
  tags:
  - "empirical"
  - "optimization"
  - "slicing"
  researchr: "https://researchr.org/publication/BinkleyHK07"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "30"
  number: "1"
  pages: "3"
  kind: "article"
  key: "BinkleyHK07"
- title: "Code Extraction Algorithms which Unify Slicing and Concept Assignment"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Nicolas Gold"
    link: "https://researchr.org/alias/nicolas-gold"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2002"
  doi: "http://computer.org/proceedings/wcre/1799/17990011abs.htm"
  links:
    doi: "http://computer.org/proceedings/wcre/1799/17990011abs.htm"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/HarmanGHB02"
  cites: 0
  citedby: 0
  pages: "11-21"
  booktitle: "WCRE"
  kind: "inproceedings"
  key: "HarmanGHB02"
- title: "A new algorithm for slicing unstructured programs"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  year: "1998"
  doi: "http://dx.doi.org/10.1002/(SICI)1096-908X(199811/12)10:6<415::AID-SMR180>3.0.CO;2-Z"
  links:
    doi: "http://dx.doi.org/10.1002/(SICI)1096-908X(199811/12)10:6<415::AID-SMR180>3.0.CO;2-Z"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/HarmanD98"
  cites: 0
  citedby: 0
  journal: "SMR"
  volume: "10"
  number: "6"
  pages: "415-441"
  kind: "article"
  key: "HarmanD98"
- title: "Control Dependence for Extended Finite State Machines"
  author:
  - name: "Kelly Androutsopoulos"
    link: "https://researchr.org/alias/kelly-androutsopoulos"
  - name: "David Clark"
    link: "https://researchr.org/alias/david-clark"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Zheng Li"
    link: "http://cist.buct.edu.cn/zheng/"
  - name: "Laurence Tratt"
    link: "http://tratt.net/laurie/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00593-0_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00593-0_15"
  tags:
  - "state machines"
  researchr: "https://researchr.org/publication/AndroutsopoulosCHLT09"
  cites: 0
  citedby: 0
  pages: "216-230"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "AndroutsopoulosCHLT09"
- title: "Empirical evaluation of a nesting testability transformation for evolutionary testing"
  author:
  - name: "Phil McMinn"
    link: "https://researchr.org/alias/phil-mcminn"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1525880.1525884"
  links:
    doi: "http://doi.acm.org/10.1145/1525880.1525884"
  tags:
  - "empirical"
  - "testing"
  - "transformation"
  researchr: "https://researchr.org/publication/McMinnBH09"
  cites: 0
  citedby: 0
  journal: "TOSEM"
  volume: "18"
  number: "3"
  kind: "article"
  key: "McMinnBH09"
- title: "Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/trans/ts/2004/11/e0715abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/trans/ts/2004/11/e0715abs.htm"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BinkleyH04%3A0"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "30"
  number: "11"
  pages: "715-735"
  kind: "article"
  key: "BinkleyH04:0"
- title: "An Empirical Study of Predicate Dependence Levels and Trends"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770330abs.htm"
  links:
    doi: "http://computer.org/proceedings/icse/1877/18770330abs.htm"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/BinkleyH03%3A1"
  cites: 0
  citedby: 0
  pages: "330-340"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "BinkleyH03:1"
- title: "Data Dependence Based Testability Transformation in Automated Test Generation"
  author:
  - name: "Bogdan Korel"
    link: "https://researchr.org/alias/bogdan-korel"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "S. Chung"
    link: "https://researchr.org/alias/s.-chung"
  - name: "P. Apirukvorapinit"
    link: "https://researchr.org/alias/p.-apirukvorapinit"
  - name: "R. Gupta"
    link: "https://researchr.org/alias/r.-gupta"
  - name: "Q. Zhang"
    link: "https://researchr.org/alias/q.-zhang"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.16"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.16"
  tags:
  - "rule-based"
  - "testing"
  - "transformation"
  researchr: "https://researchr.org/publication/KorelHCAGZ05"
  cites: 0
  citedby: 0
  pages: "245-254"
  booktitle: "issre"
  kind: "inproceedings"
  key: "KorelHCAGZ05"
- title: "Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/scam/2003/2005/00/20050203abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/scam/2003/2005/00/20050203abs.htm"
  tags:
  - "optimization"
  - "rule-based"
  - "source-to-source"
  - "graph-rewriting"
  - "rewriting"
  - "open-source"
  researchr: "https://researchr.org/publication/BinkleyH03"
  cites: 0
  citedby: 0
  pages: "203"
  booktitle: "SCAM"
  kind: "inproceedings"
  key: "BinkleyH03"
- title: "Beyond Program Slicing, 06.11. - 11.11.2005"
  year: "2006"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/dagstuhl%3A2005P5451"
  cites: 0
  citedby: 0
  booktitle: "Beyond Program Slicing, 06.11. - 11.11.2005"
  conference: "Dagstuhl"
  editor:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Jens Krinke"
    link: "https://researchr.org/alias/jens-krinke"
  volume: "05451"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2005P5451"