Search the dblp DataBase

Publications of Author

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