Publications
DBLP Computer Science Bibliography webpage
Google Scholar webpage
ORCID
arXiv
UCL profile publications
All pdfs below are author copies and thus may vary from the published versions.
-
Justyna Petke
Bridging Constraint Satisfaction and Boolean Satisfiability
Springer, ISBN 978-3-319-21809-0, 2015 link -
Tim Menzies, Justyna Petke
Search Based Software Engineering - 9th International Symposium
Lecture Notes in Computer Science 10452, Springer 2017, ISBN 978-3-319-66298-5 link -
Giovani Guizzo, David Williams, Mark Harman, Justyna Petke, Federica Sarro
Speeding up Genetic Improvement via Regression Test Selection
Transactions on Software Engineering and Methodology (TOSEM) (accepted) -
William B. Langdon, Vesna Nowack, Justyna Petke, Markus Wagner, Hyeonseok Lee, Erik M. Fredericks, Gabin An, Aymeric Blot
Genetic Improvement @ ICSE 2023
ACM SIGSOFT Software Engineering Notes link pdf -
Justyna Petke, Bradley Alexander, Earl T. Barr, Alexander E.I. Brownlee, Markus Wagner, and David R. White
Program Transformation Landscapes for Automated Program Modification Using Gin
Empirical Software Engineering (EMSE) link artefact -
James Callan, Oliver Krauss, Justyna Petke, and Federica Sarro
How Do Android Developers Improve Non-Functional Properties of Software?
Empirical Software Engineering (EMSE) pdf dataset -
Aymeric Blot and Justyna Petke
Empirical Comparison of Search Heuristics for Genetic Improvement of Software
IEEE Transactions on Evolutionary Computation (TEVC) pdf supplementary material artefact -
William B. Langdon, Westley Weimer, Justyna Petke, Erik M. Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael Gerten
Genetic Improvement @ ICSE 2020
ACM SIGSOFT Software Engineering Notes link pdf -
Huayao Wu, Nie Changhai, Justyna Petke, Yue Jia, Mark Harman
Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing
IEEE Transactions on Software Engineering (TSE) link artefact -
Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia, and Mark Harman
An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing
IEEE Transactions on Software Engineering (TSE) link artefact
Accepted to the journal-first track at ICSE 2019 -
Bobby R. Bruce, Justyna Petke, Mark Harman, and Earl T. Barr
Approximate Oracles and Synergy in Software Energy Search Spaces
IEEE Transactions on Software Engineering (TSE) link
Accepted to the journal-first track at ESEC/FSE 2018 -
Justyna Petke, Tim Menzies
Guest Editorial for the Special Section from the 9th International Symposium on Search Based Software Engineering
Information & Software Technology, volume 104: 194 (2018) link -
Justyna Petke, Mark Harman, William B. Langdon and Westley Weimer
Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation
IEEE Transactions on Software Engineering (TSE), volume 44(6): 574-594 (2018) link pdf (framework, framework (faster download)) -
Justyna Petke, Saemundur O. Haraldsson, Mark Harman, William B. Langdon, David R. White and John R. Woodward
Genetic Improvement of Software: a Comprehensive Survey
IEEE Transactions on Evolutionary Computation (TEVC), volume 22(3): 415-432 (2018) link pdf (supplemental material) -
He Jiang, Ke Tang, Justyna Petke and Mark Harman
Search Based Software Engineering (Guest Editorial)
IEEE Computational Intelligence Magazine, volume 12(2):23,71 (2017) link -
Justyna Petke
Preface to the Special Issue on Genetic Improvement
Genetic Programming and Evolvable Machines (GPEM), Special Issue on Genetic Improvement, volume 18(1): 3-4 (2017) link -
William B. Langdon, Brian Lee Hong Lam, Marc Modat, Justyna Petke and Mark Harman
Genetic Improvement of GPU Software
Genetic Programming and Evolvable Machines (GPEM), Special Issue on Genetic Improvement, volume 18(1): 5-44 (2017) link -
Justyna Petke, Myra B. Cohen, Mark Harman and Shin Yoo
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection
IEEE Transactions on Software Engineering (TSE) volume 41(9): 901-924 (2015) link (supplementary materials) -
Peter Jeavons and Justyna Petke
Local consistency and SAT-solvers
Journal of Artificial Intelligence Research (JAIR) volume 43: 329-351 (2012) link -
Carol Hanna, David Clark, Federica Sarro, Justyna Petke
Hot Fixing Software: A Comprehensive Review of Terminology, Techniques, and Applications (under peer review) link -
James Callan, Justyna Petke
Multi-Objective Improvement of Android Applications (under peer review) link -
Carol Hanna, Aymeric Blot, Justyna Petke
Reinforcement Learning for Mutation Operator Selection in Automated Program Repair (under peer review) link -
William B. Langdon, Justyna Petke, Aymeric Blot, David Clark
GI Software with fewer Data Cache Misses (extended version of GECCO 2023 poster paper) link -
Aymeric Blot and Justyna Petke
A Comprehensive Survey of Benchmarks for Automated Improvement of Software's Non-Functional Properties (under peer review) link artefact -
Aymeric Blot and Justyna Petke
MAGPIE: Machine Automated General Performance Improvement via Evolution of Software (2022) link software -
Matias Martinez, Maria Kechagia, Anjana Perera, Justyna Petke, Federica Sarro, and Aldeida Aleti
Test-based Patch Clustering for Automatically-Generated Patches Assessment (under peer review) link -
Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia, Mark Harman
A Survey of Constrained Combinatorial Testing (2019) link - 2024
-
James Callan and Justyna Petke
On Reducing Network Usage with Genetic Improvement
13th International Workshop on Genetic Improvement (GI@ICSE 2024) pdf -
Distinguished Paper Award Winner
David Williams, James Callan, Serkan Kirbas, Sergey Mechtaev, Justyna Petke, Thomas Prideaux-Ghee, Federica Sarro
User-Centric Deployment of Automated Program Repair at Bloomberg
46th International Conference on Software Engineering - Software Engineering in Practice track (ICSE-SEIP 2024) pdf -
Justyna Petke, Bradley Alexander, Earl T. Barr, Alexander E.I. Brownlee, Markus Wagner, and David R. White
Program Transformation Landscapes for Automated Program Modification Using Gin
Accepted to the journal-first track at ICSE 2024 pdf - 2023
-
Dominik Sobania, Alina Geiger, James Callan, Alexander E. I. Brownlee, Carol Hanna, Rebecca Moussa, Mar Zamorano López, Justyna Petke, Federica Sarro
Evaluating Explanations for Software Patches Generated by Large Language Models
International Symposium on Search-Based Software Engineering (SSBSE 2023) pdf -
Alexander E. I. Brownlee, James Callan, Karine Even-Mendoza, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania
Enhancing Genetic Improvement Mutations Using Large Language Models
International Symposium on Search-Based Software Engineering (SSBSE 2023) pdf -
SSBSE Challenge Track Winner
Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Héctor D. Menéndez, Justyna Petke
SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models
International Symposium on Search-Based Software Engineering (SSBSE 2023) pdf -
Carol Hanna and Justyna Petke
Hot Patching Hot Fixes: Reflection and Perspectives
Automated Software Engineering, NIER Track (ASE 2023) pdf -
William B. Langdon, Justyna Petke, Aymeric Blot, David Clark
Genetically Improved Software with fewer Data Cache Misses
Genetic and Evolutionary Computation Conference (GECCO 2023) (accepted as poster) pdf -
Dominik Sobania, Martin Briesch, Carol Hanna, Justyna Petke
An Analysis of the Automatic Bug Fixing Performance of ChatGPT link artefact
The 4th International Workshop on Automated Program Repair (APR@ICSE 2023) - 2022
-
James Callan and Justyna Petke
Multi-Objective Genetic Improvement: A Case Study with EvoSuite
The 14th International Symposium on Search-Based Software Engineering, Challenge Track (SSBSE 2022) pdf artefact
-
Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra B. Cohen, and Justyna Petke
Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage
The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022) pdf -
Best Paper Award Winner
Shengje Zuo, Aymeric Blot, and Justyna Petke
Evaluation of Genetic Improvement Tools for Improvement of Non-functional Properties of Software
The 11th International Genetic Improvement Workshop (GI@GECCO 2022) pdf -
James Callan and Justyna Petke
Improving Responsiveness of Android Activity Navigation via Genetic Improvement
The 44th IEEE/ACM International Conference on Software Engineering (ICSE) Poster Track pdf link -
Aymeric Blot and Justyna Petke
Using Genetic Improvement to Optimise Optimisation Algorithm Implementations
ROADEF 2022 pdf - 2021
-
Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra Cohen, Justyna Petke
HyperGI: Automated Detection and Repair of Information Flow Leakage link pdf
The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021) -
James Callan and Justyna Petke
Improving Android App Responsiveness Through Automated Frame Rate Reduction link pdf artefact
The 13th Symposium on Search-Based Software Engineering (SSBSE 2021) -
SSBSE Challenge Track Winner
Giovani Guizzo, Aymeric Blot, James Callan, Justyna Petke, and Federica Sarro
Refining Fitness Functions for Search-Based Automated Program Repair: A Case Study with ARJA and ARJA-e link pdf
The 13th Symposium on Search-Based Software Engineering (SSBSE 2021) -
Justyna Petke, David Clark, and William B. Langdon
Software Robustness: A Survey, a Theory, and Prospects link pdf
The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021) -
William B. Langdon, Justyna Petke, and David Clark
Dissipative Polynomials link pdf
The 5th Workshop on Landscape-Aware Heuristic Search (LAHS @ GECCO 2021) -
James Callan, Justyna Petke
Optimising SQL Queries Using Genetic Improvement link pdf
The Tenth International Genetic Improvement Workshop (GI@ICSE 2021) -
Marta Smigielska, Aymeric Blot, Justyna Petke
Uniform Edit Selection for Genetic Improvement: Empirical Analysis of Mutation Operator Efficacy link pdf
The Tenth International Genetic Improvement Workshop (GI@ICSE 2021) -
Zhiqiang Bian, Aymeric Blot, Justyna Petke
Refining Fitness Functions for Search-Based Program Repair link pdf
The Second International Workshop on Automated Program Repair (APR 2021) -
ACM SIGSOFT Distinguished Artifact Award
Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman
Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection link
International Conference on Software Engineering (ICSE 2021) -
Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman
Enhancing Genetic Improvement of Software with Regression Test Selection link pdf
International Conference on Software Engineering (ICSE 2021) - 2020
-
Mingyi Lim, Giovani Guizzo, and Justyna Petke
Impact of Test Suite Coverage on Overfitting in Genetic Improvement of Software
International Symposium on Search-Based Software Engineering (SSBSE 2020) pdf code -
Alexander Brownlee, Justyna Petke, and Anna Rasburn
Injecting Shortcuts for Faster Running Java Code
IEEE Congress on Evolutionary Computation (IEEE CEC 2020) pdf -
Justyna Petke, Aymeric Blot
Refining Fitness Functions in Test-Based Program Repair
The First International Workshop on Automated Program Repair (APR@ICSE 2020) pdf -
Aymeric Blot, Justyna Petke
Stack-Based Genetic Improvement
The Eighth International Genetic Improvement Workshop (GI@ICSE 2020) pdf -
Aymeric Blot, Justyna Petke
Synthetic Benchmarks for Genetic Improvement
The Eighth International Genetic Improvement Workshop (GI@ICSE 2020) pdf -
Aymeric Blot, Justyna Petke
Comparing Genetic Programming Approaches for Non-Functional Genetic Improvement
The 23rd European Conference on Genetic Programming (EuroGP 2020) pdf - 2019
-
SSBSE Challenge Track Winner
Justyna Petke, Alexander E.I. Brownlee
Software Improvement with Gin: a Case Study
International Symposium on Search-Based Software Engineering, Challenge Track (SSBSE 2019) pdf -
Gabin An, Aymeric Blot, Justyna Petke, Shin Yoo
PyGGI 2.0: Language Independent Genetic Improvement Framework
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tool Demo (ESEC/FSE 2019) pdf -
Justyna Petke, Brad Alexander, Earl T. Barr, Alexander E.I. Brownlee, Markus Wagner, David R. White
A Survey of Genetic Improvement Search Spaces
The Seventh International Genetic Improvement Workshop (GI@GECCO 2019) pdf -
Aymeric Blot, Justyna Petke
On Adaptive Specialisation in Genetic Improvement
The Seventh International Genetic Improvement Workshop (GI@GECCO 2019) pdf -
Justyna Petke, Yuriy Brun
Message from the Demonstrations Track Chairs of ICSE 2019
Proceedings of the ICSE 2019 Demonstrations Track link -
Justyna Petke, Shin Hwei Tan, William B. Langdon, Westley Weimer
Welcome from the GI 2019 Workshop Chairs
The 6th International Genetic Improvement Workshop (GI@ICSE 2019) link -
Alexander E.I. Brownlee, Justyna Petke, Brad Alexander, Earl T. Barr, Markus Wagner, David R. White
Gin: Genetic Improvement Research Made Easy
Genetic and Evolutionary Computation Conference (GECCO 2019) pdf software -
William B. Langdon, Justyna Petke
Genetic Improvement of Data gives Binary Logarithm from sqrt
Genetic and Evolutionary Computation Conference (GECCO 2019) link - 2018
-
William B. Langdon, Justyna Petke
Evolving Better Software Parameters
International Symposium on Search-Based Software Engineering (SSBSE 2018) pdf -
Justyna Petke, Kathryn T. Stolee, William B. Langdon, Westley Weimer
GI2018@ICSE Chairs' Welcome
The fourth International Genetic Improvement Workshop (GI@ICSE 2018) link -
William B. Langdon, Justyna Petke, Ronny Lorenz
Evolving Better RNAfold Structure Prediction
Genetic Programming - 21st European Conference (EuroGP 2018) pdf -
Justyna Petke, Claire Le Goues, Stephanie Forrest, William B. Langdon
Genetic Improvement of Software (Dagstuhl Seminar 18052)
Dagstuhl Reports 8(1): 158-182 (2018) link - 2017
-
Justyna Petke
New operators for non-functional genetic improvement
The Third International Genetic Improvement Workshop (GI 2017) pdf -
Justyna Petke, William B. Langdon, Westley Weimer and David R. White
Genetic Improvement 2017 Chairs' Welcome
The Third International Genetic Improvement Workshop (GI 2017) -
Juan Pablo Galeotti, Justyna Petke
SBST@ICSE 2017 Chairs' Welcome
10th International Workshop on Search-Based Software Testing (SBST@ICSE 2017) link -
Angelo Gargantini, Justyna Petke and Marco Radavelli
Combinatorial Interaction Testing for Automated Constraint Repair
International Workshop on Combinatorial Testing (IWCT 2017) pdf - 2016
-
Angelo Gargantini, Justyna Petke, Marco Radavelli and Paolo Vavassori
Validation of Constraints among Configuration Parameters using Search-Based Combinatorial Interaction Testing
International Symposium on Search-Based Software Engineering (SSBSE 2016) pdf -
Bobby R. Bruce, Jonathan M. Aitken and Justyna Petke
Deep Parameter Optimisation for Face Detection Using the Viola-Jones Algorithm in OpenCV
International Symposium on Search-Based Software Engineering (SSBSE 2016) pdf correction -
William Langdon, David R. White, Mark Harman, Yue Jia and Justyna Petke
API-Constrained Genetic Improvement
International Symposium on Search-Based Software Engineering (SSBSE 2016) pdf -
William B. Langdon, Justyna Petke and Bobby R. Bruce
Optimising Quantisation Noise in Energy Measurement
International Conference on Parallel Problem Solving from Nature (PPSN 2016) pdf -
Justyna Petke, Westley Weimer and David R. White
Genetic Improvement 2016 Chairs' Welcome
The Second International Genetic Improvement Workshop (GI 2016) pdf -
Justyna Petke
Genetic Improvement for Code Obfuscation
The Second International Genetic Improvement Workshop (GI 2016) pdf -
William B. Langdon, Albert Vilella, Brian Lam, Justyna Petke and Mark Harman
Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation NGS datasets and nVidia GPUs
The Second International Genetic Improvement Workshop (GI 2016) pdf - 2015
-
William B. Langdon and Justyna Petke
Software is Not Fragile
Complex Systems Digital Campus E-conference (CS-DC'15) pdf -
William B. Langdon, Justyna Petke and David R. White
Genetic Improvement 2015 Chairs' Welcome
The First International Genetic Improvement Workshop (GI 2015) pdf -
Gold Humie Award
ACM SIGSOFT Distinguished Paper Award
Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean and Justyna Petke
Automated Software Transplantation
International Symposium on Software Testing and Analysis (ISSTA 2015): 257-269 pdf -
Mark Harman and Justyna Petke
GI4GI: Improving Genetic Improvement Fitness Functions
The First International Genetic Improvement Workshop (GI 2015): 793-794 pdf -
Bobby R. Bruce, Justyna Petke and Mark Harman
Reducing Energy Consumption Using Genetic Improvement
Genetic and Evolutionary Computation Conference (GECCO 2015): 1327-1334 pdf -
William B. Langdon, Brian Lam, Justyna Petke and Mark Harman
Improving CUDA DNA Analysis Software with Genetic Programming
Genetic and Evolutionary Computation Conference (GECCO 2015): 1063-1070 pdf -
Best Presentation Award
Justyna Petke
Constraints: the Future of Combinatorial Interaction Testing
The 8th International Workshop on Search-Based Software Testing (SBST 2015): 17-18 pdf -
Yue Jia, Myra B. Cohen, Mark Harman and Justyna Petke
Learning Combinatorial Interaction Test Generation Strategies using Hyperheuristic Search
The 37th International Conference on Software Engineering (ICSE 2015): 540-550 pdf -
Justyna Petke
Testing Django Configurations Using Combinatorial Interaction Testing
The 7th International Symposium on Search-Based Software Engineering (SSBSE 2015): 242-247 pdf - 2014
-
Mark Harman, Yue Jia, Jens Krinke, William B. Langdon, Justyna Petke and Yuanyuan Zhang
Search based software engineering for software product line engineering: a survey and directions for future work (keynote)
The 18th International Software Product Line Conference (SPLC 2014): 5-18 pdf -
William B. Langdon, Marc Modat, Justyna Petke and Mark Harman
Improving 3D medical image registration CUDA software with genetic programming
Genetic and Evolutionary Computation Conference (GECCO 2014): 951-958 pdf -
Mark Harman, Yue Jia, William B. Langdon, Justyna Petke, Iman Hemati Moghadam, Shin Yoo and Fan Wu
Genetic improvement for adaptive software engineering (keynote)
The 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014): 1-4 pdf -
Silver Humie Award
Justyna Petke, Mark Harman, William B. Langdon and Westley Weimer
Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class
The 17th European Conference on Genetic Programming (EuroGP 2014): 137-149 pdf
- 2013
-
Justyna Petke, Shin Yoo, Myra B. Cohen and Mark Harman
Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing
The ACM joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) pdf -
Justyna Petke, William B. Langdon and Mark Harman
Applying Genetic Improvement to MiniSAT
The 5th International Symposium on Search-Based Software Engineering (SSBSE 2013) pdf
-
Igor Razgon and Justyna Petke
Cliquewidth and Knowledge Compilation
The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013) pdf - 2011
-
Justyna Petke and Peter Jeavons
The order encoding: from tractable CSP to tractable SAT
The 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011): 371-372 pdf - 2010
-
Best Paper Nomination
Peter Jeavons and Justyna Petke
Local consistency and SAT-solvers
The 16th International Conference on Principles and Practice of Constraint Programming (CP 2010): 398-413 pdf
-
Justyna Petke
Local consistency and SAT-solvers: on the example of chains of inequalities
Oxford University Computing Laboratory Student Conference 2010 link - 2009
-
Justyna Petke and Peter Jeavons
Tractable benchmarks
The 8th International Workshop on Constraint Modelling and Reformulation
(ModRef 2009) link -
Bobby R. Bruce, Justyna Petke
Towards automatic generation andinsertion of OpenACC directives
No. RN/18/04, Department of Computer Science, University College London (2018) pdf -
William B. Langdon, Justyna Petke and Bobby R. Bruce
Optimising Quantisation Noise in Energy Measurement
No. RN/16/01, Department of Computer Science, University College London (2016) pdf -
Yue Jia, Myra B. Cohen, Mark Harman and Justyna Petke
Learning Combinatorial Interaction Testing Strategies using Hyperheuristic Search
No. RN/13/17, Department of Computer Science, University College London (2013) pdf -
Justyna Petke and Peter Jeavons
The order encoding: from tractable CSP to tractable SAT
No. RR-11-04, Department of Computer Science, University of Oxford (2011) link -
Justyna Petke and Peter Jeavons
Tractable Benchmarks For Constraint Programming
No. RR-09-07, Oxford University Computing Laboratory (2009) link -
William B. Langdon, Justyna Petke, and David Clark
Information Loss Leads to Robustness
IEEE Software Blog
September 2021 link -
William B. Langdon, Earl T. Barr and Justyna Petke
Bit-Rot: Computer Software Degrades over Time
IEEE Software Blog
March 2020 link -
William B. Langdon and Justyna Petke
Genetic Improvement
IEEE Software Blog
February 2016 link -
Justyna Petke
Revolutionising the process of software development
Dynamic Adaptive Automated Software Engineering (DAASE) Project Blog post
August 2015 link -
John R. Woodward, Justyna Petke and William B. Langdon
How computers are learning to make human software work more efficiently
The Conversation article
June 2015 link -
Justyna Petke
EvoStar 2014 Event Report
SIGEVOlution newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation, Volume 6, Issue 3-4 link
Software
I am involved in the maintenance of two open-source software optimisation frameworks, (co-)developed by my team: Gin (associated paper) and Magpie (associated paper). Software artefacts for individual publications can be found either from the links next to the publications below, or from links in the pdfs, or at the SOLAR GitHub page.