Mark Harman

According to our database1, Mark Harman authored at least 373 papers between 1992 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing.
IEEE Trans. Software Eng., 2020

Game-theoretic analysis of development practices: Challenges and opportunities.
J. Syst. Softw., 2020

FrUITeR - A Framework for Evaluating UI Test Reuse.
CoRR, 2020

WES: Agent-based User Interaction Simulation on Real Infrastructure.
CoRR, 2020

Ownership at Large: Open Problems and Challenges in Ownership Management.
Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

2019
Approximate Oracles and Synergy in Software Energy Search Spaces.
IEEE Trans. Software Eng., 2019

Predictive Mutation Testing.
IEEE Trans. Software Eng., 2019

FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. A Case Study on Mutation Testing and Program Repair.
CoRR, 2019

Automatic Testing and Improvement of Machine Translation.
CoRR, 2019

A Survey of Constrained Combinatorial Testing.
CoRR, 2019

Machine Learning Testing: Survey, Landscapes and Horizons.
CoRR, 2019

Sub-Turing Islands in the Wild.
CoRR, 2019

Perturbed Model Validation: A New Framework to Validate Model Relevance.
CoRR, 2019

Chapter Six - Mutation Testing Advances: An Analysis and Survey.
Adv. Comput., 2019

The importance of accounting for real-world labelling when predicting software vulnerabilities.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Some challenges for software testing research (invited talk paper).
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

An Empirical Comparison of Mutant Selection Assessment Metrics.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

SapFix: automated end-to-end repair at scale.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018
Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation.
IEEE Trans. Software Eng., 2018

Detecting Trivial Mutant Equivalences via Compiler Optimisations.
IEEE Trans. Software Eng., 2018

An Empirical Study of Meta- and Hyper-Heuristic Search for Multi-Objective Release Planning.
ACM Trans. Softw. Eng. Methodol., 2018

Genetic Improvement of Software: A Comprehensive Survey.
IEEE Trans. Evol. Comput., 2018

An Empirical Study of Cohesion and Coupling: Balancing Optimization and Disruption.
IEEE Trans. Evol. Comput., 2018

Indexing Operators to Extend the Reach of Symbolic Execution.
CoRR, 2018

Deploying Search Based Software Engineering with Sapienz at Facebook.
Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

We Need a Testability Transformation Semantics.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis.
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Customer Rating Reactions Can Be Predicted Purely using App Features.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

CROP: linking code reviews to source code changes.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

OASIs: oracle assessment and improvement tool.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Are mutants really natural?: a study on how "naturalness" helps mutant selection.
Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

2017
Adaptive Multi-Objective Evolutionary Algorithms for Overtime Planning in Software Projects.
IEEE Trans. Software Eng., 2017

A Survey of App Store Analysis for Software Engineering.
IEEE Trans. Software Eng., 2017

The Value of Exact Analysis in Requirements Selection.
IEEE Trans. Software Eng., 2017

Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis.
ACM Trans. Softw. Eng. Methodol., 2017

Robotic Testing of Mobile Apps for Truly Black-Box Automation.
IEEE Softw., 2017

A survey of the use of crowdsourcing in software engineering.
J. Syst. Softw., 2017

Memory mutation testing.
Inf. Softw. Technol., 2017

Investigating the relationship between price, rating, and popularity in the Blackberry World App Store.
Inf. Softw. Technol., 2017

Genetic improvement of GPU software.
Genet. Program. Evolvable Mach., 2017

An experimental search-based approach to cohesion metric evaluation.
Empir. Softw. Eng., 2017

Search Based Software Engineering [Guest Editorial].
IEEE Comput. Intell. Mag., 2017

Generalized observational slicing for tree-represented modelling languages.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Are developers aware of the architectural impact of their changes?
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Crowd intelligence enhances automated mobile testing.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Inferring Automatic Test Oracles.
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

Search Based Software Testing for Android.
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Exact Mean Absolute Error of Baseline Predictor, MARP0.
Inf. Softw. Technol., 2016

Evaluation of estimation models using the Minimum Interval of Equivalence.
Appl. Soft Comput., 2016

HOMI: Searching Higher Order Mutants for Software Improvement.
Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016

API-Constrained Genetic Improvement.
Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016

Causal impact analysis for app releases in google play.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

An empirical study on dependence clusters for effort-aware fault-proneness prediction.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Threats to the validity of mutation-based test assessment.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Sapienz: multi-objective automated testing for Android applications.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Test oracle assessment and improvement.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Mutation-aware fault prediction.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Multi-objective software effort estimation.
Proceedings of the 38th International Conference on Software Engineering, 2016

Automated search for good coverage criteria: moving from code coverage to fault coverage through search-based software engineering.
Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

Comparing white-box and black-box test prioritization.
Proceedings of the 38th International Conference on Software Engineering, 2016

Mobile app and app store analysis, testing and optimisation.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation NGS datasets and nVidia GPUs.
Proceedings of the Genetic and Evolutionary Computation Conference, 2016

Clustering Mobile Apps Based on Mined Textual Features.
Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

2015
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection.
IEEE Trans. Software Eng., 2015

The Oracle Problem in Software Testing: A Survey.
IEEE Trans. Software Eng., 2015

Introduction to the Special Issue on ISSTA 2013.
ACM Trans. Softw. Eng. Methodol., 2015

Optimizing Existing Software With Genetic Programming.
IEEE Trans. Evol. Comput., 2015

Introduction to the special issue on Mutation Testing.
Softw. Test. Verification Reliab., 2015

Search Based Software Engineering (SBSE).
J. Syst. Softw., 2015

An Integer Linear Programming approach to the single and bi-objective Next Release Problem.
Inf. Softw. Technol., 2015

Inferring Test Models from Kate's Bug Reports Using Multi-objective Search.
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Multi-objective Module Clustering for Kate.
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Transformed Vargha-Delaney Effect Size.
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Automated Transplantation of Call Graph and Layout Features into Kate.
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

SBSelector: Search Based Component Selection for Budget Hardware.
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Grow and Serve: Growing Django Citation Services Using SBSE.
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Regression Test Case Prioritisation for Guava.
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Developer Recommendation for Crowdsourced Software Development Tasks.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

App store mining and analysis.
Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile, 2015

ORBS and the limits of static slicing.
Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Feature lifecycles as they spread, migrate, remain, and die in App Stores.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

The App Sampling Problem for App Store Mining.
Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Empirical evaluation of pareto efficient multi-objective regression test case prioritisation.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Automated software transplantation.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Mutation testing of memory-related operators.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Achievements, Open Problems and Challenges for Search Based Software Testing.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Deep Parameter Optimisation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Improving CUDA DNA Analysis Software with Genetic Programming.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Grow and Graft a Better CUDA pknotsRG for RNA Pseudoknot Free Energy Calculation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Genetic Improvement using Higher Order Mutation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

GI4GI: Improving Genetic Improvement Fitness Functions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Reducing Energy Consumption Using Genetic Improvement.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

2014
Exact scalable sensitivity analysis for the next release problem.
ACM Trans. Softw. Eng. Methodol., 2014

Equivalence hypothesis testing in experimental software engineering.
Softw. Qual. J., 2014

Coherent clusters in source code.
J. Syst. Softw., 2014

Babel Pidgin: SBSE Can Grow and Graft Entirely New Functionality into a Real World System.
Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

Less is More: Temporal Fault Predictive Performance over Multiple Hadoop Releases.
Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences.
Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

Search based software engineering for software product line engineering: a survey and directions for future work.
Proceedings of the 18th International Software Product Line Conference, 2014

ORBS: language-independent program slicing.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

The plastic surgery hypothesis.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Coverage and fault detection of the output-uniqueness test selection criteria.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

A study of equivalent and stubborn mutation operators using human analysis of equivalence.
Proceedings of the 36th International Conference on Software Engineering, 2014

Genetic improvement for adaptive software engineering (keynote).
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

An analysis of the relationship between conditional entropy and failed error propagation in software testing.
Proceedings of the 36th International Conference on Software Engineering, 2014

The executable experimental template pattern for the systematic comparison of metaheuristics: Extended Abstract.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Robust next release problem: handling uncertainty during optimization.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Improving 3D medical image registration CUDA software with genetic programming.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class.
Proceedings of the Genetic Programming - 17th European Conference, 2014

Genetically Improved CUDA C++ Software.
Proceedings of the Genetic Programming - 17th European Conference, 2014

FITTEST: A new continuous and automated testing process for future Internet applications.
Proceedings of the 2014 Software Evolution Week, 2014

Search-Based Software Project Management.
Proceedings of the Software Project Management in a Changing World, 2014

2013
Amorphous Slicing of Extended Finite State Machines.
IEEE Trans. Software Eng., 2013

Fault localization prioritization: Comparing information-theoretic and coverage-based approaches.
ACM Trans. Softw. Eng. Methodol., 2013

Efficient Identification of Linchpin Vertices in Dependence Clusters.
ACM Trans. Program. Lang. Syst., 2013

Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011).
Softw. Test. Verification Reliab., 2013

Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011).
Softw. Test. Verification Reliab., 2013

Testing and verification in service-oriented architecture: a survey.
Softw. Test. Verification Reliab., 2013

Foreword to the invited impact paper on automatic software repair.
Softw. Qual. J., 2013

Cloud engineering is Search Based Software Engineering too.
J. Syst. Softw., 2013

An orchestrated survey of methodologies for automated software test case generation.
J. Syst. Softw., 2013

Empirical evaluation of search based requirements interaction management.
Inf. Softw. Technol., 2013

AUSTIN: An open source tool for search based software testing of C programs.
Inf. Softw. Technol., 2013

GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards.
Empir. Softw. Eng., 2013

State-based model slicing: A survey.
ACM Comput. Surv., 2013

Using Genetic Programming to Model Software.
CoRR, 2013

Genetic programming for Reverse Engineering.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation.
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Applying Genetic Improvement to MiniSAT.
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Searching for better configurations: a rigorous approach to clone evaluation.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Efficiency and early fault detection with lower and higher strength combinatorial interaction testing.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Empirical answers to fundamental software engineering problems (panel).
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

The FITTEST Tool Suite for Testing Future Internet Applications.
Proceedings of the Future Internet Testing - First International Workshop, 2013

Automated generation of state abstraction functions using data invariant inference.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Pricing crowdsourcing-based software development tasks.
Proceedings of the 35th International Conference on Software Engineering, 2013

1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote).
Proceedings of the 4th International Workshop on Emerging Trends in Software Metrics, 2013

Not going to take this anymore: multi-objective overtime planning for software engineering projects.
Proceedings of the 35th International Conference on Software Engineering, 2013

Software engineering: an ideal set of challenges for evolutionary computation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

2012
Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation.
IEEE Trans. Software Eng., 2012

Test data regeneration: generating new test data from existing test data.
Softw. Test. Verification Reliab., 2012

Regression testing minimization, selection and prioritization: a survey.
Softw. Test. Verification Reliab., 2012

Regression test suite prioritization using system models.
Softw. Test. Verification Reliab., 2012

Search-based software engineering: Trends, techniques and applications.
ACM Comput. Surv., 2012

Evolutionary testing of autonomous software agents.
Auton. Agents Multi Agent Syst., 2012

Overview of TASE 2012 Talk on Search Based Software Engineering.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Optimised Realistic Test Input Generation Using Web Services.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

App store mining and analysis: MSR for app stores.
Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

Agent-Based Modelling of Stock Markets Using Existing Order Book Data.
Proceedings of the Multi-Agent-Based Simulation XIII - International Workshop, 2012

The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper).
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

State aware test case regeneration for improving web application test suite coverage and fault detection.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Crawlability Metrics for Web Applications.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

The role of artificial intelligence in software engineering.
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

Augmenting test suites effectiveness by increasing output diversity.
Proceedings of the 34th International Conference on Software Engineering, 2012

Dynamic adaptive search based software engineering.
Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2012

Experimental assessment of software metrics using automated refactoring.
Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2012

2011
Software Module Clustering as a Multi-Objective Search Problem.
IEEE Trans. Software Eng., 2011

An Analysis and Survey of the Development of Mutation Testing.
IEEE Trans. Software Eng., 2011

FlagRemover: A testability transformation for transforming loop-assigned flags.
ACM Trans. Softw. Eng. Methodol., 2011

A unifying theory of control dependence and its application to arbitrary program structures.
Theor. Comput. Sci., 2011

Crawlability metrics for automated web testing.
Int. J. Softw. Tools Technol. Transf., 2011

The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study.
Softw. Pract. Exp., 2011

Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation.
Inf. Softw. Technol., 2011

A study of the bi-objective next release problem.
Empir. Softw. Eng., 2011

Software Engineering Meets Evolutionary Computation.
Computer, 2011

Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards.
Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling.
Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

SBSE: Introduction and Motivation.
Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

Automatically generating realistic test input from web services.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Strong higher order mutation-based test data generation.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Symbolic search-based testing.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Automated web application testing using search based software engineering.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Refactoring as Testability Transformation.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Making the Case for MORTO: Multi Objective Regression Test Optimization.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Model projection: simplifying models in response to restricting the environment.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Cloning in Max/MSP Patches.
Proceedings of the 2011 International Computer Music Conference, 2011

Transition coverage testing for simulink/stateflow models using messy genetic algorithms.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Future Internet Testing with FITTEST.
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

Formal Concept Analysis on Graphics Hardware.
Proceedings of The Eighth International Conference on Concept Lattices and Their Applications, 2011

2010
Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering.
IEEE Trans. Software Eng., 2010

A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search.
IEEE Trans. Software Eng., 2010

A trajectory-based strict semantics for program slicing.
Theor. Comput. Sci., 2010

Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation.
J. Syst. Softw., 2010

Efficient multi-objective higher order mutation testing with genetic programming.
J. Syst. Softw., 2010

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN.
J. Syst. Softw., 2010

Assessing the impact of global variables on program dependence and dependence clusters.
J. Syst. Softw., 2010

An alternative characterization of weak order dependence.
Inf. Process. Lett., 2010

Automated patching techniques: the fix is in: technical perspective.
Commun. ACM, 2010

Estimating the feasibility of transition paths in extended finite state machines.
Autom. Softw. Eng., 2010

Why Source Code Analysis and Manipulation Will Always be Important.
Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 2010

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.
Proceedings of the Testing Software and Systems, 2010

The relationship between search based software engineering and predictive modeling.
Proceedings of the 6th International Conference on Predictive Models in Software Engineering, 2010

Coherent dependence clusters.
Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

Search Based Software Engineering: Techniques, Taxonomy, Tutorial.
Proceedings of the Empirical Software Engineering and Verification, 2010

Issues in clone classification for dataflow languages.
Proceedings of the Proceeding of the 4th ICSE International Workshop on Software Clones, 2010

Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models.
Proceedings of the Third International Conference on Software Testing, 2010

Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.
Proceedings of the Third International Conference on Software Testing, 2010

A Manifesto for Higher Order Mutation Testing.
Proceedings of the Third International Conference on Software Testing, 2010

Today/future importance analysis.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

Evolving a CUDA kernel from an nVidia template.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009
Empirical evaluation of a nesting testability transformation for evolutionary testing.
ACM Trans. Softw. Eng. Methodol., 2009

Dependence clusters in source code.
ACM Trans. Program. Lang. Syst., 2009

A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making.
Requir. Eng., 2009

TAIC PART 2007 and Mutation 2007 special issue editorial.
J. Syst. Softw., 2009

Higher Order Mutation Testing.
Inf. Softw. Technol., 2009

Using formal specifications to support testing.
ACM Comput. Surv., 2009

Improving Web Application Testing using testability measures.
Proceedings of the 11th IEEE International Symposium on Web Systems Evolution, 2009

Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters.
Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Measuring and Improving Latency to Avoid Test Suite Wear Out.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

A theoretical and empirical study of EFSM dependence.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

The SBSE Approach to Automated Optimization of Verification and Testing.
Proceedings of the Hardware and Software: Verification and Testing, 2009

Multi objective higher order mutation testing with GP.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Search based data sensitivity analysis applied to requirement engineering.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Control Dependence for Extended Finite State Machines.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

Maintaining WS-BPEL Workflows Using Aspects.
Proceedings of the Business Process, 2009

Automated test data generation for aspect-oriented programs.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008
Editorial: Testing practice and research.
Softw. Test. Verification Reliab., 2008

Special Issue on Search-Based Software Maintenance.
J. Softw. Maintenance Res. Pract., 2008

An empirical study of the relationship between the concepts expressed in source code and dependence.
J. Syst. Softw., 2008

Locating dependence structures using search-based slicing.
Inf. Softw. Technol., 2008

Search-based software engineering.
Comput. Oper. Res., 2008

Analysis of Procedure Splitability.
Proceedings of the WCRE 2008, 2008

Constructing Subtle Faults Using Higher Order Mutation Testing.
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Evaluating Key Statements Analysis.
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Search Based Requirements Optimisation: Existing Work and Challenges.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2008

"Fairness Analysis" in Requirements Assignments.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Dependence Anti Patterns.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

Automated Session Data Repair for Web Application Regression Testing.
Proceedings of the First International Conference on Software Testing, 2008

Open Problems in Testability Transformation.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Handling dynamic data structures in search based testing.
Proceedings of the Genetic and Evolutionary Computation Conference, 2008

Testability Transformation - Program Transformation to Improve Testability.
Proceedings of the Formal Methods and Testing, 2008

2007
Search Algorithms for Regression Test Case Prioritization.
IEEE Trans. Software Eng., 2007

An empirical study of static program slice size.
ACM Trans. Softw. Eng. Methodol., 2007

Empirical study of optimization techniques for massive slicing.
ACM Trans. Program. Lang. Syst., 2007

Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.
Theor. Comput. Sci., 2007

Heuristics for fault diagnosis when testing from finite state machines.
Softw. Test. Verification Reliab., 2007

A non-standard semantics for program slicing and dependence analysis.
J. Log. Algebraic Methods Program., 2007

The impact of input domain reduction on search-based test data generation.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Search Based Software Engineering for Program Comprehension.
Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007

Pareto efficient multi-objective test case selection.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach.
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Automated Test Data Generation using Search Based Software Engineering.
Proceedings of the Second International Workshop on Automation of Software Test, 2007

The Current State and Future of Search Based Software Engineering.
Proceedings of the International Conference on Software Engineering, 2007

The multi-objective next release problem.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007

A multi-objective approach to search-based test data generation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Pareto optimal search based refactoring at the design level.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007

2006
Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects.
IEEE Trans. Software Eng., 2006

Theoretical foundations of dynamic program slicing.
Theor. Comput. Sci., 2006

A formalisation of the relationship between forms of program slicing.
Sci. Comput. Program., 2006

Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop.
J. Syst. Softw., 2006

Theory and algorithms for slicing unstructured programs.
Inf. Softw. Technol., 2006

Improving test quality using robust unique input/output circuit sequences (UIOCs).
Inf. Softw. Technol., 2006

Guest Editorial.
Formal Aspects Comput., 2006

A formal relationship between program slicing and partial evaluation.
Formal Aspects Comput., 2006

Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.
Comput. J., 2006

Workshop Introduction Astrenet Aspect Analysis.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

An Empirical Study of Executable Concept Slice Size.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Stop-List Slicing.
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation.
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

The species per path approach to SearchBased test data generation.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Search Based Approaches to Component Selection and Prioritization for the Next Release Problem.
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

Search Based Software Engineering.
Proceedings of the Computational Science, 2006

Search--based approaches to the component selection and prioritization problem.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006

Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding.
Proceedings of the Duplication, Redundancy, and Similarity in Software, 23.07., 2006

Search-Based Software Engineering for Maintenance and Reengineering.
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005
Guest Editorial: Special Issue on Software Maintenance and Evolution.
IEEE Trans. Software Eng., 2005

Unifying program slicing and concept assignment for higher-level executable source code extraction.
Softw. Pract. Exp., 2005

<i>ConSUS</i>: a light-weight program conditioner.
J. Syst. Softw., 2005

Constructing multiple unique input/output sequences using metaheuristic optimisation techniques.
IEE Proc. Softw., 2005

Branch-Coverage Testability Transformation for Unstructured Programs.
Comput. J., 2005

Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas.
Comput. J., 2005

Search-Based Amorphous Slicing.
Proceedings of the 12th Working Conference on Reverse Engineering, 2005

Forward slices are smaller than backward slices.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

Minimal Slicing and the Relationships Between Forms of Slicing.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

Data Dependence Based Testability Transformation in Automated Test Generation.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Test Prioritization Using System Models.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Locating Dependence Clusters and Dependence Pollution.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Automated Refactoring of Object Oriented Code into Aspects.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

An empirical study of the robustness of two module clustering fitness functions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005

05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar.
Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005

05451 Abstracts Collection -- Beyond Program Slicing.
Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005

2004
Testability Transformation.
IEEE Trans. Software Eng., 2004

Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables.
IEEE Trans. Software Eng., 2004

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine.
Theor. Comput. Sci., 2004

Editorial: Software testing in the United Kingdom.
Softw. Test. Verification Reliab., 2004

Introduction.
Softw. Qual. J., 2004

ConSIT: a fully automated conditioned program slicer.
Softw. Pract. Exp., 2004

Syntax-Directed Amorphous Slicing.
Autom. Softw. Eng., 2004

A survey of empirical results on program slicing.
Adv. Comput., 2004

Loop Squashing Transformations for Amorphous Slicing.
Proceedings of the 11th Working Conference on Reverse Engineering, 2004

Amorphous Procedure Extraction.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Evolving Transformation Sequences using Genetic Algorithms.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Formalizing Executable Dynamic and Forward Slicing.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Metrics Are Fitness Functions Too.
Proceedings of the 10th IEEE International Software Metrics Symposium (METRICS 2004), 2004

A Robust Search-Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty.
Proceedings of the 10th IEEE International Software Metrics Symposium (METRICS 2004), 2004

Building Executable Union Slices using Conditioned Slicing.
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Getting Results from Search-Based Approaches to Software Engineering.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).
Proceedings of the Genetic and Evolutionary Computation, 2004

Search-Based Techniques for Optimizing Software Project Resource Allocation.
Proceedings of the Genetic and Evolutionary Computation, 2004

How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution.
Proceedings of the Genetic and Evolutionary Computation, 2004

2003
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension.
IEEE Trans. Software Eng., 2003

Equivalence of conservative, free, linear program schemas is decidable.
Theor. Comput. Sci., 2003

Guaranteed inconsistency avoidance during software evolution.
J. Softw. Maintenance Res. Pract., 2003

Amorphous program slicing.
J. Syst. Softw., 2003

Formulating software engineering as a search problem.
IEE Proc. Softw., 2003

Automatically Generating Information from a Z Specification to Support the Classification Tree Method.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms.
Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

A Multiple Hill Climbing Approach to Software Module Clustering.
Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity.
Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

An Empirical Study of Predicate Dependence Levels and Trends.
Proceedings of the 25th International Conference on Software Engineering, 2003

Finding Building Blocks for Software Clustering.
Proceedings of the Genetic and Evolutionary Computation, 2003

Search Based Transformations.
Proceedings of the Genetic and Evolutionary Computation, 2003

Computing Unique Input/Output Sequences Using Genetic Algorithms.
Proceedings of the Formal Approaches to Software Testing, 2003

Unions of Slices Are Not Slices.
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

2002
Conditioned slicing supports partition testing.
Softw. Test. Verification Reliab., 2002

Source code analysis and manipulation.
Inf. Softw. Technol., 2002

Book Review: Automatic Re-Engineering of Software Using Genetic Programming.
Genet. Program. Evolvable Mach., 2002

A Denotational Interprocedural Program Slicer.
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

Code Extraction Algorithms which Unify Slicing and Concept Assignment.
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

ConSUS: A Scalable Approach to Conditioned Slicing.
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

Weakest Precondition for General Recursive Programs Formalized in Coq.
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Mechanized Operational Semantics of WSL.
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

An Interprocedural Amorphous Slicer for WSL.
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

VADA: A Transformation-Based System for Variable Dependence Analysis.
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

Side-Effects Considered Harmful (but Rendered Harmless).
Proceedings of the 14th Annual Workshop of the Psychology of Programming Interest Group, 2002

A Post-Placement Side-Effect Removal Algorithm.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Evolutionary Testing Supported by Slicing and Transformation.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Improving Evolutionary Testing By Flag Removal.
Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Slice-Based Dynamic Memory Modelling - A Case Study.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

FORTEST: Formal Methods and Testing.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
An overview of program slicing.
Softw. Focus, 2001

Software Engineering.
Softw. Focus, 2001

The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem.
ACM SIGSOFT Softw. Eng. Notes, 2001

Software engineering using metaheuristic innovative algorithms: workshop report.
Inf. Softw. Technol., 2001

Search-based software engineering.
Inf. Softw. Technol., 2001

GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation.
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Node Coarsening Calculi for Program Slicing.
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Side-Effect Removal Transformation.
Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.
Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

Pre/Post Conditioned Slicing.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

SEMINAL: Software Engineering Using Metaheuristic INnovative Algorithms.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.
Formal Aspects Comput., 2000

Espresso: A Slicer Generator.
Proceedings of the Applied Computing 2000, 2000

An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool.
Proceedings of the 8th International Workshop on Program Comprehension (IWPC 2000), 2000

ConSIT: A Conditioned Program Slicer.
Proceedings of the 2000 International Conference on Software Maintenance, 2000

1999
Using Program Slicing to Assist in the Detection of Equivalent Mutants.
Softw. Test. Verification Reliab., 1999

Program Simplification as a Means of Approximating Undecidable Propositions.
Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

1998
A new algorithm for slicing unstructured programs.
J. Softw. Maintenance Res. Pract., 1998

Program slicing.
Inf. Softw. Technol., 1998

Analysis of Dynamic Memory Access Using Amorphous Slicing.
Proceedings of the 1998 International Conference on Software Maintenance, 1998

1997
Amorphous Program Slicing.
Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997, 1997

Slicing, I/O and the Implicit State.
Proceedings of the Third International Workshop on Automated Debugging, 1997

1996
Slicing Programs in the Presence of Errors.
Formal Aspects Comput., 1996

1995
Using Program Slicing to Simplify Testing.
Softw. Test. Verification Reliab., 1995

A Parallel Algorithm for Static Program Slicing.
Inf. Process. Lett., 1995

1993
Projecting Functional Models of Imperative Programs.
ACM SIGPLAN Notices, 1993

1992
Functional models of procedural programs.
PhD thesis, 1992


  Loading...