Lin Hu

Affiliations:

King's College London, UK
Brunei University, Department of Information Systems and Computing, Uxbridge, Middlesex, UK

According to our database¹, Lin Hu authored at least 15 papers between 2001 and 2008.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2008

Testability Transformation - Program Transformation to Improve Testability.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Testing, 2008

2004

Testability Transformation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Syntax-Directed Amorphous Slicing.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2004

Loop Squashing Transformations for Amorphous Slicing.

[BibT_eX]

[DOI]

Proceedings of the 11th Working Conference on Reverse Engineering, 2004

2003

An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

2002

Source code analysis and manipulation.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2002

Weakest Precondition for General Recursive Programs Formalized in Coq.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Mechanized Operational Semantics of WSL.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

An Interprocedural Amorphous Slicer for WSL.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

VADA: A Transformation-Based System for Variable Dependence Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

A Post-Placement Side-Effect Removal Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Evolutionary Testing Supported by Slicing and Transformation.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Improving Evolutionary Testing By Flag Removal.

[BibT_eX]

Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

2001

GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation.

[BibT_eX]

[DOI]

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Side-Effect Removal Transformation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

Lin Hu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...