Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Divisions: CREST: Centre for Research on Evolution, Search and Testing

Number of items at this level: 173.

Jia, Y and Binkley, D and Harman, M and Krinke, Jens and Matsushita, M (2009) KClone: A Proposed Approach to Fast Precise Code Clone Detection. In: Third International Workshop on Detection of Software Clones (IWSC).

Harman, Mark and Hassoun, Youssef and Lakhotia, Kiran and McMinn, Philip and Wegener, Joachim (2007) The Impact of Input Domain Reduction on Search-Based Test Data Generation. In: ACM Symposium on the Foundations of Software Engineering (FSE '07).

Harman, Mark and McMinn, Philip (2007) A Theoretical and Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation. In: International Symposium on Software Testing and Analysis (ISSTA'07).

Yoo, Shin and Harman, Mark (2007) Pareto Efficient Multi-Objective Test Case Selection. In: International Symposium on Software Testing and Analysis (ISSTA'07).

Harman, Mark (2007) Automated Test Data Generation using Search Based Software Engineering (keynote). In: 2<sup>nd</sup> International Workshop on Automation of Software Test (AST 07).

Harman, Mark and Lakhotia, Kiran and McMinn, Philip (2007) A Multi-Objective Approach to Search-Based Test Data Generation. In: GECCO 2007: Proceedings of the 9<sup>th</sup> annual conference on Genetic and evolutionary computation.

Binkley, David Wendell and Gold, Nicolas and Harman, Mark (2007) An Empirical Study of Static Program Slice Size. ACM Transactions on Software Engineering and Methodology, 16 (2). pp. 1-32.

Binkley, D. and Gold, N. E. and Harman, M. (2007) An Empirical Study of Static Program Slice Size. ACM Transactions on Software Engineering and Methodology, 16 (2).

Dunn, S. and Gold, N. E. and Hughes, L. (2007) CHIMERA: A Service-Oriented Computing Model for Archaeological Research. In: Computer Applications and Quantitative Methods in Archaeology (CAA), April 2-6 2007. (In Press)

Laurence, Mike and Danicic, Sebastian and Harman, Mark and Hierons, Robert Mark and Howroyd, John (2007) Equivalence of Linear, Free, Liberal, Structured Program Schemas is Decidable in Polynomial Time. Theoretical Computer Science, 373 (1--2). pp. 1-18.

guo, Qiang and Hierons, Robert and Harman, Mark and Derderian, Karnig (2007) Heuristics for fault diagnosing when testing from finite state machines. Software Testing, Verification and Reliability, 17 (1). pp. 41-57.

Spiro, N. and Gold, N. E. and Rink, J. (2007) In Search of Motive: Identification of Repeated Patterns in Performances and Their Structural Contexts. In: International Conference on Music Communication Science. (In Press)

Li, Zheng and Harman, Mark and Hierons, Rob (2007) Meta-heuristic Search Algorithms for Regression Test Case Prioritization. IEEE Transactions on Software Engineering, 33 (4). pp. 225-237.

Harman, Mark and Tratt, Laurence (2007) Pareto Optimal Search-based Refactoring at the Design Level. In: GECCO 2007: Proceedings of the 9<sup>th</sup> annual conference on Genetic and evolutionary computation.

Spiro, N. and Gold, N. E. and J., Rink. (2007) Performance motives: Analysis and comparison of performance timing repetitions using pattern matching and formal concept analysis. In: International Symposium on Performance Science. (In Press)

Harman, Mark (2007) Search Based Software Engineering for Program Comprehension (keynote). In: 15<sup>th</sup> International Conference on Program Comprehension (ICPC 07).

Harman, Mark (2007) The current state and future of Search Based Software Engineering. In: Future of Software Engineering 2007.

Zhang, YunaYuan and Harman, Mark and Mansouri, Afshin (2007) The Multi-Objective Next Release Problem. In: GECCO 2007: Proceedings of the 9<sup>th</sup> annual conference on Genetic and evolutionary computation.

Binkley, David Wendell and Danicic, Sebastian and Harman, Mark and Howroyd, John and Ouarbya, Lahcen (2006) A Formal Relationship Between Program Slicing and Partial Evaluation. Formal Aspects of Computing, 18 (2). pp. 103-119.

Danicic, Sebastian and Binkley, David and Gyim'othy, Tibor and Harman, Mark and Kiss, 'Akos and Korel, Bogdan (2006) A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming, 62 (3). pp. 228-252.

Harman, Mark and Lakhotia, Arun and Binkley, David Wendell (2006) A Framework for Static Slicers of Unstructured Programs. Information and Software Technology, 48 (7). pp. 549-565.

Gold, Nicolas and Harman, Mark and Li, Zheng and Mahdavi, Kiarash (2006) A Search Based Approach to Overlapping Concept Boundaries. In: 22<sup>nd</sup> International Conference on Software Maintenance (ICSM 06).

Gold, N. E. and Harman, M. and Li, Z. and Mahdavi, K. (2006) Allowing Overlapping Boundaries in Source Code Using a Search-Based Approach to Concept Binding. In: IEEE International Conference on Software Maintenance.

Gold, Nicolas and Harman, Mark and Li, Zheng and Mahdavi, Kiarash (2006) An Empirical Study of Executable Concept Slice Size. In: 13<sup>th</sup> Working Conference on Reverse Engineering (WCRE 06).

Binkley, D. and Gold, N. E. and Harman, M. and Li, Z. (2006) An Empirical Study of Executable Concept Slice Size. In: IEEE Working Conference on Reverse Engineering.

Binkley, David and Harman, Mark and Krinke, Jens (2006) Animated Visualisation of Static Analysis: Characterising, Explaining and Exploiting the Approximate Nature of Static Analysis. In: 6<sup>th</sup> International Workshop on Source Code Analysis and Manipulation (SCAM 06).

Derderian, Karnig and Hierons, Robert and Harman, Mark and Guo, Qiang (2006) Automated Unique Input Output sequence generation for conformance testing of FSMs. The computer Journal, 49 (3). pp. 331-344.

Harman, Mark and Steinh"o}fel and Alexandros Skaliotis, Kathleen (2006) Search Based Approaches to Component Selection and Prioritization for the Next Release Problem. In: 22<sup>nd</sup> International Conference on Software Maintenance (ICSM 06).

Harman, Mark (2006) Search Based Software Engineering (keynote). In: Workshop on Computational Science in Software Engineering (CSSE 2006), LNCS 3994..

Harman, Mark (2006) Search Based Testing (keynote). In: Software &amp; Systems Quality Conference (SQS-UK 2006, industry conference).

Harman, Mark (2006) Search Based Testing (keynote). In: TestExpo industrial conference.

Harman, Mark and Skaliotis, Alexandros and Steinhöfel, Kathleen and Baker, Paul (2006) Search--based approaches to the component selection and prioritization problem. In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006.

Harman, Mark (2006) Search-Based Software Engineering for Maintenance and Reengineering (keynote). In: 10th European Conference on Software Maintenance and Reengineering (CSMR 2006).

Harman, Mark and Korel, Bogdan and Linos, Panos (2006) Special Issue on best papers from ICSM 04. IEEE Transactions on Software Engineering, 31 (10).

Derrick, John and Harman, Mark and Hierons, Robert (2006) Special Issue on Formal Approaches to Software Testing. Formal Aspects of Computing, 18 (1).

Harman, Mark and Korel, Bogdan and Mockus, Audris and Shepperd, Martin (2006) Special Issue on Maintenance and Metrics. Empirical Software Engineering, 11 (3).

Harman, Mark and Koschke, Rainer and Vanter, Michael Van De (2006) Special Issue on Source Code Analysis and Manipulation. Journal of Systems and Software, 79 (9).

Gallagher, Keith Brian and Binkley, David and Harman, Mark (2006) Stop-List Slicing. In: 6<sup>th</sup> International Workshop on Source Code Analysis and Manipulation (SCAM 06).

McMinn, Phil and Harman, Mark and Binkley, David and Tonella, Paolo (2006) The Species per Path Approach to Search-Based Test Data Generation. In: International Symposium on Software Testing and Analysis (ISSTA 06).

Harman, Mark (2006) The Use of Measurement in Search Based Software Engineering (keynote). In: International Conference on Software Process and Product Measurement (Mensura 2006).

Binkley, David and Danicic, Sebastian and Gyim'othy, Tibor and Harman, Mark and Kiss, 'Akos and Korel, Bogdan (2006) Theoretical Foundations of Dynamic Program Slicing. Theoretical Computer Science, 360 (1). pp. 23-41.

Binkley, David and Ceccato, Mariano and Harman, Mark and Ricca, Filippo and Tonella, Paolo (2006) Tool-supported Refactoring of Existing Object-Oriented Code into Aspects. IEEE Transactions on Software Engineering, 32 (9). pp. 698-717.

Harman, Mark and Swift, Stephen and Mahdavi, Kiarash (2005) An Empirical Study of the Robustness of Two Module Clustering Fitness Functions. In: Genetic and Evolutionary Computation Conference (GECCO 2005).

Binkley, David and Ceccato, Mariano and Harman, Mark and Ricca, Filippo and Tonella, Paolo (2005) Automated Refactoring of Object Oriented Code into Aspects. In: 21<sup>st</sup> IEEE International Conference on Software Maintenance.

Hierons, Robert and Harman, Mark and Fox, Chris (2005) Branch-coverage testability transformation for unstructured programs. The computer Journal, 48 (4). pp. 421-436.

Guo, Qiang and Hierons, Robert Mark and Harman, Mark and Derderian, Karnig (2005) Constructing Multiple Unique Input/Output Sequences Using Evolutionary Optimisation Techniques. IEE Proceedings --- Software, 152 (3). pp. 127-140.

Danicic, Sebastian and Daoudi, Mohammed and Fox, Chris and Harman, Mark and Hierons, Robert Mark and Howroyd, John and Ouarbya, Lahcen and Ward, Martin (2005) ConSUS: A Lightweight Program Conditioner. Journal of Systems and Software, 77 (3). pp. 241-262.

Korel, Bogdan and Harman, Mark and Chung, S. and Apirukvorapinit, P. and Gupta, R. (2005) Data Dependence Based Testability Transformation in Automated Test Generation. In: 16<sup>th</sup> International Symposium on Software Reliability Engineering (ISSRE 05).

Binkley, David and Harman, Mark (2005) Forward slices are smaller than backward slices. In: 5<sup>th</sup> IEEE International Workshop on Source Code Analysis and Manipulation.

Binkley, David and Harman, Mark (2005) Locating Dependence Clusters and Dependence Pollution. In: 21<sup>st</sup> IEEE International Conference on Software Maintenance.

Chen, J.C. and Gold, N. E. and Mehandjiev, N. and Layzell, P. (2005) Managing Supply Chains of Software as a Service through Agents Negotiations. In: 7th International IEEE Conference on E-Commerce Technology.

Danicic, Sebastian and Binkley, David and Gyim'othy, Tibor and Harman, Mark and Kiss, 'Akos and Korel, Bogdan (2005) Minimal Slicing and the Relationships Between Forms of Slicing. In: 5<sup>th</sup> IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 05).

Harman, Mark and (keynote), Joachim Wegener (2005) Search Based Testing. In: 6<sup>th</sup> Metaheuristics International Conference (MIC 2005).

Fatiregun, Deji and Harman, Mark and Hierons, Rob (2005) Search-Based Amorphous Slicing. In: 12<sup>th</sup> International Working Conference on Reverse Engineering (WCRE 05).

Antoniol, Giulio and Penta, Massimiliano Di and Harman, Mark (2005) Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project. In: 21<sup>st</sup> IEEE International Conference on Software Maintenance.

Danicic, Sebastian and Fox, Chris and Harman, Mark and Hierons, Robert Mark and Howroyd, John and Laurence, Mike (2005) Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas. The computer Journal, 48 (6). pp. 737-748.

Korel, Bogdan and Tahat, Luay and Harman, Mark (2005) Test Prioritization Using System Models. In: 21<sup>st</sup> IEEE International Conference on Software Maintenance.

McMinn, Phil and Binkley, David and Harman, Mark (2005) Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting. In: UK Software Testing Workshop (UK Test 2005).

Gold, Nicolas and Harman, Mark and Binkley, David Wendell and Hierons, Robert Mark (2005) Unifying program slicing and concept assignment for higher-level executable source code extraction. Software Practice and Experience, 35 (10). pp. 977-1006.

Gold, N. E. and Harman, M. and Binkley, D. and Hierons, R.M. (2005) Unifying program slicing and concept assignment for higher-level executable source code extraction. Software: Practice and Experience, 35 (10). pp. 977-1006.

Harman, Mark and Hu, Lin and Munro, Malcolm and Zhang, Xingyuan and Binkley, David Wendell and Danicic, Sebastian and Daoudi, Mohammed and Ouarbya, Lahcen (2004) Syntax-Directed Amorphous Slicing. Journal of Automated Software Engineering, 11 (1). pp. 27-61.

Harman, Mark and Hu, Lin and Hierons, Robert Mark and Wegener, Joachim and Sthamer, Harmen and Baresel, André and Roper, Marc (2004) Testability Transformation. IEEE Transactions on Software Engineering, 30 (1). pp. 3-16.

Antoniol, Giulio and Penta, Massimiliano Di and Harman, Mark (2004) A Robust Search--Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty. In: 10<sup>th</sup> International Software Metrics Symposium (METRICS 2004).

Binkley, David Wendell and Harman, Mark (2004) A Survey of Empirical Results on Program Slicing. Advances in Computers, 62 . pp. 105-178.

Harman, Mark and Binkley, Dave and Singh, Ranjit and Hierons, Rob (2004) Amorphous Procedure Extraction. In: 4<sup>th</sup> International Workshop on Source Code Analysis and Manipulation (SCAM 04).

Mohan, A. and Gold, N. E. and Layzell, P. (2004) An Approach to Understanding Program Comprehensibility Using Spatial Complexity, Concept Assignment &amp; Typographical Style (poster). In: IEEE International Conference on Software Maintenance (ICSM).

Mohan, A. and Gold, N. E. and Layzell, P. (2004) An Initial Approach to Assessing Program Comprehensibility Using Spatial Complexity, Number of Concepts, and Typographical Style. In: IEEE Working Conference on Reverse Engineering (WCRE).

Binkley, David Wendell and Harman, Mark (2004) Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. IEEE Transactions on Software Engineering, 30 (11). pp. 715-735.

Danicic, Sebastian and Lucia, Andrea De and Harman, Mark (2004) Building Executable Union Slices using Conditioned Slicing. In: 12<sup>th</sup> International Workshop on Program Comprehension.

Fox, Chris and Danicic, Sebastian and Harman, Mark and Hierons, Robert Mark (2004) ConSIT: a fully automated conditioned program slicer. Software---Practice and Experience, 34 . pp. 15-46.

Baresel, Andr'e and Binkley, David Wendell and Harman, Mark and Korel, Bogdan (2004) Evolutionary Testing in the Presence of Loop--Assigned Flags: A Testability Transformation Approach. In: International Symposium on Software Testing and Analysis (ISSTA 2004).

Fatiregun, Deji and Harman, Mark and Hierons, Rob (2004) Evolving Transformation Sequences using Genetic Algorithms. In: 4<sup>th</sup> International Workshop on Source Code Analysis and Manipulation (SCAM 04).

Binkley, Dave and Danicic, Sebastian and Gyimóthy, Tibor and Harman, Mark and Kiss, Ákos and Ouarbya, Lahcen (2004) Formalizing Executable Dynamic and Forward Slicing. In: 4<sup>th</sup> International Workshop on Source Code Analysis and Manipulation (SCAM 04).

Harman, Mark and Wegener, Joachim (2004) Getting results with Search--Based Software Engineering: Tutorial. In: 26<sup>th</sup> IEEE International Conference and Software Engineering (ICSE 2004).

Dederian, Karnig and Hierons, Robert Mark and Harman, Mark and Quo, Qiang (2004) Input sequence generation for testing of communicating finite state machines (CFSMs). In: Genetic and Evolutionary Computation Conference (GECCO 2004).

Hu, Lin and Harman, Mark and Binkley, David and Hierons, Rob (2004) Loop Squashing Transformations for Amorphous Slicing. In: 11<sup>th</sup> IEEE Working Conference on Reverse Engineering.

Harman, Mark and Clark, John (2004) Metrics Are Fitness Functions Too. In: 10<sup>th</sup> International Software Metrics Symposium (METRICS 2004).

Adamopoulos, Konstantinos and Harman, Mark and Hierons, Robert Mark (2004) Mutation Testing Using Genetic Algorithms: A Co-evolution Approach. In: Genetic and Evolutionary Computation Conference (GECCO 2004), LNCS 3103.

Gold, N. E. and Bennett, K.H. (2004) Program Comprehension for Web Services. In: IEEE International Workshop on Program Comprehension (IWPC).

Gold, N. E. and Mohan, A. (2004) Programming Style Changes in Evolving Source Code. In: Proceedings of IEEE International Workshop on Program Comprehension (IWPC).

Antoniol, Giulio and Penta, Massimiliano Di and Harman, Mark (2004) Search--based techniques for optimizing software project resource allocation. In: Genetic and Evolutionary Computation Conference (GECCO 2004).

Harman, Mark and Binkley, David Wendell and Tonella, Paolo and Burd, Liz (2004) Special Issue of extended papers from SCAM'03 workshop. Software Quality Journal, 12 (4).

Clark, John and Harman, Mark and Hierons, Robert (2004) Special Issue of papers from UK Testing Workshop. Software Testing, Verification and Reliability, 14 (3).

Hierons, Robert Mark and Harman, Mark (2004) Testing conformance of a deterministic implementation against a non-deterministic specification. Theoretical Computer Science, 323 (1-3). pp. 191-233.

Gold, N.E. and Knight, C. and Mohan, A. and Munro, M. (2004) Understanding Service-Oriented Software. IEEE Software (March/April 2004). pp. 71-77.

Gallagher, Keith Brian and Harman, Mark and Danicic, Sebastian (2003) Guaranteed inconsistency avoidance during software evolution. Journal of Software Maintenance and Evolution, 15 (6). pp. 393-416.

Laurence, Michael R. and Danicic, Sebastian and Harman, Mark and Hierons, Rob and Howroyd, John (2003) Equivalence of conservative, free, linear program schemas is decidable. Theoretical Computer Science, 290 . pp. 831-862.

Mohan, A. and Gold, N. E. (2003) A Framework for Understanding Conceptual Changes in Evolving Source Code. In: IEEE International Conference on Software Maintenance (ICSM).

Binkley, David Wendell and Harman, Mark (2003) A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity. In: IEEE International Conference on Software Maintenance.

Mahdavi, Kiarash and Harman, Mark and Hierons, Robert Mark (2003) A Multiple Hill Climbing Approach to Software Module Clustering. In: IEEE International Conference on Software Maintenance.

Harman, Mark and Binkley, David Wendell and Danicic, Sebastian (2003) Amorphous Program Slicing. Journal of Systems and Software, 68 (1). pp. 45-64.

Dolado, Jos'e Javier and Harman, Mark and Otero, Mari Carmen and Hu, Lin (2003) An empirical investigation of the influence of a type of side effects on program comprehension. IEEE Transactions on Software Engineering, 29 (7). pp. 665-670.

Binkley, David Wendell and Harman, Mark (2003) An empirical study of predicate dependence levels and trends. In: 25<sup>th</sup> IEEE International Conference and Software Engineering (ICSE 2003).

Hierons, Rob and Harman, Mark and Singh, Harbhajan (2003) Automatically generating information from a Z specification to support the Classification Tree Method. In: 3<sup>rd</sup> International Conference of B and Z Users (ZB2003).

Derderian, Karnig and Quo, Qiang and Harman, Mark and Hierons, Robert (2003) Computing Unique Input/Output Sequences Using Genetic Algorithms. In: 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003).

Harman, Mark and Wegener, Joachim (2003) Evolutionary Testing: Tutorial. In: Genetic and Evolutionary Computation (GECCO).

Mahdavi, Kiarash and Harman, Mark and Hierons, Robert (2003) Finding Building Blocks for Software Clustering. In: Genetic and Evolutionary Computation -- GECCO-2003.

Zhang, Xingyuan and Munro, Malcolm and Harman, Mark and Hu, Lin (2003) Formal Verification of Communication Protocol using Type Theory. In: International Conference on Communications Technology (ICCT 2003).

Mohan, A. and Gold, N. E. (2003) Linking the Effect of Typographical Style to the Evolvability of Software (Position Paper). In: International Workshop on the Evolution of Large-Scale Industrial Software Applications (ELISA). (Unpublished)

Clark, John and Dolado, Jos'e Javier and Harman, Mark and Hierons, Robert Mark and Jones, Bryan and Lumkin, Mary and Mitchell, Brian and Mancoridis, Spiros and Rees, Kearton and Roper, Marc and Shepperd, Martin (2003) Reformulating Software Engineering as a Search Problem. IEE Proceedings --- Software, 150 (3). pp. 161-175.

Binkley, David Wendell and Harman, Mark (2003) Results From a Large--Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. In: IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003).

Fatiregun, Deji and Harman, Mark and Hierons, Robert (2003) Search Based Transformations. In: Genetic and Evolutionary Computation -- GECCO-2003.

Fatiregun, Deji and Harman, Mark and Hierons, Robert (2003) Search Based Transformations. In: Genetic and Evolutionary Computation -- GECCO-2003.

Mohan, A. and Gold, N. E. (2003) The Automatic Detection of Concept Assignment Changes in Evolving Source Code (Position Paper). In: Software Analysis and Maintenance: Practices, Tools, Interoperability Workshop at the IEEE Software Technology and Engineering Practice Workshop (STEP). (Unpublished)

Lucia, Andrea De and Harman, Mark and Hierons, Robert M. and Krinke, Jens (2003) Union of Slices are not Slices. In: 7<sup>th</sup> European Conference on Software Maintenance and Reengineering.

Ouarbya, Lahcen and Danicic, Sebastian and Daoudi, Dave (Mohammed) and Harman, Mark and Fox, Chris (2002) A Denotational Interprocedural Program Slicer. In: IEEE Working Conference on Reverse Engineering (WCRE 2002).

Harman, Mark and Hierons, Robert and Proctor, Mark (2002) A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. In: GECCO 2002: Proceedings of the Genetic and Evolutionary.

Harman, Mark and Hierons, Robert and Proctor, Mark (2002) A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference.

Harman, Mark and Hu, Lin and Hierons, Robert Mark and Zhang, Xingyuan and Munro, Malcolm and Dolado, Jos'e Javier and Otero, Mari Carmen and Wegener, Joachim (2002) A Post-Placement Side-Effect Removal Algorithm. In: IEEE International Conference on Software Maintenance.

Harman, Mark and Hu, Lin and Zhang, Xingyuan and Munro, Malcolm and Danicic, Sebastian and Daoudi, Mohammed and Ouarbya, Lahcen (2002) An Interprocedural Amorphous Slicer for WSL. In: IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002).

Hierons, Robert Mark and Harman, Mark and Fox, Chris and Ouarbya, Lahcen and Daoudi, Mohammed (2002) Conditioned Slicing Supports Partition Testing. Software Testing, Verification and Reliability, 12 . pp. 23-28.

Daoudi, Mohammed and Danicic, Sebastian and Howroyd, John and Harman, Mark and Fox, Chris and Ouarbya, Lahcen and Ward, Martin (2002) ConSUS: A Scalable Approach to Conditioned Slicing. In: IEEE Working Conference on Reverse Engineering (WCRE.

Harman, Mark and Wegener, Joachim (2002) Evolutionary Testing. In: Genetic and Evolutionary Computation (GECCO).

Harman, Mark and Hu, Lin and Hierons, Robert Mark and Fox, Chris and Danicic, Sebastian and Baresel, Andr'e and Sthamer, Harmen and Wegener, Joachim (2002) Evolutionary Testing Supported by Slicing and Transformation. In: IEEE International Conference on Software Maintenance.

Bowen, Jonathan and Bogdanov, Kirill and Clark, John and Harman, Mark and Hierons, Robert Mark and Krause, Paul (2002) FORTEST: Formal Methods and Testing (joint panel paper). In: 26<sup>th</sup> IEEE Annual Computer Software and Applications Conference (COMPSAC 2002).

Tjortjis, C. and Gold, N. E. and Layzell, P. and Bennett, K.H. (2002) From System Comprehension to Program Comprehension. In: IEEE Computer Software and Applications Conference (COMPSAC).

Gold, N.E. and Bennett, K.H. (2002) Hypothesis-Based Concept Assignment in Software Maintenance. IEE Proceedings - Software, 149 (4). pp. 103-110.

Harman, Mark and Hu, Lin and and, Robert Hierons and Sthamer, Harmen (2002) Improving Evolutionary Testing By Flag Removal. In: GECCO 2002: Proceedings of the Genetic and Evolutionary.

Harman, Mark and Hu, Lin and and, Robert Hierons and Sthamer, Harmen (2002) Improving Evolutionary Testing By Flag Removal (`best at GECCO' award winner). In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference.

Zhang, Xingyuan and Munro, Malcolm and Harman, Mark and Hu, Lin (2002) Mechanized Operational Semantics of WSL. In: IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002).

Bennett, K.H. and Gold, N. E. and Munro, M. and Xu, Jie and Layzell, P. and Mehandjiev, N. and Budgen, David and Brereton, O. Pearl (2002) Prototype Implementations of an Architectural Model for Service-Based Flexible Software. In: 35th Hawaii International Conference on System Sciences (HICSS-35).

Sivagurunathan, Yoga and Harman, Mark and Sivagurunathan, Bala (2002) Slice-Based Dynamic Memory Modelling -- A Case Study. In: 26<sup>th</sup> IEEE Annual Computer Software and Applications Conference (COMPSAC 2002).

Harman, Mark and Munro, Malcolm and Hu, Lin and Zhang, Xingyuan (2002) Source code analysis and manipulation. Information and Software Technology, 44 (13). pp. 717-720.

Harman, Mark and Munro, Malcolm and Hu, Lin and Zhang, Xingyuan (2002) Special Issue on Source Code Analysis and Manipulation. Information and Software Technology, 44 (13).

Harman, Mark and Fox, Chris and Hierons, Robert Mark and Hu, Lin and Danicic, Sebastian and Wegener, Joachim (2002) VADA: A Transformation-based System for Variable Dependence Analysis. In: IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002).

Zhang, Xingyuan and Munro, Malcolm and Harman, Mark and Hu, Lin (2002) Weakest Precondition for General Recursive Programs Formalized in Coq. In: 15<sup>th</sup> International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002).

Bennett, K.H. and Gold, N. E. (2001) Achieving Ultra-Rapid Evolution using Service-Based Software. In: 4th International Workshop on Principles of Software Evolution (IWPSE).

Bennett, K.H. and Xu, Jie and Gold, N. E. and Munro, M. and Hong, Z. and Layzell, P. and Budgen, David and Brereton, O. Pearl (2001) An Architectural Model for Service-Based Flexible Software. In: 25th IEEE Computer Software and Applications Conference (COMPSAC).

Bennett, K.H. and Munro, M. and Gold, N. E. and Layzell, P. and Budgen, David and Brereton, O. Pearl (2001) An Architectural Model for Service-Based Software with Ultra Rapid Evolution. In: IEEE International Conference on Software Maintenance (ICSM).

Harman, Mark and Hierons, Robert Mark (2001) An overview of program slicing. Software Focus, 2 (3). pp. 85-92.

Fox, Chris and Harman, Mark and Hierons, Rob Mark and Danicic, Sebastian (2001) Backward Conditioning: a new program specialisation technique and its application to program comprehension. In: 9<sup>th</sup> IEEE International Workshop on Program Comprenhesion.

Harman, Mark and Hu, Lin and Zhang, Xingyuan and Munro, Malcolm (2001) GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. In: 1<sup>st</sup> Workshop on Analysis, Slicing, and Transformation (AST 2001).

Gold, N. E. (2001) Hypothesis-Based Concept Assignment to Support Software Maintenance. In: IEEE International Conference on Software Maintenance (ICSM).

Harman, Mark and Hierons, Rob Mark and Danicic, Sebastian and Howroyd, John and Laurence, Mike and Fox, Chris (2001) Node Coarsening Calculi for Program Slicing. In: 8<sup>th</sup> Working Conference on Reverse Engineering.

Harman, Mark and Hierons, Rob Mark and Danicic, Sebastian and Howroyd, John and Fox, Chris (2001) Pre/Post Conditioned Slicing. In: IEEE International Conference on Software Maintenance (ICSM'01).

Harman, Mark and Jones, Bryan F. (2001) Search Based Software Engineering. Information and Software Technology, 43 (14). pp. 833-839.

Harman, Mark and Jones, Bryan (2001) SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms. In: 23<sup>rd</sup> International Confernece on Software Engineering (ICSE 2001).

Harman, Mark and Hu, Lin and Zhang, Xingyuan and Munro, Malcolm (2001) Side-Effect Removal Transformation. In: 9<sup>th</sup> IEEE International Workshop on Program Comprehension.

Harman, Mark and Jones, Bryan F. (2001) Software Engineering using Metaheuristic INnovative ALgorithms. Information and Software Technology, 43 (14). pp. 905-907.

Harman, Mark and Hierons, Rob Mark and Danicic, Sebastian (2001) The Relationship Between Program Dependence and Mutation Analysis. In: Mutation Testing for the New Century (proceedings of Mutation 2000).

Harman, Mark and Jones, Bryan F. (2001) The SEMINAL Workshop: Reformulating Software Engineering as a Metaheuristic Search Problem. Software Engineering Notes, 26 (6). pp. 62-66.

Binkley, David Wendell and Harman, Mark and Raszewski, L. Ross and Smith, Christopher (2000) An empirical study of amorphous slicing as a program comprehension support tool. In: 8<sup>th</sup> IEEE International Workshop on Program Comprehension.

Danicic, Sebastian and Fox, Chris and Harman, Mark and Hierons, Rob Mark (2000) ConSIT: A conditioned program slicer. In: IEEE International Conference on Software Maintenance (ICSM'00).

Danicic, Sebastian and Harman, Mark (2000) Espresso: A Slicer Generator. In: ACM Symposium on Applied Computing, (SAC'00).

Hierons, Rob Mark and Harman, Mark (2000) Program analysis and test hypotheses complement. In: IEEE ICSE International Workshop on Automated Program Analysis, Testing and Verification.

Hierons, Rob Mark and Harman, Mark (2000) Program analysis and test hypotheses complement. In: IEEE ICSE International Workshop on Automated Program Analysis, Testing and Verification.

Hierons, Robert Mark and Harman, Mark (2000) Testing against non-deterministic stream X-machines. Formal Aspects of Computing, 12 . pp. 423-442.

Harman, Mark (1999) How Small is a bit?: The uncertain world of Quantum Computing. EXE . pp. 36-41.

Harman, Mark and Fox, Chris and Hierons, Rob Mark and Binkley, David Wendell and Danicic, Sebastian (1999) Program simplification as a means of approximating undecidable propositions. In: 7<sup>th</sup> IEEE International Workshop on Program Comprenhesion (IWPC'99).

Harman, Mark (1999) Sifting Through the Wreckage. EXE . 5.

Hierons, Robert Mark and Harman, Mark and Danicic, Sebastian (1999) Using Program Slicing to Assist in the Detection of Equivalent Mutants. Software Testing, Verification and Reliability, 9 (4). pp. 233-262.

Harman, Mark and Danicic, Sebastian (1998) A new algorithm for slicing unstructured programs. Journal of Software Maintenance and Evolution, 10 (6). pp. 415-441.

Harman, Mark and Sivagurunathan, Yoga and Danicic, Sebastian (1998) Analysis of Dynamic Memory Access using Amorphous Slicing. In: IEEE International Conference on Software Maintenance (ICSM'98).

Harman, Mark and Gallagher, Keith Brian (1998) Information and Software Technology, Special Issue on Program Slicing, volume 40, numbers 11 and 12.

Harman, Mark and Gallagher, Keith Brian (1998) Program Slicing. Information and Software Technology, 40 (11 and 12). pp. 577-581.

Harman, Mark (1998) Project Estimation: How long is this going to take? EXE . pp. 20-24.

Harman, Mark and Gallagher, Keith (1998) Special Issue on Program Slicing. Information and Software Technology, 40 (11 and 12).

Harman, Mark (1998) Testing in black and white. EXE . pp. 18-26.

Harman, Mark (1997) Cleaving Together: Program Cohesion with Slices. EXE, 11 (8). pp. 35-42.

Harman, Mark and Danicic, Sebastian (1997) Amorphous Program Slicing. In: 5<sup>th</sup> IEEE International Workshop on Program Comprenhesion (IWPC'97).

Harman, Mark (1997) DIY Software Agents. EXE . pp. 18-24.

Harman, Mark and Kopec, Chris (1997) Genetic Algorithms: Growing Your Own Code. EXE, 11 (11). pp. 17-22.

Harman, Mark (1997) LaTeX: Typesetting as a Programming Language. EXE . pp. 31-38.

Harman, Mark (1997) Program Transformation: New Programs for Old. EXE . pp. 25-30.

Harman, Mark and Okunlawon, Margaret and and, Bala Sivagurunathan (1997) Slice-Based Measurement of Coupling. In: 19<sup>th</sup> ICSE, Workshop on Process Modelling and Empirical Studies of Software Evolution.

Sivagurunathan, Yoga and Harman, Mark and Danicic, Sebastian (1997) Slicing, I/O and the Implicit State. In: 3<sup>rd</sup> International Workshop on Automated Debugging ( AADEBUG'97 ).

Harman, Mark and Kopec, Chris (1997) The Mating Game. EXE, 11 (12). pp. 39-42.

Danicic, Sebastian and Harman, Mark (1996) A Simultaneous Slicing Theory and Derived Program Slicer (invited paper). In: 4<sup>th</sup> RIMS Workshop in Computing.

Harman, Mark (1996) Carving up bugs. EXE, 11 (6). pp. 39-42.

Harman, Mark and Jones, Ray (1996) First Course in C++: A Gentle Introduction. McGraw-Hill.

Harman, Mark and Simpson, Dan and Danicic, Sebastian (1996) Slicing programs in the presence of errors. Formal Aspects of Computing, 8 (4). pp. 490-497.

Danicic, Sebastian and Harman, Mark and Sivagurunathan, Yogasundary (1995) A parallel algorithm for static program slicing. Information Processing Letters, 56 (6). pp. 307-313.

Harman, Mark and Danicic, Sebastian (1995) Using program slicing to simplify testing. Software Testing, Verification and Reliability, 5 (3). pp. 143-162.

This list was generated on Wed Nov 26 01:04:17 2014 GMT.