"Digging the Pit of Babel": Retranslating Franz Kafka's Castle

artículo científico publicado en 1996

1st International workshop on combining modelling and search-based software engineering (CMSBSE 2013)

scientific article published in May 2013

A Conversation with John E. Woods

A Manifesto for Higher Order Mutation Testing

article

A Survey of Empirical Results on Program Slicing

A formalisation of the relationship between forms of program slicing

A multi-objective approach to search-based test data generation

A non-standard semantics for program slicing and dependence analysis

article by Sebastian Danicic et al published July 2007 in The Journal of Logic and Algebraic Programming

A parallel algorithm for static program slicing

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

A study of the bi-objective next release problem

A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation

A theoretical and empirical study of EFSM dependence

A trajectory-based strict semantics for program slicing

A unifying theory of control dependence and its application to arbitrary program structures

AUSTIN: A Tool for Search Based Software Testing for the C Language and Its Evaluation on Deployed Automotive Systems

AUSTIN: An open source tool for search based software testing of C programs

Achievements, Open Problems and Challenges for Search Based Software Testing

scholarly article published April 2015

Agent-Based Modelling of Stock Markets Using Existing Order Book Data

Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding

Amorphous Slicing of Extended Finite State Machines

Amorphous procedure extraction

Amorphous program slicing

An Analysis and Survey of the Development of Mutation Testing

article

An Empirical Study of Executable Concept Slice Size

An Empirical Study of the Non-determinism of ChatGPT in Code Generation

artículo científico publicado en 2024

An Integer Linear Programming approach to the single and bi-objective Next Release Problem

An alternative characterization of weak order dependence

scholarly article by Torben Amtoft et al published October 2010 in Information Processing Letters

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN

An empirical study of static program slice size

An empirical study of the relationship between the concepts expressed in source code and dependence

An empirical study of the robustness of two module clustering fitness functions

An experimental search-based approach to cohesion metric evaluation

An orchestrated survey of methodologies for automated software test case generation

Analysis of Procedure Splitability

Angels and monsters

Applying Genetic Improvement to MiniSAT

article

Assessing the impact of global variables on program dependence and dependence clusters

Assured Offline LLM-Based Software Engineering

artículo científico publicado en 2024

Augmenting test suites effectiveness by increasing output diversity

Automated Session Data Repair for Web Application Regression Testing

artículo científico

Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?

Automated Test Data Generation using Search Based Software Engineering

scholarly article published May 2007

Automated Transplantation of Call Graph and Layout Features into Kate

Automated Unit Test Improvement using Large Language Models at Meta

artículo científico publicado en 2024

Automated generation of state abstraction functions using data invariant inference

Automated patching techniques

Automated test data generation for aspect-oriented programs

Automated web application testing using search based software engineering

scholarly article published November 2011

Automatically generating realistic test input from web services

Bias Mitigation for Machine Learning Classifiers: A Comprehensive Survey

artículo científico publicado en 2023

CONSIT: a fully automated conditioned program slicer

Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation

Cloud engineering is Search Based Software Engineering too

Coherent clusters in source code

Coherent dependence clusters

Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines

Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation

ConSUS: a light-weight program conditioner

Conditioned slicing supports partition testing

Constructing Subtle Faults Using Higher Order Mutation Testing

Control Dependence for Extended Finite State Machines

Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling

Crawlability Metrics for Web Applications

Crawlability metrics for automated web testing

Dependence Anti Patterns

Dependence clusters in source code

Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote)

Dynamic adaptive search based software engineering

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

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

Editorial: Testing practice and research

Efficiency and early fault detection with lower and higher strength combinatorial interaction testing

Efficient Identification of Linchpin Vertices in Dependence Clusters

Efficient multi-objective higher order mutation testing with genetic programming

article

Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models

Empirical answers to fundamental software engineering problems (panel)

Empirical evaluation of a nesting testability transformation for evolutionary testing

Empirical evaluation of search based requirements interaction management

Empirical study of optimization techniques for massive slicing

Enhancing Testing at Meta with Rich-State Simulated Populations

artículo científico publicado en 2024

Equivalence hypothesis testing in experimental software engineering

Equivalence of conservative, free, linear program schemas is decidable

Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time

Espresso

2000 scholarly article

Estimating the feasibility of transition paths in extended finite state machines

article

Evaluating Key Statements Analysis

artículo científico publicado en 2008

Evolutionary testing of autonomous software agents

Exact scalable sensitivity analysis for the next release problem

Experimental assessment of software metrics using automated refactoring

FITTEST: A new continuous and automated testing process for future Internet applications

Fault localization prioritization

Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs

FlagRemover

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

Foreword

artículo científico publicado en 2013

Foreword to the invited impact paper on automatic software repair

article

Forward slices are smaller than backward slices

Future Internet Testing with FITTEST

GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms

Genetic improvement for adaptive software engineering (keynote)

article

Genetic programming for Reverse Engineering

article

Grow and Serve: Growing Django Citation Services Using SBSE

article

Guaranteed inconsistency avoidance during software evolution

Heuristics for fault diagnosis when testing from finite state machines

Higher Order Mutation Testing

article published in 2009

Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards

Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters

Improving 3D medical image registration CUDA software with genetic programming

article

Improving CUDA DNA Analysis Software with Genetic Programming

article

Improving Web Application Testing using testability measures

Improving test quality using robust unique input/output circuit sequences (UIOCs)

Inferring Test Models from Kate’s Bug Reports Using Multi-objective Search

Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation

Introduction to the special issue on Mutation Testing

Issues in clone classification for dataflow languages

Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants

artículo científico publicado en 2023

Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search

Locating dependence structures using search-based slicing

MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language

Making the Case for MORTO: Multi Objective Regression Test Optimization

Measuring and Improving Latency to Avoid Test Suite Wear Out

Message from the program chairs

Model projection

Multi Objective Higher Order Mutation Testing with Genetic Programming

article

Multi objective higher order mutation testing with GP

article

Multi-objective Module Clustering for Kate

article published in 2015

Mutation testing of memory-related operators

Not going to take this anymore: Multi-objective overtime planning for Software Engineering projects

Observation-Based Unit Test Generation at Meta

artículo científico publicado en 2024

Optimised Realistic Test Input Generation Using Web Services

article by Mustafa Bozkurt & Mark Harman published 2012 in Lecture Notes in Computer Science

Optimizing Existing Software With Genetic Programming

article

Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem

Overview of TASE 2012 Talk on Search Based Software Engineering

scholarly article published July 2012

Pareto efficient multi-objective test case selection

Pareto optimal search based refactoring at the design level

Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection

Pricing crowdsourcing-based software development tasks

article

Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation

Reducing qualitative human oracle costs associated with automatically generated test data

Refactoring as Testability Transformation

Regression Test Case Prioritisation for Guava

Regression test suite prioritization using system models

Robust next release problem

SBSelector: Search Based Component Selection for Budget Hardware

Search Algorithms for Regression Test Case Prioritization

scholarly article by Zheng Li et al published April 2007 in IEEE Transactions on Software Engineering

Search Based Approaches to Component Selection and Prioritization for the Next Release Problem

Search Based Optimization of Requirements Interaction Management

Search Based Requirements Optimisation: Existing Work and Challenges

Search Based Software Engineering

Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering

scholarly article by Mark Harman & Afshin Mansouri published November 2010 in IEEE Transactions on Software Engineering

Search Based Software Engineering: Techniques, Taxonomy, Tutorial

scholarly article by Mark Harman et al published 2012 in Lecture Notes in Computer Science

Search based data sensitivity analysis applied to requirement engineering

Search-Based Software Project Management

Search-based software engineering

artículo científico publicado en 2001

Search-based software engineering

Search-based software engineering

Searching for better configurations: a rigorous approach to clone evaluation

Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop

article by Tom Dean et al published September 2006 in Journal of Systems and Software

Software Engineering Meets Evolutionary Computation

scholarly article by Mark Harman published October 2011 in Computer

Software Module Clustering as a Multi-Objective Search Problem

scholarly article by Kata Praditwong et al published March 2011 in IEEE Transactions on Software Engineering

Software engineering

artículo científico publicado en 2013

Software engineering using metaheuristic innovative algorithms: workshop report

scholarly article by Mark Harman & Bryan F Jones published December 2001 in Information and Software Technology

Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering

scholarly article published 2009

Source code analysis and manipulation

Special Issue on Search-Based Software Maintenance

State-based model slicing

Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas

Stop-List Slicing

Strong higher order mutation-based test data generation

article

Symbolic search-based testing

Syntax-Directed Amorphous Slicing

TAIC PART 2007 and Mutation 2007 special issue editorial

Test data regeneration: generating new test data from existing test data

article by S. Yoo & Mark Harman published 24 August 2010 in Software Testing, Verification & Reliability

Testability Transformation – Program Transformation to Improve Testability

Testing and verification in service-oriented architecture: a survey

article by Mustafa Bozkurt et al published 9 May 2012 in Software Testing, Verification & Reliability

Testing of Future Internet Applications Running in the Cloud

The Current State and Future of Search Based Software Engineering

scholarly article published May 2007

The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach

The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper)

article

The Oracle Problem in Software Testing: A Survey

scholarly article by Earl T. Barr et al published 1 May 2015 in IEEE Transactions on Software Engineering

The Role of Software Measurement in Assured LLM-Based Software Engineering

artículo científico publicado en 2024

The executable experimental template pattern for the systematic comparison of metaheuristics

The impact of input domain reduction on search-based test data generation

The multi-objective next release problem

The plastic surgery hypothesis

The relationship between search based software engineering and predictive modeling

The role of Artificial Intelligence in Software Engineering

artículo científico publicado en 2012

The species per path approach to SearchBased test data generation

The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study

Theoretical foundations of dynamic program slicing

Theory and algorithms for slicing unstructured programs

scholarly article by Mark Harman et al published July 2006 in Information and Software Technology

Today/future importance analysis

Transformed Vargha-Delaney Effect Size

Transition coverage testing for simulink/stateflow models using messy genetic algorithms

scholarly article published 2011

Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique

Using Genetic Algorithms to Search for Key Stakeholders in Large-Scale Software Projects

Using formal specifications to support testing

article

Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation

Using program slicing to assist in the detection of equivalent mutants

Why Source Code Analysis and Manipulation Will Always be Important

Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization

Workshop Introduction Astrenet Aspect Analysis

“Fairness Analysis” in Requirements Assignments