50 citations · 106 across the 13 of their papers we have counts for
13 papers
Multi-Objective Improvement of Android Applications
James Callan, Justyna Petke
Non-functional properties, such as runtime or memory use, are important to mobile app users and developers, as they affect user experience. Previous work on automated improvement o…
Software Product Line Engineering via Software Transplantation
Leandro O. Souza, Earl T. Barr, Justyna Petke +2
For companies producing related products, a Software Product Line (SPL) is a software reuse method that improves time-to-market and software quality, achieving substantial cost red…
Reinforcement Learning for Mutation Operator Selection in Automated Program Repair
Carol Hanna, Aymeric Blot, Justyna Petke
Automated program repair techniques aim to aid software developers with the challenging task of fixing bugs. In heuristic-based program repair, a search space of program variants,…
GI Software with fewer Data Cache Misses
William B. Langdon, Justyna Petke, Aymeric Blot +1
By their very name caches are often overlooked and yet play a vital role in the performance of modern and indeed future hardware. Using MAGPIE (Machine Automated General Performanc…
An Analysis of the Automatic Bug Fixing Performance of ChatGPT
Dominik Sobania, Martin Briesch, Carol Hanna +1
To support software developers in finding and fixing software bugs, several automated program repair techniques have been introduced. Given a test suite, standard methods usually e…
A Comprehensive Survey of Benchmarks for Automated Improvement of Software's Non-Functional Properties
Aymeric Blot, Justyna Petke
Performance is a key quality of modern software. Although recent years have seen a spike in research on automated improvement of software's execution time, energy, memory consumpti…
MAGPIE: Machine Automated General Performance Improvement via Evolution of Software
Aymeric Blot, Justyna Petke
Performance is one of the most important qualities of software. Several techniques have thus been proposed to improve it, such as program transformations, optimisation of software…
Test-based Patch Clustering for Automatically-Generated Patches Assessment
Matias Martinez, Maria Kechagia, Anjana Perera +3
Previous studies have shown that Automated Program Repair (APR) techniques suffer from the overfitting problem. Overfitting happens when a patch is run and the test suite does not…
HyperGI: Automated Detection and Repair of Information Flow Leakage
Ibrahim Mesecan, Daniel Blackwell, David Clark +2
Maintaining confidential information control in software is a persistent security problem where failure means secrets can be revealed via program behaviors. Information flow contro…
Genetic Improvement @ ICSE 2020
William B. Langdon, Westley Weimer, Justyna Petke +13
Following Prof. Mark Harman of Facebook's keynote and formal presentations (which are recorded in the proceedings) there was a wide ranging discussion at the eighth international G…
A Survey of Constrained Combinatorial Testing
Huayao Wu, Changhai Nie, Justyna Petke +2
Combinatorial Testing (CT) is a potentially powerful testing technique, whereas its failure revealing ability might be dramatically reduced if it fails to handle constraints in an…
Local Consistency and SAT-Solvers
Peter Jeavons, Justyna Petke
Local consistency techniques such as k-consistency are a key component of specialised solvers for constraint satisfaction problems. In this paper we show that the power of using k-…
Cliquewidth and Knowledge Compilation
Igor Razgon, Justyna Petke
In this paper we study the role of cliquewidth in succinct representation of Boolean functions. Our main statement is the following: Let be a Boolean circuit having cliquewidth…