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
1132014
Automated software transplantation
ET Barr, M Harman, Y Jia, A Marginean, J Petke
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
872015
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
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
802017
Reducing energy consumption using genetic improvement
BR Bruce, J Petke, M Harman
Proceedings of the 2015 Annual Conference on Genetic and Evolutionary …, 2015
772015
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
742015
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
542015
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
462014
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
422014
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
422014
The order encoding: From tractable CSP to tractable SAT
J Petke, P Jeavons
International Conference on Theory and Applications of Satisfiability …, 2011
342011
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
232017
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
Constraints: the future of combinatorial interaction testing
J Petke
2015 IEEE/ACM 8th International Workshop on Search-Based Software Testing, 17-18, 2015
162015
The system can't perform the operation now. Try again later.
Articles 1–20