This web page contains pointers to the full text of PhD theses I have supervised, since
1999 when I gradated my first PhD student.
A small item of trivia: my first PhD graduate was also my former PhD supervisor.
I believe we are the only two academics who have a cycle in their PhD supervision "tree",
making us each our own ancestors.
Do let me know if you are aware of others with cyclic supervision graphs
Those for Whom I was First Supervisor
I have ordered the PhD theses in the order in which the authors submitted their thesis for examination.
This list contains only those for whom I was the first (lead) supervisor.
Those for Whom I was Second Supervisor
I have ordered the PhD theses in the order in which the authors submitted their thesis for examination.
This list contains only those for whom I was the second supervisor.
I list also the first supervisor, who was the main director of these students' thesis work.
Mark Harman,
Professor of Software Engineering,
Software Engineering Group,
Department of Computer Science,
King's College London,
Strand, London, WC2R 2LS.
Phone: +44 (0)20 7848 2895
FAX: +44 (0)20 7848 2851
e-mail: my first name followed by the at symbol then dcs.kcl.ac.uk
web: http://www.dcs.kcl.ac.uk/staff/mark/.
1. Sebastian Danicic. PhD, UNL, 1999: Dataflow minimal slicing.
2. Yoga Sivagurunathan. PhD, UNL, 2004: Modelling dynamic memory allocation and deallocation using amorphous slicing.
3. Lin Hu. PhD, Brunel, 2004: Amorphous program slicing.
4. Kiarash Mahdavi. PhD, Brunel, 2005: A clustering genetic algorithm for software modularisation with a multiple hill climbing approach.
5. Ayodeji Fatiregun. PhD, KCL, 2006: Search-based program transformation for amorphous slicing and program comprehension.
6. Tao Jiang. PhD, KCL, 2008: Search based slicing for program dependency structures of interest.
7. Zheng Li. PhD, KCL, 2009: Identifying high-level dependence structures using slice-based dependence analysis.
8. Kiran Lakhotia. PhD, KCL, 2009: Search-based testing.
9. Shin Yoo. PhD, KCL, 2009: Extending the boundaries in regression testing: complexity, latency, and expertise.
10. Yuanyuan Zhang. PhD, KCL 2010: Multi-objective search-based requirements selection and optimisation.
11. Nadia Alshahwan. PhD, UCL, 2012: Utilizing output in web application server-side testing.
12. Jian Ren. PhD, UCL, 2013: Search based software project management.
13. Mustafa Bozkurt. PhD, UCL, 2013: Automated realistic test input generation and cost reduction in service-centric system testing.
14. Yue Jia. PhD, UCL, 2013: Higher order mutation testing.
1. Mike Laurence. PhD, Goldsmiths, 2004: Program schematology.
First Supervisor: Sebastian Danicic.
2. Lahcen Ouarbya, PhD, Goldsmiths, 2005: A non-standard semantics for program slicing and dependence analysis.
First Supervisor: Sebastian Danicic.
3. Qiang (Larry) Guo, PhD, Brunel, 2005: Improving fault coverage and minimising the cost of fault identification when testing from Finite State Machines.
First Supervisor: Robert Hierons.
4. Pauline Kan, PhD, KCL, 2006: A method for safety critical software development.
First Supervisor: Kevin Lano.
5. Mohammed Daoudi, PhD, Goldsmiths, 2006: An Investigation Into a Probabilistic Framework for Studying Symbolic Execution Based Program Conditioning.
First Supervisor: Sebastian Danicic.
6. Karnig Derderian, PhD, Brunel, 2007: Automated test sequence generation for Finite State Machines using Genetic Algorithms.
First Supervisor: Robert Hierons.
7. Marian Mohr, PhD, KCL, 2010: Service oriented software engineering performance enhancement.
First Supervisor: Nicolas Gold.