Justyna Petke

Publications

SOLAR group publications
DBLP Computer Science Bibliography webpage
Google Scholar webpage
ORCID

All pdfs below are author copies and thus may vary from the published versions.

    Books

  • Justyna Petke
    Bridging Constraint Satisfaction and Boolean Satisfiability
    Springer, ISBN 978-3-319-21809-0, 2015 link
    • Edited
  • 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

    • Journals

  • 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
  • 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
    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

    • arxiv.org

  • 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 (2022) link
  • Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia, Mark Harman
    A Survey of Constrained Combinatorial Testing (2019) link

    • Conferences and Workshops

  • 2022
  • James Callan and Justyna Petke
    Multi-Objective Genetic Improvement: A Case Study with EvoSuite
    The 14th International Symposium on Search-Based Software Engineering (SSBSE 2022)
  • 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)
  • 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
    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
  • 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

    • Technical Reports

  • 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

    • Blog Posts and Magazine Articles

  • 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