Lin Hu

2008
16	EE	Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper: Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing 2008: 320-344
2005
15	EE	Lin Hu, Xueliang Li: Sufficient Conditions for the Existence of Perfect Heterochromatic Matchings in Colored Graphs. CJCDGCGT 2005: 47-58
2004
14	EE	Lin Hu, Mark Harman, Robert M. Hierons, David Binkley: Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160
13	EE	Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. 11(1): 27-61 (2004)
12	EE	Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper: Testability Transformation. IEEE Trans. Software Eng. 30(1): 3-16 (2004)
2003
11	EE	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): 665-670 (2003)
2002
10		Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer: Improving Evolutionary Testing By Flag Removal. GECCO 2002: 1359-1366
9	EE	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: 2-11
8	EE	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: 285
7	EE	Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: An Interprocedural Amorphous Slicer for WSL. SCAM 2002: 105-114
6	EE	Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener: VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM 2002: 55-64
5	EE	Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Mechanized Operational Semantics of WSL. SCAM 2002: 73-82
4	EE	Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs 2002: 332-348
3		Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Source code analysis and manipulation. Information & Software Technology 44(13): 717-720 (2002)
2001
2	EE	Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Side-Effect Removal Transformation. IWPC 2001: 310-322
1	EE	Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang: GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. WCRE 2001: 271-280

Coauthor Index

1	André Baresel	[8] [10] [12] [16]
2	David Binkley	[13] [14] [16]
3	Sebastian Danicic	[6] [7] [8] [13]
4	Mohammed Daoudi	[7] [13]
5	José Javier Dolado	[9] [11]
6	Chris Fox	[6] [8]
7	Mark Harman	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16]
8	Robert M. Hierons	[6] [8] [9] [10] [12] [14] [16]
9	Bogdan Korel	[16]
10	Xueliang Li	[15]
11	Phil McMinn	[16]
12	Malcolm Munro	[1] [2] [3] [4] [5] [7] [9] [13]
13	Mari Carmen Otero	[9] [11]
14	Lahcen Ouarbya	[7] [13]
15	Marc Roper	[12] [16]
16	Harmen Sthamer	[8] [10] [12]
17	Joachim Wegener	[6] [8] [9] [12]
18	Xingyuan Zhang	[1] [2] [3] [4] [5] [7] [9] [13]

Colors in the list of coauthors