@ARTICLE{Danicic2013b,
  author = {Sebastian Danicic and James Hamilton},
  title = {Maximal-Slice-Based Cohesion and Coupling Metrics},
  journal = {Journal of Software: Evolution and Process},
 note={(to Appear 2014)}
}


@ARTICLE{Danicic2013a,
  author = {Sebastian Danicic and Michael Laurence},
  title = {Weak and strong static backward slicing of non-deterministic systems
},
  journal = {ACM Transactions on Programming Languages and Systems},
  note={(submitted August 2013)}
}

@inproceedings{Hamilton2012c,
author = {Hamilton, James and Danicic, Sebastian},
booktitle = {Proceedings of the IEEE 28th International Conference on Software Maintenance},
file = {:home/james/Documents/Mendeley Desktop/Hamilton, Danicic/In Proceedings of the IEEE 28th International Conference on Software Maintenance, Early Research Achievements Track/Hamilton, Danicic\_2012\_Dependence Communities in Source Code.pdf:pdf},
isbn = {9781467323123},
publisher = {IEEE},
title = {{Dependence Communities in Source Code}},
month={October},
year = {2012}
}


@INPROCEEDINGS{Barraclough2012,
  author = {Richard Barraclough and Mark Bishop and Sebastian Danicic and Richard
	Mitchell and Slavomir Nasuto},
  title = {SpendInsight: some remarks on deploying an intelligent spend-analysis
	system},
  booktitle = {Proceedings of the 1st Symposium on Nature Inspired Computing and
	Applications (NICA) AISB/IACAP World Congress },
  year = {2012},
  month = {July},
  note = {Birmingham, UK},
  __markedentry = {[mas01sd:6]},
  owner = {mas01sd},
  timestamp = {2013.01.09}
}


@ARTICLE{Danicic2011a,
  author = {Sebastian Danicic and Robert Hierons and Michael Laurence},
  title = { Characterizing Minimal Semantics-preserving Slices of predicate-linear,
	Free, Liberal Program Schemas
	
	},
  journal = {Journal of Logic and Algebraic Programming },
  year = {2011},
  month = May,
  __markedentry = {[mas01sd:6]},
  owner = {mas01sd},
  publisher = {Elsevier},
  timestamp = {2013.01.09}
}


@ARTICLE{Danicic2011b,
  author = {Sebastian Danicic and Robert Hierons and Michael Laurence},
  title = {Complexity of Data Dependence problems for Program Schemas with Concurrency},
  journal = {ACM Transactions on Computation and Logic},
  year = {2011},
  __markedentry = {[mas01sd:6]},
  owner = {mas01sd},
  timestamp = {2013.01.09}
}

@ARTICLE{Danicic2011c,
author = {Sebastian Danicic and Richard Barraclough and Mark Harman and John Howroyd and Akos Kiss and Mike Laurence},
  title = {A unifying theory of control dependence and its application to arbitrary program structures},
  journal = {Theoretical Computer Science},
  year = {2011},
  month={November},
  volume = {412},
  pages = {6809-6842},
  number = {49}
}  


@inproceedings{Hamilton2011a,
address = {London},
author = {Hamilton, James and Danicic, Sebastian},
booktitle = {Proceedings of the World Congress on Internet Security 2011},
file = {:home/james/Documents/Mendeley Desktop/Hamilton, Danicic/Proceedings of the World Congress on Internet Security 2011/Hamilton, Danicic\_2011\_A Survey of Static Software Watermarking.pdf:pdf},
keywords = {program transformation,software,software protection,software watermarking,static,watermarking},
mendeley-tags = {software,static,watermarking},
pages = {114--121},
publisher = {IEEE},
title = {{A Survey of Static Software Watermarking}},
year = {2011}
}

@article{Hamilton2011,
journal = {IAENG International Journal of Computer Science},
keywords = {bytecode,java,obfuscation,program transformation,software,watermarking},
mendeley-tags = {software,watermarking},
number = {1},
pages = {1--15},
title = {{An Evaluation of the Resilience of Static Java Bytecode Watermarks Against Distortive Attacks}},
volume = {38},
year = {2011}
}


@ARTICLE{Barraclough2010,
  author = {Richard Barraclough and David Binkley and Sebastian Danicic and Mark
	Harman and Robert Hierons and \'{A}kos Kiss and Michael Laurence},
  title = {A Trajectory-based Strict Semantics for Program Slicing},
  journal = {Theoretical Computer Science},
  year = {2010},
  volume = {411},
  pages = {1372-1386},
  month = {March},
  __markedentry = {[mas01sd:6]},
  owner = {mas01sd},
  timestamp = {2013.01.09}
}


@inproceedings{Hamilton2010,
address = {San Francisco, USA},
author = {Hamilton, James and Danicic, Sebastian},
booktitle = {Proceedings of the International Conference on Computer Science and Applications (ICCSA’10), The World Congress on Engineering and Computer Science (WCECS’10)},
file = {:home/james/Documents/Mendeley Desktop/Hamilton, Danicic/Proceedings of the International Conference on Computer Science and Applications (ICCSA’10), The World Congress on Engineering and Computer Science (WCECS’10)/Hamilton, Danicic\_2010\_An Evaluation of Static Java Bytecode Watermarking.pdf:pdf},
isbn = {978-988-17012-0-6},
month = oct,
pages = {1 -- 8},
title = {{An Evaluation of Static Java Bytecode Watermarking}},
volume = {1},
year = {2010}
}


@techreport{Hamilton2010a,
author = {Hamilton, James and Danicic, Sebastian},
institution = {Department of Computing, Goldsmiths, University of London},
month = sep,
title = {{A Survey Of Graph Based Software Watermarking}},
url = {http://jameshamilton.eu/content/survey-graph-based-software-watermarking},
year = {2010}
}

@inproceedings{Hamilton2009,
address = {Edmonton, Alberta, Canada},
author = {Hamilton, James and Danicic, Sebastian},
booktitle = {2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation},
doi = {10.1109/SCAM.2009.24},
file = {:home/james/Documents/Mendeley Desktop/Hamilton, Danicic/2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation/Hamilton, Danicic\_2009\_An evaluation of current java bytecode decompilers.pdf:pdf},
keywords = {decompiler,decompilers,java,survey},
mendeley-tags = {decompiler,decompilers,java,survey},
pages = {129--136},
publisher = {IEEE},
title = {{An evaluation of current java bytecode decompilers}},
url = {http://www.computer.org/portal/web/csdl/doi/10.1109/SCAM.2009.24},
volume = {0},
year = {2009}
}


@ARTICLE{mhetal:jlap,
  author = {David Clark and Sebastian Danicic and Roberto Giacobazzi},
  title = {Special Issue on Theory and Foundations of Programming Language Interference
	and Dependence},
  journal = {Logic and Algebraic Programming},
  year = {2007},
  volume = {72},
  pages = {123--240},
  month = {July-August},
  issue = {2}
}





@INPROCEEDINGS{tibor:scam04,
  author = {Dave Binkley and Sebastian Danicic and Tibor Gyim\'othy and Mark
	Harman and \'Akos Kiss and Lahcen Ouarbya},
  title = {Formalizing Executable Dynamic and Forward Slicing},
  booktitle = {$4^{th}$ International Workshop on Source Code Analysis and Manipulation
	({SCAM 04})},
  year = {2004},
  pages = {43--52},
  address = {Los Alamitos, California, USA},
  month = sep,
  publisher = cspress,
  city = {Chicago, Illinois, {USA}}
}



@ARTICLE{aketal:formalizing:tcs,
  author = {David Binkley and Sebastian Danicic and Tibor Gyim\'{o}thy and Mark
	Harman and \'{A}kos Kiss and Bogdan Korel},
  title = {Theoretical Foundations of Dynamic Program Slicing},
  journal = {Theoretical Computer Science},
  year = {2006},
  volume = {360},
  pages = {23--41},
  number = {1},
  history = {Submitted 18-2-05. Revsions required sometime around Sept/Oct 2005.
	Resubmitted end Nov 2005. Accepted Jan 4th 2006.}
}


@ARTICLE{mhdbsd:pe-slicing,
  author = {David Wendell Binkley and Sebastian Danicic and Mark Harman and John
	Howroyd and Lahcen Ouarbya},
  title = {A Formal Relationship Between Program Slicing and Partial Evaluation},
  journal = {{F}ormal {A}spects of {C}omputing},
  year = {2006},
  volume = {18},
  pages = {103--119},
  number = {2},
  history = {Submitted, May 2002. Minor revision required, July 2003 (but to be
	re-reviewed). Resubmitted 28-10-04. Accepted Setpebmer 2005}
}






@PHDTHESIS{danicic:phd,
  author = {Sebastian Danicic},
  title = {Dataflow Minimal Slicing},
  school = {University of North London, {UK}},
  year = {1999},
  type = {{PhD} thesis},
  address = {School of Informatics},
  month = apr
}




@ARTICLE{sdetal:formalizing-scp,
  author = {Sebastian Danicic and David Binkley and Tibor Gyim\'{o}thy and Mark
	Harman and \'{A}kos Kiss and Bogdan Korel},
  title = {A Formalisation of the Relationship between Forms of Program Slicing},
  journal = {Science of Computer Programming},
  year = {2006},
  volume = {62},
  pages = {228--252},
  number = {3}
}



@INPROCEEDINGS{scam05minimal,
  author = {Sebastian Danicic and David Binkley and Tibor Gyim\'{o}thy and Mark
	Harman and \'{A}kos Kiss and Bogdan Korel},
  title = {Minimal Slicing and the Relationships Between Forms of Slicing},
  booktitle = {$5^{th}$ {IEEE} International Workshop on Source Code Analysis and
	Manipulation ({SCAM 05})},
  year = {2005},
  pages = {45--54},
  address = {Los Alamitos, California, USA},
  publisher = cspress,
  note = {Best paper award winner},
  city = {Budapest, Hungary},
  date = {September 30th-October 1st 2005}
}

@ARTICLE{mhetal:jss2,
  author = {Sebastian Danicic and Mohammed Daoudi and Chris Fox and Mark Harman
	and Robert Mark Hierons and John Howroyd and Lahcen Ouarbya and Martin
	Ward},
  title = {ConSUS: A Lightweight Program Conditioner},
  journal = {Journal of Systems and Software},
  year = {2005},
  volume = {77},
  pages = {241--262},
  number = {3},
  history = {Submitted (25th March) for special issue of best papers from WCRE
	2002. Conditional Accept, subject to minor revision 8th July 2003.
	Accepted February 28th 2004}
}

@INPROCEEDINGS{andrea:iwpc04,
  author = {Sebastian Danicic and Andrea {De Lucia} and Mark Harman},
  title = {Building Executable Union Slices using Conditioned Slicing},
  booktitle = {$12^{th}$ International Workshop on Program Comprehension},
  year = {2004},
  pages = {89--97},
  address = {Los Alamitos, California, USA},
  month = jun,
  publisher = cspress,
  city = {Bari, Italy},
  optbooktitle = {$12^{th}$ International Workshop on Program Comprehension ({IWPC 2004})}
}

@INPROCEEDINGS{mhetal:icsm00,
  author = {Sebastian Danicic and Chris Fox and Mark Harman and Rob Mark Hierons},
  title = {{ConSIT}: {A} conditioned program slicer},
  booktitle = {{IEEE I}nternational {C}onference on {S}oftware {M}aintenance ({ICSM'00})},
  year = {2000},
  pages = {216--226},
  address = {Los Alamitos, California, USA},
  month = Oct,
  publisher = cspress,
  city = {San Jose, California, USA}
}

@ARTICLE{sdetal:schemas-cj,
  author = {Sebastian Danicic and Chris Fox and Mark Harman and Robert Mark Hierons
	and John Howroyd and Mike Laurence},
  title = {Slicing algorithms are minimal for programs which can be expressed
	as linear, free, liberal schemas},
  journal = {The computer Journal},
  year = {2005},
  volume = {48},
  pages = {737--748},
  number = {6},
  history = {Submitted, September 2002. Rejected sometime in May 2003. Re-submission
	to TCS. Submitted: 20th Jan 2004 to TCS. Rejected 21-10-04. Resubmitted
	to CJ and quickly accepted there. }
}

@INPROCEEDINGS{mhsd:sac00,
  author = {Sebastian Danicic and Mark Harman},
  title = {Espresso: A Slicer Generator},
  booktitle = {{ACM} Symposium on Applied Computing, ({SAC'00})},
  year = {2000},
  pages = {831--839},
  address = {Como, Italy},
  month = Mar
}

@INPROCEEDINGS{mhsd:kyoto,
  author = {Sebastian Danicic and Mark Harman},
  title = {A Simultaneous Slicing Theory and Derived Program Slicer (keynote)},
  booktitle = {$4^{th}$ RIMS Workshop in Computing},
  year = {1996},
  address = {{K}yoto {U}niversity, {K}yoto, {J}apan},
  month = jul
}

@INPROCEEDINGS{sdetal:plid-schemas,
  author = {Sebastian Danicic and Mark Harman and Robert Hierons and John Howroyd
	and Mike Laurence},
  title = {Applications of Linear Program Schematology in Dependence Analysis},
  booktitle = {$1^{st.}$ International Workshop on Programming Language Interference
	and Dependence},
  year = {2004},
  address = {Verona, Italy},
  month = aug,
  url = {http://profs.sci.univr.it/~mastroen/noninterference.html}
}

@ARTICLE{mletal:lfl,
  author = {Sebastian Danicic and Mark Harman and Robert Mark Hierons and John
	Howroyd and Mike Laurence},
  title = {Equivalence of Linear, Free, Liberal, Structured Program Schemas
	is Decidable in Polynomial Time},
  journal = {Theoretical Computer Science},
  year = {2007},
  volume = {373},
  pages = {1--18},
  month = {March},
  isbn = {0304-3975},
  issue = {1--2},
  publisher = {Elsevier Science Publishers Ltd.}
}

@ARTICLE{sdetal:jlap,
  author = {Sebastian Danicic and and Mark Harman and John Howroyd and Lahcen
	Ouarbya},
  title = {A Non-Standard Semantics for Program Slicing and Dependence Analysis},
  journal = {Logic and Algebraic Programming, Special Issue on Theory and Foundations
	of Programming Language Interference and Dependence},
  year = {2007},
  volume = {72},
  pages = {123--240},
  month = {July-August},
  issue = {2}
}

@INPROCEEDINGS{sdetal:plid-lazy,
  author = {Sebastian Danicic and Mark Harman and John Howroyd and Lahcen Ouarbya},
  title = {A Lazy Semantics for Program Slicing},
  booktitle = {$1^{st.}$ International Workshop on Programming Language Interference
	and Dependence},
  year = {2004},
  address = {Verona, Italy},
  month = aug,
  url = {http://profs.sci.univr.it/~mastroen/noninterference.html}
}

@ARTICLE{mhsd:ipl1,
  author = {Sebastian Danicic and Mark Harman and Yogasundary Sivagurunathan},
  title = {A parallel algorithm for static program slicing},
  journal = {Information Processing Letters},
  year = {1995},
  volume = {56},
  pages = {307--313},
  number = {6},
  month = dec,
  address = {{Amsterdam, The Netherlands}},
  issn = {0020-0190},
  publisher = {{Elsevier Science B. V.}}
}

@TECHREPORT{mhsd:parallel,
  author = {Sebastian Danicic and Mark Harman and Yogasundary Sivagurunathan},
  title = {A parallel algorithm for static program slicing},
  institution = {University of North London, Project Project},
  year = {1995},
  type = {Technical Report},
  month = mar,
  note = ourtrs
}

@ARTICLE{Danicic,
  author = {Sebastian Danicic and Robert Hierons and Michael Laurence},
  title = { Decidability of Strong Equivalence for slices of linear, free, near-liberal
	Program Schemas
	
	},
  journal = {Journal of Logic and Algebraic Programming },
  note = {(Available online from 11 Aug 2010)},
  __markedentry = {[mas01sd:6]},
  owner = {mas01sd},
  timestamp = {2013.01.09}
}

@ARTICLE{Danicic2011,
  author = {Sebastian Danicic and Robert Hierons and Michael Laurence},
  title = {On the computational complexity of dynamic slicing problems for program
	schemas},
  journal = {Mathematical Structures in Computer Science},
  year = {2011},
  __markedentry = {[mas01sd:6]},
  owner = {mas01sd},
  timestamp = {2013.01.09}
}


@INPROCEEDINGS{Danicic2008,
  author = {Sebastian Danicic and Robert Hierons and and Mike Laurence},
  title = {Weisers's Algorithm Computes Minimal path-faithful Slices of Function-linear,
	Free Program Schemas},
  booktitle = {$4^{th.}$ International Workshop on Programming Language Interference
	and Dependence},
  year = {2008},
  address = {Velncia, Spain},
  month = july,
  __markedentry = {[mas01sd:6]},
  owner = {mas01sd},
  timestamp = {2013.01.09}
}

@INPROCEEDINGS{Danicic2007b,
  author = {Sebastian Danicic and Robert Hierons and and Mike Laurence},
  title = {On the computational complexity of dynamic slicing problems for program
	schemas
	
	},
  booktitle = {$3^{rd.}$ International Workshop on Programming Language Interference
	and Dependence},
  year = {2007},
  address = {Lyngby, Denmark},
  month = sept,
  __markedentry = {[mas01sd:6]},
  owner = {mas01sd},
  timestamp = {2013.01.09}
}

@ARTICLE{Danicic2009,
  author = {Sebastian Danicic and Michael Laurence and Richard Barraclough},
  title = {Weak and Strong Commitment-closedness: A Unifying Generalisation
	of Control Dependence},
  journal = {Transactions on Programming Languages and Systems},
  year = {2009},
  month = {May},
  note = {submitted May 2009},
  __markedentry = {[mas01sd:6]},
  owner = {mas01sd},
  timestamp = {2013.01.09}
}

@INPROCEEDINGS{ddetal:consus,
  author = {Mohammed Daoudi and Sebastian Danicic and John Howroyd and Mark Harman
	and Chris Fox and Lahcen Ouarbya and Martin Ward},
  title = {{ConSUS}: A Scalable Approach to Conditioned Slicing},
  booktitle = {{IEEE} Working Conference on Reverse Engineering ({WCRE 2002})},
  year = {2002},
  pages = {109--118},
  address = {Los Alamitos, California, USA},
  month = oct,
  publisher = cspress,
  note = {Invited for special issue of the Journal of Systems and Software
	as best paper from {WCRE 2002}},
  city = {Richmond, Virginia, {USA}}
}

@ARTICLE{mhetal:jase,
  author = {Mark Harman and Lin Hu and Malcolm Munro and Xingyuan Zhang and David
	Wendell Binkley and Sebastian Danicic and Mohammed Daoudi and Lahcen
	Ouarbya},
  title = {Syntax-Directed Amorphous Slicing},
  journal = {Journal of Automated Software Engineering},
  year = {2004},
  volume = {11},
  pages = {27--61},
  number = {1},
  month = jan,
  history = {submitted, December 2002. Notified 17th February 2003. Minor revisions
	required by 21st March 2003. Resubmitted 12th March 2003. Notification
	of final acceptance 27th may 2003.}
}

@ARTICLE{cjfetal:spe,
  author = {Chris Fox and Sebastian Danicic and Mark Harman and Robert Mark Hierons},
  title = {{ConSIT}: a fully automated conditioned program slicer},
  journal = {Software---Practice and Experience},
  year = {2004},
  volume = {34},
  pages = {15--46},
  note = {Published online 26th November 2003},
  publisher = {John Wiley and Sons Ltd.}
}

@ARTICLE{kbgmhsd:jsme,
  author = {Keith Brian Gallagher and Mark Harman and Sebastian Danicic},
  title = {Guaranteed inconsistency avoidance during software evolution},
  journal = {Journal of Software Maintenance and Evolution},
  year = {2003},
  volume = {15},
  pages = {393--416},
  number = {6},
  month = {Nov/Dec},
  history = {submitted, October 2002. Notified 17th February 2003. Conditional
	accept, but long list of conditions. Resubmitted 16th July 2003.}
}


@ARTICLE{mhetal:jss1,
  author = {Mark Harman and David Wendell Binkley and Sebastian Danicic},
  title = {Amorphous Program Slicing},
  journal = {Journal of Systems and Software},
  year = {2003},
  volume = {68},
  pages = {45--64},
  number = {1},
  month = oct
}

@ARTICLE{mletal:cfl,
  author = {Michael R. Laurence and Sebastian Danicic and Mark Harman and Rob
	Hierons and John Howroyd},
  title = {Equivalence of conservative, free, linear program schemas is decidable},
  journal = {Theoretical Computer Science},
  year = {2003},
  volume = {290},
  pages = {831--862},
  month = {January},
  issue = {1}
}

@ARTICLE{rhmhsd:mutation,
  author = {Robert Mark Hierons and Mark Harman and Sebastian Danicic},
  title = {Using Program Slicing to Assist in the Detection of Equivalent Mutants},
  journal = stvr,
  year = {1999},
  volume = {9},
  pages = { 233--262},
  number = {4},
  address = {{Sussex, UK}},
  issn = {0960--0833},
  publisher = {{John Wiley and Sons, Ltd.}}
}

@ARTICLE{mhsd:jsm,
  author = {Mark Harman and Sebastian Danicic},
  title = {A new algorithm for slicing unstructured programs},
  journal = {Journal of Software Maintenance and Evolution},
  year = {1998},
  volume = {10},
  pages = {415-441},
  number = {6},
  address = {{Sussex, UK}},
  issn = {1040-550X},
  publisher = {{John Wiley and Sons, Ltd.}}
}


@INPROCEEDINGS{loetal:denotational,
  author = {Lahcen Ouarbya and Sebastian Danicic and Dave (Mohammed) Daoudi and
	Mark Harman and Chris Fox},
  title = {A Denotational Interprocedural Program Slicer},
  booktitle = {{IEEE} Working Conference on Reverse Engineering ({WCRE 2002})},
  year = {2002},
  pages = {181 - 189},
  address = {Los Alamitos, California, USA},
  month = oct,
  publisher = cspress,
  city = {Richmond, Virginia, {USA}}
}

@INPROCEEDINGS{mhetal:icsm02-industry,
  author = {Mark Harman and Lin Hu and Robert Mark Hierons and Chris Fox and
	Sebastian Danicic and Andr\'{e} Baresel and Harmen Sthamer and Joachim
	Wegener},
  title = {Evolutionary Testing Supported by Slicing and Transformation},
  booktitle = {{IEEE} International Conference on Software Maintenance},
  year = {2002},
  pages = {285},
  address = {Los Alamitos, California, USA},
  month = oct,
  publisher = cspress,
  city = {Montreal, Canada},
  optbooktitle = {{IEEE} International Conference on Software Maintenance ({ICSM 2002})}
}



@INPROCEEDINGS{mhetal:vada-scam,
  author = {Mark Harman and Chris Fox and Robert Mark Hierons and Lin Hu and
	Sebastian Danicic and Joachim Wegener},
  title = {VADA: A Transformation-based System for Variable Dependence Analysis},
  booktitle = {{IEEE} International Workshop on Source Code Analysis and Manipulation
	({SCAM 2002})},
  year = {2002},
  pages = {55--64},
  address = {Los Alamitos, California, USA},
  month = oct,
  publisher = cspress,
  city = {Montreal, Canada},
  sidenote = {Voted best paper by attendees}
}


@INPROCEEDINGS{mhetal:interprocedural,
  author = {Mark Harman and Lin Hu and Xingyuan Zhang and Malcolm Munro and Sebastian
	Danicic and Mohammed Daoudi and Lahcen Ouarbya},
  title = {An Interprocedural Amorphous Slicer for {WSL}},
  booktitle = {{IEEE} International Workshop on Source Code Analysis and Manipulation
	({SCAM 2002})},
  year = {2002},
  pages = {105--114},
  address = {Los Alamitos, California, USA},
  month = oct,
  publisher = cspress,
  note = {Selected for consideration for the special issue of the Journal of
	Automated Software Engineering},
  city = {Montreal, Canada}
}


@INPROCEEDINGS{mhetal:icsm01,
  author = {Mark Harman and Rob Mark Hierons and Sebastian Danicic and John Howroyd
	and Chris Fox},
  title = {Pre/Post Conditioned Slicing},
  booktitle = {{IEEE I}nternational {C}onference on {S}oftware {M}aintenance ({ICSM'01})},
  year = {2001},
  pages = {138--147},
  address = {Los Alamitos, California, USA},
  month = nov,
  publisher = cspress,
  city = {Florence, Italy}
}


@INPROCEEDINGS{mhetal:wcre01,
  author = {Mark Harman and Rob Mark Hierons and Sebastian Danicic and John Howroyd
	and Mike Laurence and Chris Fox},
  title = {Node Coarsening Calculi for Program Slicing},
  booktitle = {$8^{th}$ Working Conference on Reverse Engineering},
  year = {2001},
  pages = {25--34},
  address = {Los Alamitos, California, USA},
  month = oct,
  publisher = cspress,
  city = {Stuttgart}
}



@INPROCEEDINGS{mhetal:iwpc01,
  author = {Chris Fox and Mark Harman and Rob Mark Hierons and Sebastian Danicic},
  title = {Backward Conditioning: a new program specialisation technique and
	its application to program comprehension},
  booktitle = {$9^{th}$ {IEEE} {I}nternational {W}orkshop on {P}rogram {C}omprenhesion},
  year = {2001},
  pages = {89--97},
  address = {Los Alamitos, California, USA},
  month = may,
  publisher = cspress,
  city = {{T}oronto, {C}anada},
  optbooktitle = {$9^{th}$ {IEEE} {I}nternational {W}orkshop on {P}rogram {C}omprenhesion
	({IWPC'01})}
}


@INPROCEEDINGS{mhetal:icsm00,
  author = {Sebastian Danicic and Chris Fox and Mark Harman and Rob Mark Hierons},
  title = {{ConSIT}: {A} conditioned program slicer},
  booktitle = {{IEEE I}nternational {C}onference on {S}oftware {M}aintenance ({ICSM'00})},
  year = {2000},
  pages = {216--226},
  address = {Los Alamitos, California, USA},
  month = Oct,
  publisher = cspress,
  city = {San Jose, California, USA}
}


@INPROCEEDINGS{mhrhsd:mutation2000,
  author = {Mark Harman and Rob Mark Hierons and Sebastian Danicic},
  title = {The Relationship Between Program Dependence and Mutation Analysis},
  booktitle = {{M}utation {T}esting for the {N}ew {C}entury (proceedings of {Mutation
	2000})},
  year = {2001},
  editor = {W. Eric Wong},
  pages = {5--13},
  address = {San Jose, California, USA},
  month = Oct,
  publisher = {Kluwer},
  isbn = {0-7923-7323-5}
}



@INPROCEEDINGS{mhsd:sac00,
  author = {Sebastian Danicic and Mark Harman},
  title = {Espresso: A Slicer Generator},
  booktitle = {{ACM} Symposium on Applied Computing, ({SAC'00})},
  year = {2000},
  pages = {831--839},
  address = {Como, Italy},
  month = Mar
}



@INPROCEEDINGS{mhsd:iwpc99,
  author = {Mark Harman and Chris Fox and Rob Mark Hierons and David Wendell
	Binkley and Sebastian Danicic},
  title = {Program simplification as a means of approximating undecidable propositions},
  booktitle = {$7^{th}$ {IEEE} {I}nternational {W}orkshop on {P}rogram {C}omprenhesion
	({IWPC'99})},
  year = {1999},
  pages = {208--217},
  address = {Los Alamitos, California, USA},
  month = may,
  publisher = cspress,
  city = {{P}ittsburgh, {P}ennsylvania, {USA}},
  isbn = {0-7695-0179-6},
  issn = {1092-8138}
}


@INPROCEEDINGS{mhsdys:icsm98,
  author = {Mark Harman and Yoga Sivagurunathan and Sebastian Danicic},
  title = {Analysis of Dynamic Memory Access using Amorphous Slicing},
  booktitle = {{IEEE I}nternational {C}onference on {S}oftware {M}aintenance ({ICSM'98})},
  year = {1998},
  pages = {336--345},
  address = {Los Alamitos, California, USA},
  month = nov,
  publisher = cspress,
  city = {Bethesda, Maryland, USA},
  isbn = {0-8186-8779-7},
  issn = {1063-6773}
}


@INPROCEEDINGS{mhmobssd:pmesse97,
  author = {Mark Harman and Margaret Okunlawon and Bala Sivagurunathan and Sebastian
	Danicic},
  title = {Slice-Based Measurement of Coupling},
  booktitle = {$19^{th}$ {ICSE}, {W}orkshop on {P}rocess {M}odelling and {E}mpirical
	{S}tudies of {S}oftware {E}volution},
  year = {1997},
  editor = {Rachel Harrison},
  address = {{B}oston, {M}assachusetts, {USA}},
  month = may
}


@INPROCEEDINGS{ysmhsd:aadebug97,
  author = {Yoga Sivagurunathan and Mark Harman and Sebastian Danicic},
  title = {Slicing, {I/O} and the Implicit State},
  booktitle = {$3^{rd}$ {I}nternational {W}orkshop on {A}utomated {D}ebugging (
	{AADEBUG'97} )},
  year = {1997},
  editor = {Mariam Kamkar},
  volume = {2},
  number = {009--06},
  series = {Link{\"{o}}ping Electronic Articles in Computer and Information Science},
  pages = {59--65},
  address = {{Link\"{o}ping}, Sweden},
  month = may,
  issn = {ISSN 1401-9841},
  url = {URL: http://www.ep.liu.se/ea/cis/1997/009/06/}
}