- Automated Test Data Generation for Aspect-Oriented Mark Harman1
- Search Algorithms for Regression Test Case Prioritisation Department of Information
- StopList Slicing Keith Gallagher
- An Empirical Study of Executable Concept Slice Size David Binkley Nicolas Gold, Mark Harman, Zheng Li and Kiarash Mahdavi
- Towards a Maturity Model for Empirical Studies of Software Testing
- Mechanized Operational Semantics of WSL Xingyuan Zhang and Malcolm Munro
- Program Simpli cation as a Means of Approximating Undecidable Propositions
- Loop Squashing Transformations for Amorphous Slicing # Lin Hu, Mark Harman, Robert M. Hierons David Binkley
- A NonStandard Semantics for Program Slicing and Dependence Analysis
- Evolving Transformation Sequences using Genetic Algorithms Deji Fatiregun, Mark Harman and Robert M. Hierons
- Theoretical Foundations of Dynamic Program Dave Binkley a Sebastian Danicic b Tibor Gyimothy c
- A Formalisation of the Relationship between Forms of Program Slicing
- Data ow Minimal Slicing Sebastian Danicic
- A Survey of Empirical Results on Program Slicing David Binkley Mark Harman
- ConSIT: A Conditioned Program Slicer Sebastian Danicic, Chris Fox, Mark Harman,
- A Multiple Hill Climbing Approach to Software Module Clustering Kiarash Mahdavi
- Node Coarsening Calculi for Program Slicing Mark Harman, Sebastian Danicic, Chris Fox
- An Interprocedural Amorphous Slicer for WSL Sebastian Danicic
- Locating Dependence Clusters and Dependence Pollution David Binkley Mark Harman
- A Theoretical & Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation
- Unifying program slicing and concept assignment for
- Search Based Software Engineering for Program Comprehension Mark Harman
- Building Executable Union Slices using Conditioned Slicing Sebastian Danicic
- Empirical Study of Optimization Techniques for Massive Slicing
- An Empirical Study of Predicate Dependence Levels and Trends David Binkley Mark Harman
- Search--based techniques for optimizing software project resource allocation
- Pre/Post Conditioned Slicing Mark Harman and Rob Hierons
- Improving Evolutionary Testing by Flag Removal Mark Harman, Lin Hu and
- Automated Test Data Generation using Search Based Software Engineering Mark Harman
- Amorphous Procedure Extraction Mark Harman 1 David Binkley 2 Ranjit Singh 1 Robert M. Hierons 1
- Weakest Precondition for General Recursive Programs Formalized in Coq #
- A Scalable Approach to Conditioned Slicing M. Daoudi, L. Ouarbya,
- Slice-Based Measurement of Function Coupling Position Paper
- Syntax-Directed Amorphous Slicing Sebastian Danicic
- Metrics Are Fitness Functions Too Mark Harman John Clark
- Code Extraction Algorithms which Unify Slicing and Concept Mark Harman 1 Nicolas Gold 2 Rob Hierons 1 Dave Binkley 3
- A New Representation and Crossover Operator for Search-Based Optimization of Software Modularization
- Automatically generating information from a Z speci cation to support the Classi cation Tree
- Formal Aspects of Computing (1998) 3: 1--000 fl 1998 BCS
- Domain Reduction for SearchBased Test Data Generation Mark Harman,Youssef Hassoun,Kiran Lakhotia Phil McMinn Joachim Wegener
- A New Algorithm for Slicing Unstructured Pro MARK HARMAN 1 * and SEBASTIAN DANICIC 2
- Minimal Slicing and the Relationships Between Forms of Slicing Dave Binkley 1 Sebastian Danicic 2 Tibor Gyim othy 3 Mark Harman 4
- Theory and Algorithms for Slicing Unstructured Programs
- Animated Visualisation of Static Analysis: Characterising, Explaining and Exploiting the Approximate Nature of Static Analysis
- Forward slices are smaller than backward slices David Binkley Mark Harman
- A Parallel Algorithm for Static Program Slicing Sebastian Danicic, Mark Harman and Yoga Sivagurunathan
- Testing conformance of a deterministic implementation against a non-deterministic
- Getting Results from Search--Based Approaches to Software Engineering
- Side-E ect Removal Transformation Mark Harman, Malcolm Munro,
- Evolutionary Testing Supported by Slicing and Transformation Mark Harman
- A Robust Search--Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty
- Under consideration for publication in Formal Aspects of Computing Testing conformance to a
- The Effect of Communication Overhead on Software Maintenance Project Staffing: a SearchBased Approach
- Amorphous Program Slicing Mark Harman
- Program Slicing Mark Harman, Keith Brian Gallagher,
- Backward Conditioning: a new program specialisation technique and its application to program comprehension
- An Empirical Study of Static Program Slice Size David Binkley,
- TeTra: Testability Transformation Mark Harman
- Amorphous Program Slicing \Lambda Mark Harman and Sebastian Danicic
- Using Program Slicing to Assist in the Detection of Equivalent Rob Hierons and Mark Harman,
- Formalizing Executable Dynamic and Forward Slicing Dave Binkley 1 Sebastian Danicic 2 Tibor Gyim othy 3 Mark Harman 4
- Results from a Large--Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms
- Unions of Slices are not Slices Andrea De Lucia
- An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool
- A PostPlacement SideEffect Removal Algorithm Mark Harman
- Using Program Slicing to Simplify Testing Mark Harman and Sebastian Danicic
- Cohesion Metrics M. Harman, S. Danicic, B. Sivagurunathan,
- Program Comprehension Assisted by Slicing and Transformation Mark Harman, Sebastian Danicic and Yoga Sivagurunathan
- A Denotational Interprocedural Program Slicer Lahcen Ouarbya, Sebastian Danicic & Mohamed Daoudi
- Static Program Slicing Algorithms are Minimal for Free Liberal Program
- Conditioned Slicing Supports Partition Testing Rob Hierons and Mark Harman
- Search-Based Software Engineering Mark Harman
- A LargeScale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity
- Analysis of Dynamic Memory Access using Amorphous Slicing Mark Harman,
- An Empirical Study of the Robustness of Two Module Clustering Fitness Functions
- Reformulating Software Engineering as a Search Problem John Clarke, Jos e Javier Dolado, Mark Harman,
- Evolutionary Testing in the Presence of Loop--Assigned Flags: A Testability Transformation Approach
- VADA: A Transformationbased System for Variable Dependence Analysis Mark Harman 1 Chris Fox 2 Rob Hierons 1 Lin Hu 1 Sebastian Danicic 3
- Search Based Software Engineering Mark Harman
- SOFTWARE---PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2003; 0:1--32 Prepared using speauth.cls [Version: 2002/09/23 v2.2]
- The Current State and Future of Search Based Software Engineering Mark Harman
- An Empirical Investigation of the Influence of a Type of Side Effects on
- SearchBased Amorphous Slicing Deji Fatiregun Mark Harman Robert M. Hierons
- Why Source Code Analysis and Manipulation Will Always Be Important
- Why the Virtual Nature of Software Makes it Ideal for Search Based Optimization
- Coherent Dependence Clusters Jens Krinke
- Equivalence of Linear, Free, Liberal, Structured Program Schemas is Decidable in
- The Species per Path Approach to Search-Based Test Data Generation
- Measuring and Improving Latency to Avoid Test Suite Wear Out Shin Yoo & Mark Harman
- A Search Based Approach to Fairness Analysis in Requirements Assignments to Aid Negotiation, Mediation & Decision Making
- Improving Test Quality Using Robust Unique Input/Output Circuit Sequences (UIOCs)
- Analysis and Visualization of Predicate Dependence on
- AN EVALUATION OF MUTATION OPERATORS FOR EQUIVALENT MUTANTS
- A Trajectory-based Strict Semantics for Program Slicing
- Heuristics for fault diagnosis when testing from finite state machines
- A Manifesto for Higher Order Mutation Testing Mark Harman, Yue Jia and William B. Langdon
- A Theoretical and Empirical Study of EFSM Dependence Kelly Androutsopoulos1
- Improving Web Application Testing Using Testability Measures Nadia Alshahwan1
- An Empirical Investigation Into Branch Coverage for C Programs Using CUTE and AUSTIN
- Search Based Data Sensitivity Analysis Applied to Requirement Engineering
- A MultiObjective Approach To SearchBased Test Data Mark Harman
- Automated Session Data Repair for Web Application Regression Testing Nadia Alshahwan Mark Harman
- Issues in Clone Classification for Dataflow Languages Nicolas Gold, Jens Krinke, Mark Harman
- Pareto Optimal Search-based Refactoring at the Design Mark Harman, Laurence Tratt
- Search Based Software Engineering: Techniques, Taxonomy, Tutorial
- An Alternative Characterization of Weak Order Torben Amtofta
- Final Report Pareto Efficient Multi-Objective Test Case Selection
- Program Analysis and Test Hypotheses R. M. Hierons and M. Harman
- AUSTIN: A tool for Search Based Software Testing for the C Language and its Evaluation on Deployed Automotive Systems
- Search Based Approaches to Component Selection and Prioritization for the Next Release Problem
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Testability Transformation Mark Harman, Lin Hu, Rob Hierons, Joachim Wegener, Harmen Sthamer,
- School of Physical Sciences and Engineering MSc in Advanced Software Engineering
- Kings College London Department of Computer Science
- UNCORRECTEDPROOF 2 ConSUS: a light-weight program conditioner
- MSc Project Report Empirical Study of Fitness Functions for
- Sensitivity Analysis in Multiobjective Next Release Problem and Fairness Analysis in
- Input Domain Reduction through Irrelevant Variable Removal and its Effect on Local, Global and Hybrid
- Refactoring as Testability Transformation Mark Harman
- Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an
- Reducing Qualitative Human Oracle Costs associated with Automatically Generated Test Data
- Constructing Subtle Faults Using Higher Order Mutation Testing King's College London
- Regression Test Suite Prioritization Using System Models Luay H. Tahat
- Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting
- How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective
- Locating dependence structures using search based slicing
- Noname manuscript No. (will be inserted by the editor)
- FlagRemover: A Testability Transformation for Transforming Loop Assigned Flags 1
- King's College London MSc. in Advanced Software Engineering 2006/2007
- Automated Software Engineering manuscript No. (will be inserted by the editor)
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper., 00(00), 17 (2009) Prepared using speauth.cls [Version: 1999/06/11 v1.1a]
- Empirical Study of Different Algorithms for Search Based Slicing
- Efficient multi-objective higher order mutation testing with genetic programming
- School of Physical Sciences and Engineering King's College London
- The Relationship between Search Based Software Engineering and Predictive Modeling
- Searchbased techniques for optimizing software project resource allocation
- Control Dependence for Extended Finite State Kelly Androutsopoulos1
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An Analysis and Survey of the Development of
- MSc Individual Project Project Report
- Dependence Anti Patterns David Binkley1
- MILU : A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
- Automated Test Data Generation for Aspect-Oriented Mark Harman1
- A Theoretical and Empirical Study of Search Based Testing: Local, Global and Hybrid Search
- Search Algorithms For Ideal Optimal Mobile Phone Feature Sets Lokuge Nadisha de Silva
- The Relationship Between Program Dependence and Mutation Analysis Mark Harman, Sebastian Danicic,
- Clone Detection Using Dependence Analysis and Lexical Analysis
- Improving Fault Coverage and Minimising the Cost of Fault
- Constructing Multiple Unique Input/Output Sequences Using Metaheuristic Optimisation Techniques
- Higher Order Mutation Testing Yue Jia and Mark Harman
- Sensitivity Analysis for Search-Based Software Project Management
- Some Directions for the Measurement of Objects Mark Harman and Sebastian Danicic
- Project Report Testing Aspect-Oriented Software
- Making the Case for MORTO: Multi Objective Regression Test Optimization
- Project Report The Use of a Novel Semi-Exhaustive Search Algorithm for
- SScchhooooll ooff PPhhyyssiiccaall SScciieenncceess aanndd EEnnggiinneeeerriinngg MMSScc iinn AAddvvaanncceedd SSooffttwwaarree EEnnggiinneeeerriinngg
- Test Data Regeneration : Generating New Test Data from Existing Test Data
- Project Report Dependence Cluster Analysis
- SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2007; 00:17 (DOI: 10.1002/000)
- Open Problems in Testability Transformation Mark Harman
- Context: In requirements engineering, there will be many different stake holders. Often the require-ments engineer has to find a set of requirements that reflect the needs of several different stake holders,
- Pareto Efficient Multi-Objective Test Case Selection Shin Yoo and Mark Harman
- FloPSy -Search-Based Floating Point Constraint Solving for Symbolic Execution
- Testability Transformation: Program Transformation to Improve Testability
- Clustering Test Cases to Achieve Effective & Scalable Prioritisation Incorporating Expert Knowledge
- Using Hybrid Algorithm For Pareto Efficient Multi-Objective Test Suite Minimisation
- Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing
- Empirical study on the efficiency of search based test generation for EFSM models Ruilian Zhao, Mark Harman and Zheng Li
- Automated Refactoring of Object Oriented Code into Aspects Dave Binkley
- Slicing, I/O and the Implicit State Yoga Sivagurunathan, Mark Harman and Sebastian Danicic
- Assessing the Impact of Global Variables on Program Dependence and Dependence
- The Multi-Objective Next Release Problem Yuanyuan Zhang
- Software Module Clustering as a MultiObjective Search Problem Kata Praditwong1
- Mutation Clustering Shamaila Hussain
- Kiran Lakhotia MSc Individual Project Report September 2005 Contents Page
- University of King's College London Computer Science Department
- Automated Unique Input Output Sequence Generation for Conformance
- Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?
- The next 700 slicing criteria Mark Harman, Sebastian Danicic, Yoga Sivagurunathan
- Noname manuscript No. (will be inserted by the editor)
- Using Formal Specifications to Support Testing R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheo-
- Today/Future Importance Analysis Yuanyuan Zhang
- Amorphous Slicing of C Programs with Final Project Report
- DOI 10.1007/s00165-005-0077-6 Formal Aspects of Computing (2006) 18: 103119
- Using SBSE for Project Management Optimisation: Finding Robust Project Plans
- Research Project Report Model Based Testing With
