Side-Effect Removal Transformation. - Mark Harman; Malcolm Munro; Lin Hu 005; Xingyuan Zhang (IWPC, 2001)

GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. - Mark Harman; Lin Hu 005; Malcolm Munro; Xingyuan Zhang (WCRE, 2001)

Improving Evolutionary Testing By Flag Removal. - Mark Harman; Lin Hu 005; Robert M. Hierons; André Baresel; Harmen Sthamer (GECCO, 2002)

Evolutionary Testing Supported by Slicing and Transformation. - Mark Harman; Lin Hu 005; Robert M. Hierons; Chris Fox; Sebastian Danicic; Joachim Wegener; Harmen Sthamer; André Baresel (ICSM, 2002)

A Post-Placement Side-Effect Removal Algorithm. - Mark Harman; Lin Hu 005; Robert M. Hierons; Malcolm Munro; Xingyuan Zhang; José Javier Dolado; Mari Carmen Otero; Joachim Wegener (ICSM, 2002)

VADA: A Transformation-Based System for Variable Dependence Analysis. - Mark Harman; Chris Fox; Robert M. Hierons; Lin Hu 005; Sebastian Danicic; Joachim Wegener (SCAM, 2002)

An Interprocedural Amorphous Slicer for WSL. - Mark Harman; Lin Hu 005; Malcolm Munro; Xingyuan Zhang; Sebastian Danicic; Mohammed Daoudi; Lahcen Ouarbya (SCAM, 2002)

Mechanized Operational Semantics of WSL. - Xingyuan Zhang; Malcolm Munro; Mark Harman; Lin Hu 005 (SCAM, 2002)

Weakest Precondition for General Recursive Programs Formalized in Coq. - Xingyuan Zhang; Malcolm Munro; Mark Harman; Lin Hu 005 (TPHOLs, 2002)

Source code analysis and manipulation. - Mark Harman; Malcolm Munro; Lin Hu 005; Xingyuan Zhang (Inf. Softw. Technol., 2002)

An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension. - José Javier Dolado; Mark Harman; Mari Carmen Otero; Lin Hu 005 (IEEE Trans. Software Eng., 2003)

Loop Squashing Transformations for Amorphous Slicing. - Lin Hu 005; Mark Harman; Robert M. Hierons; David W. Binkley (WCRE, 2004)

Syntax-Directed Amorphous Slicing. - Mark Harman; Lin Hu 005; Malcolm Munro; Xingyuan Zhang; David W. Binkley; Sebastian Danicic; Mohammed Daoudi; Lahcen Ouarbya (Autom. Softw. Eng., 2004)

Testability Transformation. - Mark Harman; Lin Hu 005; Robert M. Hierons; Joachim Wegener; Harmen Sthamer; André Baresel; Marc Roper (IEEE Trans. Software Eng., 2004)

Testability Transformation - Program Transformation to Improve Testability. - Mark Harman; André Baresel; David W. Binkley; Robert M. Hierons; Lin Hu 005; Bogdan Korel; Phil McMinn; Marc Roper (Formal Methods and Testing, 2008)