PhD Students
- Michael Laurence
(Completed 2004)
-
Equivalence of Liberal Free Linear Program Schemas
is Decidable in Polynmial Time
Prinicipal Supervisor: Sebastian Danicic
Other supervisors: Mark Harman
,Rob Hierons, John Howroyd
- Lahcen Ouarbya
(Completed 2005)
- A new semantics for program slicing
Prinicipal Supervisor: Sebastian Danicic
Other supervisors: Chris Fox
, Mark Harman
, John Howroyd
- Dave Daoudi
(completed 2006)
-
Light Weight Program Conditioning
Prinicipal Supervisor: Sebastian Danicic
Other supervisors: Chris Fox
,Mark Harman
,John Howroyd
- Eamonn Martin
(Just Started)
- Java Program Transformation Tools
Prinicipal Supervisor: Sebastian Danicic
- Yoga Sivagurunathan
(London Met)(Completed 2004)
-
Modelling Dynamic Memory Allocation and Deallocation using Amorphous Slicing
Prinicipal Supervisor: Mark Harman
Other supervisors: Sebastian Danicic
- Konstantinos Adamopoulos
(Kings)
- Mutation Testing
Prinicipal Supervisor: Mark Harman
Other supervisors: Rob Hierons,Sebastian Danicic
- Bala Sivagurunathan
(London Met)
-
Slice-Based Measurement of Cohesion and Coupling
Prinicipal Supervisor: Mark Harman
Other supervisors: Sebastian Danicic
