dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mark Harman (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Hu, Mark Harman, Robert M. Hierons, David Binkley: Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer: Improving Evolutionary Testing By Flag Removal. GECCO 2002: 1359-1366
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: An Interprocedural Amorphous Slicer for WSL. SCAM 2002: 105-114
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Mechanized Operational Semantics of WSL. SCAM 2002: 73-82
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs 2002: 332-348
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Source code analysis and manipulation. Information & Software Technology 44(13): 717-720 (2002)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Side-Effect Removal Transformation. IWPC 2001: 310-322
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang: GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. WCRE 2001: 271-280

Selection of 15 from 217 records - Mark Harman has 161 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page