The Order Encoding: From Tractable CSP to Tractable SAT. - Justyna Petke; Peter Jeavons 001 (SAT, 2011)

Local Consistency and SAT-Solvers. - Peter Jeavons 001; Justyna Petke (J. Artif. Intell. Res., 2012)

On the bridge between constraint satisfaction and Boolean satisfiability. - Justyna Petke (2012)

Cliquewidth and Knowledge Compilation. - Igor Razgon; Justyna Petke (SAT, 2013)

Efficiency and early fault detection with lower and higher strength combinatorial interaction testing. - Justyna Petke; Shin Yoo; Myra B. Cohen; Mark Harman (ESEC/SIGSOFT FSE, 2013)

Applying Genetic Improvement to MiniSAT. - Justyna Petke; William B. Langdon; Mark Harman (SSBSE, 2013)

Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class. - Justyna Petke; Mark Harman; William B. Langdon; Westley Weimer (EuroGP, 2014)

Improving 3D medical image registration CUDA software with genetic programming. - William B. Langdon; Marc Modat; Justyna Petke; Mark Harman (GECCO, 2014)

Genetic improvement for adaptive software engineering (keynote). - Mark Harman; Yue Jia 001; William B. Langdon; Justyna Petke; Iman Hemati Moghadam; Shin Yoo; Fan Wu 009 (SEAMS, 2014)

Search based software engineering for software product line engineering: a survey and directions for future work. - Mark Harman; Yue Jia 001; Jens Krinke; William B. Langdon; Justyna Petke; Yuanyuan Zhang 003 (SPLC, 2014)

Bridging Constraint Satisfaction and Boolean Satisfiability - Justyna Petke (Springer, 2015)

Reducing Energy Consumption Using Genetic Improvement. - Bobby R. Bruce; Justyna Petke; Mark Harman (GECCO, 2015)

GI4GI: Improving Genetic Improvement Fitness Functions. - Mark Harman; Justyna Petke (GECCO (Companion), 2015)

Improving CUDA DNA Analysis Software with Genetic Programming. - William B. Langdon; Brian Yee Hong Lam; Justyna Petke; Mark Harman (GECCO, 2015)

Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search. - Yue Jia 001; Myra B. Cohen; Mark Harman; Justyna Petke (ICSE (1), 2015)

Constraints: The Future of Combinatorial Interaction Testing. - Justyna Petke (SBST@ICSE, 2015)

Automated software transplantation. - Earl T. Barr; Mark Harman; Yue Jia 001; Alexandru Marginean; Justyna Petke (ISSTA, 2015)

Testing Django Configurations Using Combinatorial Interaction Testing. - Justyna Petke (SSBSE, 2015)

Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection. - Justyna Petke; Myra B. Cohen; Mark Harman; Shin Yoo (IEEE Trans. Software Eng., 2015)

Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation NGS datasets and nVidia GPUs. - William B. Langdon; Albert Vilella; Brian Yee Hong Lam; Justyna Petke; Mark Harman (GECCO (Companion), 2016)

Genetic Improvement for Code Obfuscation. - Justyna Petke (GECCO (Companion), 2016)

Genetic Improvement 2016 Chairs' Welcome & Organization. - Westley Weimer; Justyna Petke; David Robert White (GECCO (Companion), 2016)

Optimising Quantisation Noise in Energy Measurement. - William B. Langdon; Justyna Petke; Bobby R. Bruce (PPSN, 2016)

Deep Parameter Optimisation for Face Detection Using the Viola-Jones Algorithm in OpenCV. - Bobby R. Bruce; Jonathan M. Aitken; Justyna Petke (SSBSE, 2016)

Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing. - Angelo Gargantini; Justyna Petke; Marco Radavelli; Paolo Vavassori (SSBSE, 2016)

API-Constrained Genetic Improvement. - William B. Langdon; David Robert White; Mark Harman; Yue Jia 001; Justyna Petke (SSBSE, 2016)

New operators for non-functional genetic improvement. - Justyna Petke (GECCO (Companion), 2017)

10th International Workshop on Search-Based Software Testing (SBST 2017). - Juan Pablo Galeotti; Justyna Petke (SBST@ICSE, 2017)

Combinatorial Interaction Testing for Automated Constraint Repair. - Angelo Gargantini; Justyna Petke; Marco Radavelli (ICST Workshops, 2017)

Search Based Software Engineering [Guest Editorial]. - He Jiang 001; Ke Tang 001; Justyna Petke; Mark Harman (IEEE Comput. Intell. Mag., 2017)

Genetic improvement of GPU software. - William B. Langdon; Brian Yee Hong Lam; Marc Modat; Justyna Petke; Mark Harman (Genet. Program. Evolvable Mach., 2017)

Preface to the Special Issue on Genetic Improvement. - Justyna Petke (Genet. Program. Evolvable Mach., 2017)

Evolving Better RNAfold Structure Prediction. - William B. Langdon; Justyna Petke; Ronny Lorenz (EuroGP, 2018)

Evolving Better Software Parameters. - William B. Langdon; Justyna Petke (SSBSE, 2018)

Genetic Improvement of Software (Dagstuhl Seminar 18052). - Justyna Petke; Claire Le Goues; Stephanie Forrest; William B. Langdon (Dagstuhl Reports, 2018)

Guest Editorial for the Special Section from the 9th International Symposium on Search Based Software Engineering. - Justyna Petke; Tim Menzies (Inf. Softw. Technol., 2018)

Genetic Improvement of Software: A Comprehensive Survey. - Justyna Petke; Saemundur O. Haraldsson; Mark Harman; William B. Langdon; David Robert White; John R. Woodward (IEEE Trans. Evol. Comput., 2018)

Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation. - Justyna Petke; Mark Harman; William B. Langdon; Westley Weimer (IEEE Trans. Software Eng., 2018)

On adaptive specialisation in genetic improvement. - Aymeric Blot; Justyna Petke (GECCO (Companion), 2019)

Gin: genetic improvement research made easy. - Alexander E. I. Brownlee; Justyna Petke; Brad Alexander; Earl T. Barr; Markus Wagner 007; David Robert White (GECCO, 2019)

Genetic improvement of data gives binary logarithm from sqrt. - William B. Langdon; Justyna Petke (GECCO (Companion), 2019)

A survey of genetic improvement search spaces. - Justyna Petke; Brad Alexander; Earl T. Barr; Alexander E. I. Brownlee; Markus Wagner 007; David Robert White (GECCO (Companion), 2019)

PyGGI 2.0: language independent genetic improvement framework. - Gabin An; Aymeric Blot; Justyna Petke; Shin Yoo (ESEC/SIGSOFT FSE, 2019)

Software Improvement with Gin: A Case Study. - Justyna Petke; Alexander E. I. Brownlee (SSBSE, 2019)

A Survey of Constrained Combinatorial Testing. - Huayao Wu; Changhai Nie; Justyna Petke; Yue Jia 001; Mark Harman (CoRR, 2019)

Approximate Oracles and Synergy in Software Energy Search Spaces. - Bobby R. Bruce; Justyna Petke; Mark Harman; Earl T. Barr (IEEE Trans. Software Eng., 2019)

Injecting Shortcuts for Faster Running Java Code. - Alexander E. I. Brownlee; Justyna Petke; Anna F. Rasburn (CEC, 2020)

Comparing Genetic Programming Approaches for Non-functional Genetic Improvement. - Aymeric Blot; Justyna Petke (EuroGP, 2020)

Synthetic Benchmarks for Genetic Improvement. - Aymeric Blot; Justyna Petke (ICSE (Workshops), 2020)

Stack-Based Genetic Improvement. - Aymeric Blot; Justyna Petke (ICSE (Workshops), 2020)

Refining Fitness Functions in Test-Based Program Repair. - Justyna Petke; Aymeric Blot (ICSE (Workshops), 2020)

Impact of Test Suite Coverage on Overfitting in Genetic Improvement of Software. - Mingyi Lim; Giovani Guizzo; Justyna Petke (SSBSE, 2020)

Genetic Improvement @ ICSE 2020. - William B. Langdon; Westley Weimer; Justyna Petke; Erik M. Fredericks; Seongmin Lee 001; Emily Winter 001; Michail Basios; Myra B. Cohen; Aymeric Blot; Markus Wagner 007; Bobby R. Bruce; Shin Yoo; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing. - Huayao Wu; Changhai Nie; Justyna Petke; Yue Jia 001; Mark Harman (IEEE Trans. Software Eng., 2020)

Dissipative polynomials. - William B. Langdon; Justyna Petke; David Clark 001 (GECCO Companion, 2021)

Optimising SQL Queries Using Genetic Improvement. - James Callan; Justyna Petke (GI@ICSE, 2021)

Uniform Edit Selection for Genetic Improvement: Empirical Analysis of Mutation Operator Efficacy. - Marta Smigielska; Aymeric Blot; Justyna Petke (GI@ICSE, 2021)

Refining Fitness Functions for Search-Based Program Repair. - Zhiqiang Bian; Aymeric Blot; Justyna Petke (APR@ICSE, 2021)

Enhancing Genetic Improvement of Software with Regression Test Selection. - Giovani Guizzo; Justyna Petke; Federica Sarro; Mark Harman (ICSE, 2021)

Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection. - Giovani Guizzo; Justyna Petke; Federica Sarro; Mark Harman (ICSE (Companion Volume), 2021)

HyperGI: Automated Detection and Repair of Information Flow Leakage. - Ibrahim Mesecan; Daniel Blackwell; David Clark 001; Myra B. Cohen; Justyna Petke (ASE, 2021)

Software robustness: a survey, a theory, and prospects. - Justyna Petke; David Clark 001; William B. Langdon (ESEC/SIGSOFT FSE, 2021)

Improving Android App Responsiveness Through Automated Frame Rate Reduction. - James Callan; Justyna Petke (SSBSE, 2021)

Refining Fitness Functions for Search-Based Automated Program Repair - A Case Study with ARJA and ARJA-e. - Giovani Guizzo; Aymeric Blot; James Callan; Justyna Petke; Federica Sarro (SSBSE, 2021)

Empirical Comparison of Search Heuristics for Genetic Improvement of Software. - Aymeric Blot; Justyna Petke (IEEE Trans. Evol. Comput., 2021)

Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing. - Huayao Wu; Changhai Nie; Justyna Petke; Yue Jia 001; Mark Harman (IEEE Trans. Software Eng., 2021)

Evaluation of genetic improvement tools for improvement of non-functional properties of software. - Shengjie Zuo; Aymeric Blot; Justyna Petke (GECCO Companion, 2022)

Improving Responsiveness of Android Activity Navigation via Genetic Improvement. - James Callan; Justyna Petke (ICSE-Companion, 2022)

Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage. - Ibrahim Mesecan; Daniel Blackwell; David Clark 001; Myra B. Cohen; Justyna Petke (ASE, 2022)

Multi-objective Genetic Improvement: A Case Study with EvoSuite. - James Callan; Justyna Petke (SSBSE, 2022)

MAGPIE: Machine Automated General Performance Improvement via Evolution of Software. - Aymeric Blot; Justyna Petke (CoRR, 2022)

A Comprehensive Survey of Benchmarks for Automated Improvement of Software's Non-Functional Properties. - Aymeric Blot; Justyna Petke (CoRR, 2022)

How do Android developers improve non-functional properties of software? - James Callan; Oliver Krauss; Justyna Petke; Federica Sarro (Empir. Softw. Eng., 2022)

Genetically Improved Software with fewer Data Cache Misses. - William B. Langdon; Justyna Petke; Aymeric Blot; David Clark 001 (GECCO Companion, 2023)

An Analysis of the Automatic Bug Fixing Performance of ChatGPT. - Dominik Sobania; Martin Briesch; Carol Hanna; Justyna Petke (APR@ICSE, 2023)

Hot Patching Hot Fixes: Reflection and Perspectives. - Carol Hanna; Justyna Petke (ASE, 2023)

Enhancing Genetic Improvement Mutations Using Large Language Models. - Alexander E. I. Brownlee; James Callan; Karine Even-Mendoza; Alina Geiger; Carol Hanna; Justyna Petke; Federica Sarro; Dominik Sobania (SSBSE, 2023)

SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models. - Aidan Dakhama; Karine Even-Mendoza; William B. Langdon; Héctor D. Menéndez 001; Justyna Petke (SSBSE, 2023)

Evaluating Explanations for Software Patches Generated by Large Language Models. - Dominik Sobania; Alina Geiger; James Callan; Alexander E. I. Brownlee; Carol Hanna; Rebecca Moussa; Mar Zamorano López; Justyna Petke; Federica Sarro (SSBSE, 2023)

GI Software with fewer Data Cache Misses. - William B. Langdon; Justyna Petke; Aymeric Blot; David Clark 001 (CoRR, 2023)

Program transformation landscapes for automated program modification using Gin. - Justyna Petke; Brad Alexander; Earl T. Barr; Alexander E. I. Brownlee; Markus Wagner 007; David Robert White (Empir. Softw. Eng., 2023)

Genetic Improvement @ ICSE 2023. - William B. Langdon; Vesna Nowack; Justyna Petke; Markus Wagner 007; Hyeonseok Lee; Erik M. Fredericks; Gabin An; Aymeric Blot (ACM SIGSOFT Softw. Eng. Notes, 2023)

On Reducing Network Usage with Genetic Improvement. - James Callan; William B. Langdon; Justyna Petke (GI@ICSE, 2024)

User-Centric Deployment of Automated Program Repair at Bloomberg. - David Williams; James Callan; Serkan Kirbas; Sergey Mechtaev; Justyna Petke; Thomas Prideaux-Ghee; Federica Sarro (ICSE-SEIP, 2024)

Mining for Mutation Operators for Reduction of Information Flow Control Violations. - Ilya Kosorukov; Daniel Blackwell; David Clark 001; Myra B. Cohen; Justyna Petke (ASE, 2024)

The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking. - Justyna Petke; Matias Martinez; Maria Kechagia; Aldeida Aleti; Federica Sarro (SIGSOFT FSE Companion, 2024)

Hot Fixing Software: A Comprehensive Review of Terminology, Techniques, and Applications. - Carol Hanna; David Clark 001; Federica Sarro; Justyna Petke (CoRR, 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2024)

The 13th International Workshop on Genetic Improvement(GI @ ICSE 2024). - William B. Langdon; Gabin An; Aymeric Blot; Vesna Nowack; Justyna Petke; Shin Yoo; Oliver Krauss; Erik M. Fredericks; Daniel Blackwell (ACM SIGSOFT Softw. Eng. Notes, 2024)

Test-based patch clustering for automatically-generated patches assessment. - Matias Martinez; Maria Kechagia; Anjana Perera; Justyna Petke; Federica Sarro; Aldeida Aleti (Empir. Softw. Eng., 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Bobby R. Bruce; Aidan Dakhama; Karine Even-Mendoza; William B. Langdon; Héctor Menéndez 001; Justyna Petke (Zenodo, 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Bobby R. Bruce; Aidan Dakhama; Karine Even-Mendoza; William B. Langdon; Héctor Menéndez 001; Justyna Petke (Zenodo, 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Bobby R. Bruce; Aidan Dakhama; Karine Even-Mendoza; William B. Langdon; Héctor Menéndez 001; Justyna Petke (Zenodo, 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2024)

Speeding Up Genetic Improvement via Regression Test Selection. - Giovani Guizzo; David Williams; Mark Harman; Justyna Petke; Federica Sarro (ACM Trans. Softw. Eng. Methodol., 2024)

Enhancing Software Runtime With Reinforcement Learning-Driven Mutation Operator Selection in Genetic Improvement. - Damien Bose; Carol Hanna; Justyna Petke (GI@ICSE, 2025)

Llm-Assisted Crossover in Genetic Improvement of Software. - Dimitrios Stamatios Bouras; Sergey Mechtaev; Justyna Petke (GI@ICSE, 2025)

Empirical Comparison of Runtime Improvement Approaches: Genetic Improvement, Parameter Tuning, and Their Combination. - Thanatad Songpetchmongkol; Aymeric Blot; Justyna Petke (GI@ICSE, 2025)

Large Language Model Based Code Completion is an Effective Genetic Improvement Mutation. - Jingyuan Wang; Carol Hanna; Justyna Petke (GI@ICSE, 2025)

Search+LLM-Based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (SEIP@ICSE, 2025)

GAFLERNA Ahoy! Integrating EM Side-Channel Analysis into Traditional Fuzzing Workflows. - Jorge Barredo; Justyna Petke; David Clark 001; Daniel Blackwell; Maialen Eceiza; Jose Luis Flores 001; Mikel Iturbe (SIGSOFT FSE Companion, 2025)

Behind the Hot Fix: Demystifying Hot Fixing Industrial Practices at Zühlke and Beyond. - Carol Hanna; David Elliman; Wolgang Emmerich; Federica Sarro; Justyna Petke (SIGSOFT FSE Companion, 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Software Product Line Engineering via Software Transplantation. - Leandro O. Souza; Eduardo Santana de Almeida; Paulo Anselmo da Mota Silveira Neto; Earl T. Barr; Justyna Petke (ACM Trans. Softw. Eng. Methodol., 2025)

Large language model based mutations in genetic improvement. - Alexander E. I. Brownlee; James Callan; Karine Even-Mendoza; Alina Geiger; Carol Hanna; Justyna Petke; Federica Sarro; Dominik Sobania (Autom. Softw. Eng., 2025)

Multi-objective improvement of Android applications. - James Callan; Justyna Petke (Autom. Softw. Eng., 2025)

A Comprehensive Survey of Benchmarks for Improvement of Software's Non-Functional Properties. - Aymeric Blot; Justyna Petke (ACM Comput. Surv., 2025)

A Comparison of Large Language Models and Genetic Programming for Program Synthesis. - Dominik Sobania; Justyna Petke; Martin Briesch; Franz Rothlauf (IEEE Trans. Evol. Comput., 2025)

Enhancing search-based testing with LLMs for finding bugs in system simulators. - Aidan Dakhama; Karine Even-Mendoza; William B. Langdon; Héctor D. Menéndez 001; Justyna Petke (Autom. Softw. Eng., 2025)

Reinforcement learning for mutation operator selection in automated program repair. - Carol Hanna; Aymeric Blot; Justyna Petke (Autom. Softw. Eng., 2025)