Justyna Petke

Publications

DBLP Computer Science Bibliography webpage
Google Scholar webpage

    Books

  • Justyna Petke
    Bridging Constraint Satisfaction and Boolean Satisfiability
    Springer, ISBN 978-3-319-21809-0, 2015 link

    • Journals

  • 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) to appear
  • Justyna Petke, Saemundur O. Haraldsson, Mark Harman, David R. White and John R. Woodward
    Genetic Improvement of Software: a Comprehensive Survey
    IEEE Transactions on Evolutionary Computation (TEVC) to appear link pdf
  • 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

    • Conferences and Workshops

  • 2017
  • 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
  • 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 9th 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

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