Lin Hu

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Publications

Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper
Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing (2008)
Lin Hu, Mark Harman, Robert M. Hierons, David W. Binkley
Loop Squashing Transformations for Amorphous Slicing. WCRE (2004)
Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper
Testability Transformation. IEEE Trans. Software Eng. 30 (1) (2004)
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. 11 (1) (2004)
José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension. IEEE Trans. Software Eng. 29 (7) (2003)
Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer
Improving Evolutionary Testing By Flag Removal. GECCO (2002)
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
Mechanized Operational Semantics of WSL. SCAM (2002)
Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener
A Post-Placement Side-Effect Removal Algorithm. ICSM (2002)
Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel
Evolutionary Testing Supported by Slicing and Transformation. ICSM (2002)
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener
VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM (2002)
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
An Interprocedural Amorphous Slicer for WSL. SCAM (2002)
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
Source code analysis and manipulation. Inf. Softw. Technol. 44 (13) (2002)
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs (2002)
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
Side-Effect Removal Transformation. IWPC (2001)
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. WCRE (2001)