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
1192014
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
1192014
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
1182014
Automated software transplantation
ET Barr, M Harman, Y Jia, A Marginean, J Petke
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
922015
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
892017
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
812013
Reducing energy consumption using genetic improvement
BR Bruce, J Petke, M Harman
Proceedings of the 2015 Annual Conference on Genetic and Evolutionary …, 2015
792015
Learning combinatorial interaction test generation strategies using hyperheuristic search
Y Jia, MB Cohen, M Harman, J Petke
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
762015
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
562015
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
472014
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
462015
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
442014
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
442014
The order encoding: From tractable CSP to tractable SAT
J Petke, P Jeavons
International Conference on Theory and Applications of Satisfiability …, 2011
352011
Local consistency and SAT-solvers
P Jeavons, J Petke
Journal of Artificial Intelligence Research 43, 329-351, 2012
32*2012
Applying genetic improvement to MiniSAT
J Petke, WB Langdon, M Harman
International Symposium on Search Based Software Engineering, 257-262, 2013
312013
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
262017
Local consistency and SAT-solvers
P Jeavons, J Petke
Journal of Artificial Intelligence Research 43, 329-351, 2012
212012
Software is not fragile
WB Langdon, J Petke
First Complex Systems Digital Campus World E-Conference 2015, 203-211, 2017
202017
Specialising software for different downstream applications using genetic improvement and code transplantation
J Petke, M Harman, WB Langdon, W Weimer
IEEE Transactions on Software Engineering 44 (6), 574-594, 2017
172017
The system can't perform the operation now. Try again later.
Articles 1–20