Publications
DBLP Computer Science Bibliography webpage
Google Scholar webpage
-
Justyna Petke
Bridging Constraint Satisfaction and Boolean Satisfiability
Springer, ISBN 978-3-319-21809-0, 2015 link -
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) accepted -
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 link pdf (framework) -
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 (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 - 2018
-
William B. Langdon, Justyna Petke, Ronny Lorenz
Evolving Better RNAfold Structure Prediction
Genetic Programming - 21st European Conference (EuroGP 2018) - 2017
-
Justyna Petke
New operators for non-functional genetic improvement
The Third International Genetic Improvement Workshop (GI 2017) pdf -
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 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 -
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 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