Skip to main content

7 Result(s)

within Earl T. Barr Remove this filter

and

  1. Article

    Open Access

    Program transformation landscapes for automated program modification using Gin

    Automated program modification underlies two successful research areas — genetic improvement and program repair. Under the generate-and-validate strategy, automated program modification transforms a program, t...

    Justyna Petke, Brad Alexander, Earl T. Barr… in Empirical Software Engineering (2023)

    Download PDF (1306 KB) View Article

  2. No Access

    Chapter and Conference Paper

    High Assurance Software for Financial Regulation and Business Platforms

    The financial technology sector is undergoing a transformation in moving to open-source and collaborative approaches as it works to address increasing compliance and assurance needs in its software stacks. Pro...

    Stephen Goldbaum, Attila Mihaly… in Verification, Model Checking, and Abstract… (2022)

  3. No Access

    Chapter

    Modelling Genetic Programming as a Simple Sampling Algorithm

    This chapter proposes a new model of tree-based Genetic Programming (GP) as a simple sampling algorithm that samples minimal schemata (subsets of the solution space) described by a single concrete node at a si...

    David R. White, Benjamin Fowler… in Genetic Programming Theory and Practice XV… (2020)

  4. No Access

    Chapter and Conference Paper

    Ant Colony Optimization for Object-Oriented Unit Test Generation

    Generating useful unit tests for object-oriented programs is difficult for traditional optimization methods. One not only needs to identify values to be used as inputs, but also synthesize a program which crea...

    Dan Bruce, Héctor D. Menéndez, Earl T. Barr, David Clark in Swarm Intelligence (2020)

  5. No Access

    Chapter and Conference Paper

    Optimising Darwinian Data Structures on Google Guava

    Data structure selection and tuning is laborious but can vastly improve application performance and memory footprint. In this paper, we demonstrate how artemis, a multiobjective, cloud-based optimisation framewor...

    Michail Basios, Lingbo Li, Fan Wu, Leslie Kanthan… in Search Based Software Engineering (2017)

  6. No Access

    Chapter and Conference Paper

    Automated Transplantation of Call Graph and Layout Features into Kate

    We report the automated transplantation of two features currently missing from Kate: call graph generation and automatic layout for C programs, which have been requested by users on the Kate development forum....

    Alexandru Marginean, Earl T. Barr, Mark Harman… in Search-Based Software Engineering (2015)

  7. Chapter and Conference Paper

    Cohesive and Isolated Development with Branches

    The adoption of distributed version control (DVC ), such as Git and Mercurial, in open-source software (OSS) projects has been explosive. Why is this and how are projects using DVC? This new generation of vers...

    Earl T. Barr, Christian Bird, Peter C. Rigby… in Fundamental Approaches to Software Enginee… (2012)

    Download PDF (334 KB)