Justyna Petke
Justyna Petke
Principal Research Fellow and Proleptic Senior Lecturer, University College London
Verified email at ucl.ac.uk - Homepage
TitleCited byYear
Using genetic improvement and code transplants to specialise a C++ program to a problem class
J Petke, M Harman, WB Langdon, W Weimer
European Conference on Genetic Programming, 137-149, 2014
1182014
Using genetic improvement and code transplants to specialise a C++ program to a problem class
J Petke, M Harman, WB Langdon, W Weimer
European Conference on Genetic Programming, 137-149, 2014
1182014
Search based software engineering for software product line engineering: a survey and directions for future work
M Harman, Y Jia, J Krinke, WB Langdon, J Petke, Y Zhang
Proceedings of the 18th International Software Product Line Conference …, 2014
1082014
Automated software transplantation
ET Barr, M Harman, Y Jia, A Marginean, J Petke
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
852015
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing
J Petke, S Yoo, MB Cohen, M Harman
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
802013
Reducing energy consumption using genetic improvement
BR Bruce, J Petke, M Harman
Proceedings of the 2015 Annual Conference on Genetic and Evolutionary …, 2015
752015
Genetic improvement of software: a comprehensive survey
J Petke, SO Haraldsson, M Harman, WB Langdon, DR White, ...
IEEE Transactions on Evolutionary Computation 22 (3), 415-432, 2017
732017
Learning combinatorial interaction test generation strategies using hyperheuristic search
Y Jia, MB Cohen, M Harman, J Petke
Proceedings of the 37th International Conference on Software Engineering …, 2015
732015
Practical combinatorial interaction testing: Empirical findings on efficiency and early fault detection
J Petke, MB Cohen, M Harman, S Yoo
IEEE Transactions on Software Engineering 41 (9), 901-924, 2015
512015
Improving 3D medical image registration CUDA software with genetic programming
WB Langdon, M Modat, J Petke, M Harman
Proceedings of the 2014 Annual Conference on Genetic and Evolutionary …, 2014
452014
Improving CUDA DNA analysis software with genetic programming
WB Langdon, BYH Lam, J Petke, M Harman
Proceedings of the 2015 Annual Conference on Genetic and Evolutionary …, 2015
442015
Genetic improvement for adaptive software engineering (keynote)
M Harman, Y Jia, WB Langdon, J Petke, IH Moghadam, S Yoo, F Wu
Proceedings of the 9th International Symposium on Software Engineering for …, 2014
412014
Genetic improvement for adaptive software engineering (keynote)
M Harman, Y Jia, WB Langdon, J Petke, IH Moghadam, S Yoo, F Wu
Proceedings of the 9th International Symposium on Software Engineering for …, 2014
412014
The order encoding: From tractable CSP to tractable SAT
J Petke, P Jeavons
International Conference on Theory and Applications of Satisfiability …, 2011
322011
Applying genetic improvement to MiniSAT
J Petke, WB Langdon, M Harman
International Symposium on Search Based Software Engineering, 257-262, 2013
302013
Local consistency and SAT-solvers
P Jeavons, J Petke
Journal of Artificial Intelligence Research 43, 329-351, 2012
28*2012
Genetic improvement of GPU software
WB Langdon, BYH Lam, M Modat, J Petke, M Harman
Genetic Programming and Evolvable Machines 18 (1), 5-44, 2017
212017
Software is not fragile
WB Langdon, J Petke
First Complex Systems Digital Campus World E-Conference 2015, 203-211, 2017
202017
Local consistency and SAT-solvers
P Jeavons, J Petke
Journal of Artificial Intelligence Research 43, 329-351, 2012
182012
Evolving better RNAfold structure prediction
WB Langdon, J Petke, R Lorenz
European Conference on Genetic Programming, 220-236, 2018
132018
The system can't perform the operation now. Try again later.
Articles 1–20