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

Mark Harman Vis

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

*2009
155EECu D. Nguyen, Anna Perini, Paolo Tonella, Simon Miles, Mark Harman, Michael Luck: Evolutionary testing of autonomous software agents. AAMAS (1) 2009: 521-528
154EEMark Harman, Fayezin Islam, Tao Xie, Stefan Wappler: Automated test data generation for aspect-oriented programs. AOSD 2009: 185-196
153 Connie Haoying Bao, Nicolas Gold, Mark Harman: Maintaining WS-BPEL Workflows Using Aspects. BPSC 2009: 225-226
152EEKelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt: Control Dependence for Extended Finite State Machines. FASE 2009: 216-230
151EEStefan Gueorguiev, Mark Harman, Giuliano Antoniol: Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering. GECCO 2009: 1673-1680
150EEMark Harman, Jens Krinke, Jian Ren, Shin Yoo: Search based data sensitivity analysis applied to requirement engineering. GECCO 2009: 1681-1688
149EEWilliam B. Langdon, Mark Harman, Yue Jia: Multi objective higher order mutation testing with GP. GECCO 2009: 1945-1946
148EERobert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2): (2009)
147EEPhil McMinn, David Binkley, Mark Harman: Empirical evaluation of a nesting testability transformation for evolutionary testing. ACM Trans. Softw. Eng. Methodol. 18(3): (2009)
2008
146 Robert M. Hierons, Jonathan P. Bowen, Mark Harman: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers Springer 2008
145EEDavid Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener: Dependence Anti Patterns. ASE Workshops 2008: 25-34
144EEMark 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
143EEKiran Lakhotia, Mark Harman, Phil McMinn: Handling dynamic data structures in search based testing. GECCO 2008: 1759-1766
142EEMark Harman, Nadia Alshahwan: Automated Session Data Repair for Web Application Regression Testing. ICST 2008: 298-307
141EEAnthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang: "Fairness Analysis" in Requirements Assignments. RE 2008: 115-124
140EEYuanyuan Zhang, Anthony Finkelstein, Mark Harman: Search Based Requirements Optimisation: Existing Work and Challenges. REFSQ 2008: 88-94
139EEDavid Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: Evaluating Key Statements Analysis. SCAM 2008: 121-130
138EEYue Jia, Mark Harman: Constructing Subtle Faults Using Higher Order Mutation Testing. SCAM 2008: 249-258
137EETao Jiang, Mark Harman, Youssef Hassoun: Analysis of Procedure Splitability. WCRE 2008: 247-256
136EEWalter J. Gutjahr, Mark Harman: Search-based software engineering. Computers & OR 35(10): 3049-3051 (2008)
135EEMassimiliano Di Penta, Giuliano Antoniol, Mark Harman: Special Issue on Search-Based Software Maintenance. Journal of Software Maintenance 20(5): 317-319 (2008)
134EEDavid Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: An empirical study of the relationship between the concepts expressed in source code and dependence. Journal of Systems and Software 81(12): 2287-2298 (2008)
133EEMark Harman, Zheng Li, Phil McMinn: Editorial: Testing practice and research. Softw. Test., Verif. Reliab. 18(2): 69-70 (2008)
2007
132EEMark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener: The impact of input domain reduction on search-based test data generation. ESEC/SIGSOFT FSE 2007: 155-164
131EEMark Harman: The Current State and Future of Search Based Software Engineering. FOSE 2007: 342-357
130EEKiran Lakhotia, Mark Harman, Phil McMinn: A multi-objective approach to search-based test data generation. GECCO 2007: 1098-1105
129EEMark Harman, Laurence Tratt: Pareto optimal search based refactoring at the design level. GECCO 2007: 1106-1113
128EEYuanyuan Zhang, Mark Harman, S. Afshin Mansouri: The multi-objective next release problem. GECCO 2007: 1129-1137
127EEMark Harman: Search Based Software Engineering for Program Comprehension. ICPC 2007: 3-13
126EEMassimiliano Di Penta, Mark Harman, Giuliano Antoniol, Fahim Qureshi: The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach. ICSM 2007: 315-324
125EEShin Yoo, Mark Harman: Pareto efficient multi-objective test case selection. ISSTA 2007: 140-150
124EEMark Harman, Phil McMinn: A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. ISSTA 2007: 73-83
123EEDavid Binkley, Mark Harman, Jens Krinke: Empirical study of optimization techniques for massive slicing. ACM Trans. Program. Lang. Syst. 30(1): (2007)
122EEDavid Binkley, Nicolas Gold, Mark Harman: An empirical study of static program slice size. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
121EEZheng Li, Mark Harman, Robert M. Hierons: Search Algorithms for Regression Test Case Prioritization. IEEE Trans. Software Eng. 33(4): 225-237 (2007)
120EESebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya: A non-standard semantics for program slicing and dependence analysis. J. Log. Algebr. Program. 72(2): 191-206 (2007)
119EEQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Heuristics for fault diagnosis when testing from finite state machines. Softw. Test., Verif. Reliab. 17(1): 41-57 (2007)
118EESebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence: Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Theor. Comput. Sci. 373(1-2): 1-18 (2007)
2006
117 David Binkley, Mark Harman, Jens Krinke: Beyond Program Slicing, 06.11. - 11.11.2005 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
116EEMark Harman: Search-Based Software Engineering for Maintenance and Reengineering. CSMR 2006: 311
115EEKiarash Mahdavi, Nicolas Gold, Zheng Li, Mark Harman: Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. Duplication, Redundancy, and Similarity in Software 2006
114EEMark Harman, Alexandros Skaliotis, Kathleen Steinhöfel, Paul Baker: Search--based approaches to the component selection and prioritization problem. GECCO 2006: 1951-1952
113EEPaul Baker, Mark Harman, Kathleen Steinhöfel, Alexandros Skaliotis: Search Based Approaches to Component Selection and Prioritization for the Next Release Problem. ICSM 2006: 176-185
112EENicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. ICSM 2006: 310-319
111EEPhil McMinn, Mark Harman, David Binkley, Paolo Tonella: The species per path approach to SearchBased test data generation. ISSTA 2006: 13-24
110EEMark Harman: Search Based Software Engineering. International Conference on Computational Science (4) 2006: 740-747
109EEKeith Gallagher, David Binkley, Mark Harman: Stop-List Slicing. SCAM 2006: 11-20
108EEDavid Binkley, Mark Harman, Jens Krinke: Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. SCAM 2006: 43-52
107EEDavid Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: An Empirical Study of Executable Concept Slice Size. WCRE 2006: 103-114
106EEMark Harman, Sue Black, Paolo Tonella: Workshop Introduction Astrenet Aspect Analysis. WCRE 2006: 323
105EEKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. Comput. J. 49(3): 331-344 (2006)
104EEJohn Derrick, Mark Harman, Robert M. Hierons: Guest Editorial. Formal Asp. Comput. 18(1): 1-2 (2006)
103EEDavid Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya: A formal relationship between program slicing and partial evaluation. Formal Asp. Comput. 18(2): 103-119 (2006)
102EEDavid Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella: Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects. IEEE Trans. Software Eng. 32(9): 698-717 (2006)
101EEMark Harman, Arun Lakhotia, David Binkley: Theory and algorithms for slicing unstructured programs. Information & Software Technology 48(7): 549-565 (2006)
100EEQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Improving test quality using robust unique input/output circuit sequences (UIOCs). Information & Software Technology 48(8): 696-707 (2006)
99EETom Dean, Mark Harman, Rainer Koschke, Michael L. Van De Vanter: Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop. Journal of Systems and Software 79(9): 1217-1218 (2006)
98EEDavid Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: A formalisation of the relationship between forms of program slicing. Sci. Comput. Program. 62(3): 228-252 (2006)
97EEDavid Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. 360(1-3): 23-41 (2006)
2005
96EEDavid Binkley, Mark Harman, Jens Krinke: 05451 Abstracts Collection -- Beyond Program Slicing. Beyond Program Slicing 2005
95EEMark Harman, David Binkley, Jens Krinke: 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. Beyond Program Slicing 2005
94EEMark Harman, Stephen Swift, Kiarash Mahdavi: An empirical study of the robustness of two module clustering fitness functions. GECCO 2005: 1029-1036
93EEKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. GECCO 2005: 1081-1082
92EEDavid Binkley, Mark Harman: Locating Dependence Clusters and Dependence Pollution. ICSM 2005: 177-186
91EEGiuliano Antoniol, Massimiliano Di Penta, Mark Harman: Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project. ICSM 2005: 240-249
90EEDavid Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella: Automated Refactoring of Object Oriented Code into Aspects. ICSM 2005: 27-36
89EEBogdan Korel, Luay Ho Tahat, Mark Harman: Test Prioritization Using System Models. ICSM 2005: 559-568
88EEBogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, R. Gupta, Q. Zhang: Data Dependence Based Testability Transformation in Automated Test Generation. ISSRE 2005: 245-254
87EEDavid Binkley, Mark Harman: Forward slices are smaller than backward slices. SCAM 2005: 15-24
86EEDavid Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: Minimal Slicing and the Relationships Between Forms of Slicing. SCAM 2005: 45-56
85EEDeji Fatiregun, Mark Harman, Robert M. Hierons: Search-Based Amorphous Slicing. WCRE 2005: 3-12
84EERobert M. Hierons, Mark Harman, Chris Fox: Branch-Coverage Testability Transformation for Unstructured Programs. Comput. J. 48(4): 421-436 (2005)
83EESebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence: Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. Comput. J. 48(6): 737-748 (2005)
82EEMark Harman, Bogdan Korel, Panagiotis K. Linos: Guest Editorial: Special Issue on Software Maintenance and Evolution. IEEE Trans. Software Eng. 31(10): 801-803 (2005)
81EESebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward: ConSUS: a light-weight program conditioner. Journal of Systems and Software 77(3): 241-262 (2005)
80EENicolas E. Gold, Mark Harman, David Binkley, Robert M. Hierons: Unifying program slicing and concept assignment for higher-level executable source code extraction. Softw., Pract. Exper. 35(10): 977-1006 (2005)
2004
79 Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund K. Burke, Paul J. Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andrew M. Tyrrell: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I Springer 2004
78 Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund K. Burke, Paul J. Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andrew M. Tyrrell: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II Springer 2004
77EEKonstantinos Adamopoulos, Mark Harman, Robert M. Hierons: How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. GECCO (2) 2004: 1338-1349
76EEGiuliano Antoniol, Massimiliano Di Penta, Mark Harman: Search-Based Techniques for Optimizing Software Project Resource Allocation. GECCO (2) 2004: 1425-1426
75EEKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). GECCO (2) 2004: 1429-1430
74EEMark Harman, Joachim Wegener: Getting Results from Search-Based Approaches to Software Engineering. ICSE 2004: 728-729
73EEGiuliano Antoniol, Massimiliano Di Penta, Mark Harman: A Robust Search-Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty. IEEE METRICS 2004: 172-183
72EEMark Harman, John A. Clark: Metrics Are Fitness Functions Too. IEEE METRICS 2004: 58-69
71EEAndré Baresel, David Binkley, Mark Harman, Bogdan Korel: Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. ISSTA 2004: 108-118
70EESebastian Danicic, Andrea De Lucia, Mark Harman: Building Executable Union Slices using Conditioned Slicing. IWPC 2004: 89-99
69EEDavid Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya: Formalizing Executable Dynamic and Forward Slicing. SCAM 2004: 43-52
68EEDeji Fatiregun, Mark Harman, Robert M. Hierons: Evolving Transformation Sequences using Genetic Algorithms. SCAM 2004: 66-75
67EEMark Harman, David Binkley, Ranjit Singh, Robert M. Hierons: Amorphous Procedure Extraction. SCAM 2004: 85-94
66EELin Hu, Mark Harman, Robert M. Hierons, David Binkley: Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160
65 David Binkley, Mark Harman: A survey of empirical results on program slicing. Advances in Computers 62: 106-179 (2004)
64EEMark 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)
63EEMark 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)
62EEDavid Binkley, Mark Harman: Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. IEEE Trans. Software Eng. 30(11): 715-735 (2004)
61EEJohn A. Clark, Mark Harman, Robert M. Hierons: Editorial: Software testing in the United Kingdom. Softw. Test., Verif. Reliab. 14(3): 165-166 (2004)
60EEChris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: ConSIT: a fully automated conditioned program slicer. Softw., Pract. Exper. 34(1): 15-46 (2004)
59EEDavid Binkley, Liz Burd, Mark Harman, Paolo Tonella: Introduction. Software Quality Journal 12(4): 293-295 (2004)
58EERobert M. Hierons, Mark Harman: Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Theor. Comput. Sci. 323(1-3): 191-233 (2004)
2003
57 Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell K. Standish, Graham Kendall, Stewart W. Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasa Jonoska, Julian F. Miller: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I Springer 2003
56 Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell K. Standish, Graham Kendall, Stewart W. Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasa Jonoska, Julian F. Miller: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II Springer 2003
55EEAndrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke: Unions of Slices Are Not Slices. CSMR 2003: 363-367
54EEQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Computing Unique Input/Output Sequences Using Genetic Algorithms. FATES 2003: 164-177
53EEDeji Fatiregun, Mark Harman, Robert M. Hierons: Search Based Transformations. GECCO 2003: 2511-2512
52EEKiarash Mahdavi, Mark Harman, Robert M. Hierons: Finding Building Blocks for Software Clustering. GECCO 2003: 2513-2514
51EEDavid Binkley, Mark Harman: An Empirical Study of Predicate Dependence Levels and Trends. ICSE 2003: 330-340
50EEKiarash Mahdavi, Mark Harman, Robert M. Hierons: A Multiple Hill Climbing Approach to Software Module Clustering. ICSM 2003: 315-324
49EEDavid Binkley, Mark Harman: A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity. ICSM 2003: 44-53
48EEDavid Binkley, Mark Harman: Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. SCAM 2003: 203-
47EERobert M. Hierons, Mark Harman, Harbhajan Singh: Automatically Generating Information from a Z Specification to Support the Classification Tree Method. ZB 2003: 388-407
46 John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd: Formulating software engineering as a search problem. IEE Proceedings - Software 150(3): 161-175 (2003)
45EEJosé 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)
44EEKeith Gallagher, Mark Harman, Sebastian Danicic: Guaranteed inconsistency avoidance during software evolution. Journal of Software Maintenance 15(6): 393-416 (2003)
43EEMark Harman, David Binkley, Sebastian Danicic: Amorphous program slicing. Journal of Systems and Software 68(1): 45-64 (2003)
42 Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd: Equivalence of conservative, free, linear program schemas is decidable. Theor. Comput. Sci. 290(1): 831-862 (2003)
2002
41EEYoga Sivagurunathan, Mark Harman, Bala Sivagurunathan: Slice-Based Dynamic Memory Modelling - A Case Study. COMPSAC 2002: 351-356
40EEJonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
39 Mark Harman, Robert M. Hierons, Mark Proctor: A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. GECCO 2002: 1351-1358
38 Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer: Improving Evolutionary Testing By Flag Removal. GECCO 2002: 1359-1366
37EEMark 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
36EEMark 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
35EEMark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: An Interprocedural Amorphous Slicer for WSL. SCAM 2002: 105-114
34EEMark 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
33EEXingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Mechanized Operational Semantics of WSL. SCAM 2002: 73-82
32EEXingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs 2002: 332-348
31EEMohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward: ConSUS: A Scalable Approach to Conditioned Slicing. WCRE 2002: 109-118
30EEMark Harman, Nicolas Gold, Robert M. Hierons, David Binkley: Code Extraction Algorithms which Unify Slicing and Concept Assignment. WCRE 2002: 11-21
29EELahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox: A Denotational Interprocedural Program Slicer. WCRE 2002: 181-
28 Kiarash Mahdavi, Mark Harman: Book Review: Automatic Re-Engineering of Software Using Genetic Programming. Genetic Programming and Evolvable Machines 3(2): 219-221 (2002)
27 Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Source code analysis and manipulation. Information & Software Technology 44(13): 717-720 (2002)
26 Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi: Conditioned slicing supports partition testing. Softw. Test., Verif. Reliab. 12(1): 23-28 (2002)
2001
25 Mark Harman, Bryan F. Jones: SEMINAL: Software Engineering Using Metaheuristic INnovative Algorithms. ICSE 2001: 762-763
24EEMark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd: Pre/Post Conditioned Slicing. ICSM 2001: 138-147
23EEMark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Side-Effect Removal Transformation. IWPC 2001: 310-322
22EEChris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC 2001: 89-97
21EEMark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox: Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34
20EEMark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang: GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. WCRE 2001: 271-280
19 Mark Harman, Bryan F. Jones: Search-based software engineering. Information & Software Technology 43(14): 833-839 (2001)
18 Mark Harman, Bryan F. Jones: Software engineering using metaheuristic innovative algorithms: workshop report. Information & Software Technology 43(14): 905-907 (2001)
17 Mark Harman: Software Engineering. Software Focus 2(2): 80 (2001)
16 Mark Harman, Robert M. Hierons: An overview of program slicing. Software Focus 2(3): 85-92 (2001)
2000
15EEChris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic: ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-
14EEDavid Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman: An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool. IWPC 2000: 161-170
13 Sebastian Danicic, Mark Harman: Espresso: A Slicer Generator. SAC (2) 2000: 831-839
12EERobert M. Hierons, Mark Harman: Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. Formal Asp. Comput. 12(6): 423-442 (2000)
1999
11EEMark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217
10 Robert M. Hierons, Mark Harman, Sebastian Danicic: Using Program Slicing to Assist in the Detection of Equivalent Mutants. Softw. Test., Verif. Reliab. 9(4): 233-262 (1999)
1998
9EEMark Harman, Yoga Sivagurunathan, Sebastian Danicic: Analysis of Dynamic Memory Access Using Amorphous Slicing. ICSM 1998: 336-
8EEMark Harman, Keith Brian Gallagher: Program slicing. Information & Software Technology 40(11-12): 577-581 (1998)
7EEMark Harman, Sebastian Danicic: A new algorithm for slicing unstructured programs. Journal of Software Maintenance 10(6): 415-441 (1998)
1997
6EEYoga Sivagurunathan, Mark Harman, Sebastian Danicic: Slicing, I/O and the Implicit State. AADEBUG 1997: 59-68
5EEMark Harman, Sebastian Danicic: Amorphous Program Slicing. WPC 1997: 70-79
1996
4 Mark Harman, Dan Simpson, Sebastian Danicic: Slicing Programs in the Presence of Errors. Formal Asp. Comput. 8(4): 490-497 (1996)
1995
3EESebastian Danicic, Mark Harman, Yoga Sivagurunathan: A Parallel Algorithm for Static Program Slicing. Inf. Process. Lett. 56(6): 307-313 (1995)
2 Mark Harman, Sebastian Danicic: Using Program Slicing to Simplify Testing. Softw. Test., Verif. Reliab. 5(3): 143-162 (1995)
1993
1 Mark Harman, Sebastian Danicic: Projecting Functional Models of Imperative Programs. SIGPLAN Notices 28(11): 33-41 (1993)

Coauthor Index

1Konstantinos Adamopoulos [77]
2Nadia Alshahwan [142]
3Kelly Androutsopoulos [152]
4Giuliano Antoniol [73] [76] [91] [126] [135] [151]
5P. Apirukvorapinit [88]
6Paul Baker [113] [114]
7Wolfgang Banzhaf [78] [79]
8Connie Haoying Bao [153]
9André Baresel [36] [38] [63] [71] [144]
10Hans-Georg Beyer [56] [57] [78] [79]
11David Binkley [11] [14] [30] [43] [48] [49] [51] [59] [62] [64] [65] [66] [67] [69] [71] [80] [86] [87] [90] [92] [95] [96] [97] [98] [101] [102] [103] [107] [108] [109] [111] [117] [122] [123] [134] [139] [144] [145] [147]
12Sue Black [106]
13Kirill Bogdanov [40] [148]
14Jonathan P. Bowen [40] [146] [148]
15Elizabeth Burd (Liz Burd) [59]
16Edmund K. Burke [78] [79]
17Erick Cantú-Paz [56] [57]
18Mariano Ceccato [90] [102]
19S. Chung [88]
20David Clark [152]
21John A. Clark (John Andrew Clark) [40] [46] [61] [72]
22Rance Cleaveland [148]
23Sebastian Danicic [1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [13] [15] [21] [22] [24] [29] [31] [34] [35] [36] [42] [43] [44] [60] [64] [69] [70] [81] [83] [86] [97] [98] [103] [118] [120]
24Mohammed Daoudi [26] [29] [31] [35] [64] [81]
25Paul J. Darwen [78] [79]
26Dipankar Dasgupta [56] [57] [78] [79]
27Lawrence Davis [56] [57]
28Tom Dean [99]
29Kalyanmoy Deb [56] [57] [78] [79]
30Karnig Derderian [54] [75] [93] [100] [105] [119]
31John Derrick [104] [148]
32Jeremy Dick [148]
33José Javier Dolado [37] [45] [46]
34Kathryn A. Dowsland [56] [57]
35Deji Fatiregun [53] [68] [85]
36Anthony Finkelstein [140] [141]
37Dario Floreano [78] [79]
38James A. Foster [56] [57] [78] [79]
39Chris Fox [11] [15] [21] [22] [24] [26] [29] [31] [34] [36] [60] [81] [83] [84]
40Keith Brian Gallagher (Keith Gallagher) [8] [44] [109]
41Marian Gheorghe [148]
42Nicolas Gold (Nicolas E. Gold) [30] [80] [107] [112] [115] [122] [134] [139] [145] [153]
43Stefan Gueorguiev [151]
44Qiang Guo [54] [75] [93] [100] [105] [119]
45R. Gupta [88]
46Walter J. Gutjahr [136]
47Tibor Gyimóthy [69] [86] [97] [98]
48Youssef Hassoun [132] [137]
49Robert M. Hierons [10] [11] [12] [15] [16] [21] [22] [24] [26] [30] [34] [36] [37] [38] [39] [40] [42] [46] [47] [50] [52] [53] [54] [55] [58] [60] [61] [63] [66] [67] [68] [75] [77] [80] [81] [83] [84] [85] [93] [100] [104] [105] [118] [119] [121] [144] [146] [148]
50Owen Holland [78] [79]
51John Howroyd [21] [24] [31] [42] [81] [83] [103] [118] [120]
52Lin Hu [20] [23] [27] [32] [33] [34] [35] [36] [37] [38] [45] [63] [64] [66] [144]
53Fayezin Islam [154]
54Yue Jia [138] [149]
55Tao Jiang [137]
56Bryan F. Jones [18] [19] [25] [46]
57Natasa Jonoska (Natasha Jonoska) [56] [57]
58Kalpesh Kapoor [148]
59Graham Kendall [56] [57]
60Ákos Kiss [69] [86] [97] [98]
61Bogdan Korel [71] [82] [86] [88] [89] [97] [98] [144]
62Rainer Koschke [99]
63Paul Krause [40] [148]
64Jens Krinke [55] [95] [96] [108] [117] [123] [150]
65Arun Lakhotia [101]
66Kiran Lakhotia [130] [132] [143]
67William B. Langdon [149]
68Pier Luca Lanzi [78] [79]
69Michael R. Laurence [21] [42] [83] [118]
70Zheng Li [107] [112] [115] [121] [133] [134] [139] [145] [152]
71Panagiotis K. Linos [82]
72Andrea De Lucia [55] [70]
73Michael Luck [155]
74M. Lumkin [46]
75Gerald Lüttgen [148]
76Kiarash Mahdavi [28] [50] [52] [94] [107] [112] [115] [134] [139] [145]
77Spiros Mancoridis [46]
78S. Afshin Mansouri [128] [141]
79Phil McMinn [111] [124] [130] [132] [133] [143] [144] [147]
80Simon Miles [155]
81Julian Francis Miller (Julian F. Miller) [56] [57]
82Brian S. Mitchell [46]
83Malcolm Munro [20] [23] [27] [32] [33] [35] [37] [64]
84Cu D. Nguyen [155]
85Una-May O'Reilly [56] [57]
86Mari Carmen Otero [37] [45]
87Lahcen Ouarbya [26] [29] [31] [35] [64] [69] [81] [103] [120]
88Massimiliano Di Penta [73] [76] [91] [126] [135]
89Anna Perini [155]
90Riccardo Poli [78] [79]
91Mitchell A. Potter [56] [57]
92Mark Proctor [39]
93Fahim Qureshi [126]
94L. Ross Raszewski [14]
95K. Rees [46]
96Jian Ren [141] [150]
97Filippo Ricca [90] [102]
98Marc Roper [46] [63] [144]
99Rajkumar Roy [56] [57]
100Alan C. Schultz [56] [57]
101Martin J. Shepperd [46]
102Anthony J. H. Simons [148]
103Dan Simpson [4]
104Harbhajan Singh [47]
105Ranjit Singh [67]
106Bala Sivagurunathan [41]
107Yoga Sivagurunathan [3] [6] [9] [41]
108Alexandros Skaliotis [113] [114]
109Christopher Smith [14]
110Lee Spector [78] [79]
111Russell K. Standish [56] [57]
112Kathleen Steinhöfel [113] [114]
113Harmen Sthamer [36] [38] [63]
114Stephen Swift [94]
115Luay Ho Tahat [89]
116Andrea Tettamanzi [78] [79]
117Dirk Thierens [78] [79]
118Paolo Tonella [59] [90] [102] [106] [111] [155]
119Laurence Tratt [129] [152]
120Andrew M. Tyrrell (Andy M. Tyrrell) [78] [79]
121Michael L. Van De Vanter [99]
122Sergiy A. Vilkomir [148]
123Stefan Wappler [154]
124Martin P. Ward [31] [81]
125Joachim Wegener [34] [36] [37] [56] [57] [63] [74] [132] [145]
126Stewart W. Wilson [56] [57]
127Martin R. Woodward [148]
128Tao Xie [154]
129Shin Yoo [125] [150]
130Hussein Zedan (Hussein S. M. Zedan) [148]
131Q. Zhang [88]
132Xingyuan Zhang [20] [23] [27] [32] [33] [35] [37] [64]
133Yuanyuan Zhang [128] [140] [141]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)