default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Justyna Petke
@article{DBLP:journals/ese/MartinezKPPSA24,
author = {Matias Martinez and
Maria Kechagia and
Anjana Perera and
Justyna Petke and
Federica Sarro and
Aldeida Aleti},
title = {Test-based patch clustering for automatically-generated patches assessment},
journal = {Empir. Softw. Eng.},
volume = {29},
number = {5},
pages = {116},
year = {2024},
url = {https://doi.org/10.1007/s10664-024-10503-2},
doi = {10.1007/S10664-024-10503-2},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/MartinezKPPSA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LangdonABNPYKFB24,
author = {William B. Langdon and
Gabin An and
Aymeric Blot and
Vesna Nowack and
Justyna Petke and
Shin Yoo and
Oliver Krauss and
Erik M. Fredericks and
Daniel Blackwell},
title = {The 13th International Workshop on Genetic Improvement(GI @ {ICSE}
2024)},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {49},
number = {3},
pages = {42--50},
year = {2024},
url = {https://doi.org/10.1145/3672089.3672102},
doi = {10.1145/3672089.3672102},
timestamp = {Thu, 15 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/LangdonABNPYKFB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WilliamsCKMPPS24,
author = {David Williams and
James Callan and
Serkan Kirbas and
Sergey Mechtaev and
Justyna Petke and
Thomas Prideaux{-}Ghee and
Federica Sarro},
title = {User-Centric Deployment of Automated Program Repair at Bloomberg},
booktitle = {Proceedings of the 46th International Conference on Software Engineering:
Software Engineering in Practice, {ICSE-SEIP} 2024, Lisbon, Portugal,
April 14-20, 2024},
pages = {81--91},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3639477.3639756},
doi = {10.1145/3639477.3639756},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/WilliamsCKMPPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PetkeMKAS24,
author = {Justyna Petke and
Matias Martinez and
Maria Kechagia and
Aldeida Aleti and
Federica Sarro},
editor = {Marcelo d'Amorim},
title = {The Patch Overfitting Problem in Automated Program Repair: Practical
Magnitude and a Baseline for Realistic Benchmarking},
booktitle = {Companion Proceedings of the 32nd {ACM} International Conference on
the Foundations of Software Engineering, {FSE} 2024, Porto de Galinhas,
Brazil, July 15-19, 2024},
pages = {452--456},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3663529.3663776},
doi = {10.1145/3663529.3663776},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/PetkeMKAS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-09275,
author = {Carol Hanna and
David Clark and
Federica Sarro and
Justyna Petke},
title = {Hot Fixing Software: {A} Comprehensive Review of Terminology, Techniques,
and Applications},
journal = {CoRR},
volume = {abs/2401.09275},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.09275},
doi = {10.48550/ARXIV.2401.09275},
eprinttype = {arXiv},
eprint = {2401.09275},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-09275.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/PetkeABBWW23,
author = {Justyna Petke and
Brad Alexander and
Earl T. Barr and
Alexander E. I. Brownlee and
Markus Wagner and
David Robert White},
title = {Program transformation landscapes for automated program modification
using Gin},
journal = {Empir. Softw. Eng.},
volume = {28},
number = {4},
pages = {104},
year = {2023},
url = {https://doi.org/10.1007/s10664-023-10344-5},
doi = {10.1007/S10664-023-10344-5},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/PetkeABBWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LangdonNPWLFAB23,
author = {William B. Langdon and
Vesna Nowack and
Justyna Petke and
Markus Wagner and
Hyeonseok Lee and
Erik M. Fredericks and
Gabin An and
Aymeric Blot},
title = {Genetic Improvement @ {ICSE} 2023},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {4},
pages = {51--59},
year = {2023},
url = {https://doi.org/10.1145/3617946.3617956},
doi = {10.1145/3617946.3617956},
timestamp = {Mon, 13 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/LangdonNPWLFAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/LangdonPB023,
author = {William B. Langdon and
Justyna Petke and
Aymeric Blot and
David Clark},
editor = {Sara Silva and
Lu{\'{\i}}s Paquete},
title = {Genetically Improved Software with fewer Data Cache Misses},
booktitle = {Companion Proceedings of the Conference on Genetic and Evolutionary
Computation, {GECCO} 2023, Companion Volume, Lisbon, Portugal, July
15-19, 2023},
pages = {799--802},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583133.3590542},
doi = {10.1145/3583133.3590542},
timestamp = {Fri, 02 Aug 2024 15:50:42 +0200},
biburl = {https://dblp.org/rec/conf/gecco/LangdonPB023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-apr/SobaniaBHP23,
author = {Dominik Sobania and
Martin Briesch and
Carol Hanna and
Justyna Petke},
title = {An Analysis of the Automatic Bug Fixing Performance of ChatGPT},
booktitle = {{IEEE/ACM} International Workshop on Automated Program Repair, APR@ICSE
2023, Melbourne, Australia, May 16, 2023},
pages = {23--30},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/APR59189.2023.00012},
doi = {10.1109/APR59189.2023.00012},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse-apr/SobaniaBHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HannaP23,
author = {Carol Hanna and
Justyna Petke},
title = {Hot Patching Hot Fixes: Reflection and Perspectives},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1781--1786},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00021},
doi = {10.1109/ASE56229.2023.00021},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HannaP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/SobaniaGCBHMLPS23,
author = {Dominik Sobania and
Alina Geiger and
James Callan and
Alexander E. I. Brownlee and
Carol Hanna and
Rebecca Moussa and
Mar Zamorano L{\'{o}}pez and
Justyna Petke and
Federica Sarro},
editor = {Paolo Arcaini and
Tao Yue and
Erik M. Fredericks},
title = {Evaluating Explanations for Software Patches Generated by Large Language
Models},
booktitle = {Search-Based Software Engineering - 15th International Symposium,
{SSBSE} 2023, San Francisco, CA, USA, December 8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14415},
pages = {147--152},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48796-5\_12},
doi = {10.1007/978-3-031-48796-5\_12},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/SobaniaGCBHMLPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/BrownleeCEGHPSS23,
author = {Alexander E. I. Brownlee and
James Callan and
Karine Even{-}Mendoza and
Alina Geiger and
Carol Hanna and
Justyna Petke and
Federica Sarro and
Dominik Sobania},
editor = {Paolo Arcaini and
Tao Yue and
Erik M. Fredericks},
title = {Enhancing Genetic Improvement Mutations Using Large Language Models},
booktitle = {Search-Based Software Engineering - 15th International Symposium,
{SSBSE} 2023, San Francisco, CA, USA, December 8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14415},
pages = {153--159},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48796-5\_13},
doi = {10.1007/978-3-031-48796-5\_13},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/BrownleeCEGHPSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/DakhamaELMP23,
author = {Aidan Dakhama and
Karine Even{-}Mendoza and
William B. Langdon and
H{\'{e}}ctor D. Men{\'{e}}ndez and
Justyna Petke},
editor = {Paolo Arcaini and
Tao Yue and
Erik M. Fredericks},
title = {SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing
and Large Language Models},
booktitle = {Search-Based Software Engineering - 15th International Symposium,
{SSBSE} 2023, San Francisco, CA, USA, December 8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14415},
pages = {160--166},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48796-5\_14},
doi = {10.1007/978-3-031-48796-5\_14},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/DakhamaELMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-08653,
author = {Dominik Sobania and
Martin Briesch and
Carol Hanna and
Justyna Petke},
title = {An Analysis of the Automatic Bug Fixing Performance of ChatGPT},
journal = {CoRR},
volume = {abs/2301.08653},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.08653},
doi = {10.48550/ARXIV.2301.08653},
eprinttype = {arXiv},
eprint = {2301.08653},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-08653.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-03235,
author = {William B. Langdon and
Justyna Petke and
Aymeric Blot and
David Clark},
title = {{GI} Software with fewer Data Cache Misses},
journal = {CoRR},
volume = {abs/2304.03235},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.03235},
doi = {10.48550/ARXIV.2304.03235},
eprinttype = {arXiv},
eprint = {2304.03235},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-03235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-05792,
author = {Carol Hanna and
Aymeric Blot and
Justyna Petke},
title = {Reinforcement Learning for Mutation Operator Selection in Automated
Program Repair},
journal = {CoRR},
volume = {abs/2306.05792},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.05792},
doi = {10.48550/ARXIV.2306.05792},
eprinttype = {arXiv},
eprint = {2306.05792},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10896,
author = {Leandro O. Souza and
Earl T. Barr and
Justyna Petke and
Eduardo Santana de Almeida and
Paulo Anselmo da Mota Silveira Neto},
title = {Software Product Line Engineering via Software Transplantation},
journal = {CoRR},
volume = {abs/2307.10896},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10896},
doi = {10.48550/ARXIV.2307.10896},
eprinttype = {arXiv},
eprint = {2307.10896},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-11387,
author = {James Callan and
Justyna Petke},
title = {Multi-Objective Improvement of Android Applications},
journal = {CoRR},
volume = {abs/2308.11387},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.11387},
doi = {10.48550/ARXIV.2308.11387},
eprinttype = {arXiv},
eprint = {2308.11387},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-11387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-19813,
author = {Alexander E. I. Brownlee and
James Callan and
Karine Even{-}Mendoza and
Alina Geiger and
Carol Hanna and
Justyna Petke and
Federica Sarro and
Dominik Sobania},
title = {Enhancing Genetic Improvement Mutations Using Large Language Models},
journal = {CoRR},
volume = {abs/2310.19813},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.19813},
doi = {10.48550/ARXIV.2310.19813},
eprinttype = {arXiv},
eprint = {2310.19813},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-19813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-10516,
author = {David Williams and
James Callan and
Serkan Kirbas and
Sergey Mechtaev and
Justyna Petke and
Thomas Prideaux{-}Ghee and
Federica Sarro},
title = {User-Centric Deployment of Automated Program Repair at Bloomberg},
journal = {CoRR},
volume = {abs/2311.10516},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.10516},
doi = {10.48550/ARXIV.2311.10516},
eprinttype = {arXiv},
eprint = {2311.10516},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-10516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/CallanKPS22,
author = {James Callan and
Oliver Krauss and
Justyna Petke and
Federica Sarro},
title = {How do Android developers improve non-functional properties of software?},
journal = {Empir. Softw. Eng.},
volume = {27},
number = {5},
pages = {113},
year = {2022},
url = {https://doi.org/10.1007/s10664-022-10137-2},
doi = {10.1007/S10664-022-10137-2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/CallanKPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/ZuoBP22,
author = {Shengjie Zuo and
Aymeric Blot and
Justyna Petke},
editor = {Jonathan E. Fieldsend and
Markus Wagner},
title = {Evaluation of genetic improvement tools for improvement of non-functional
properties of software},
booktitle = {{GECCO} '22: Genetic and Evolutionary Computation Conference, Companion
Volume, Boston, Massachusetts, USA, July 9 - 13, 2022},
pages = {1956--1965},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520304.3534004},
doi = {10.1145/3520304.3534004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/ZuoBP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CallanP22,
author = {James Callan and
Justyna Petke},
title = {Improving Responsiveness of Android Activity Navigation via Genetic
Improvement},
booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2022, Pittsburgh, PA, USA,
May 22-24, 2022},
pages = {356--357},
publisher = {{ACM/IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3510454.3528643},
doi = {10.1145/3510454.3528643},
timestamp = {Thu, 27 Oct 2022 16:07:05 +0200},
biburl = {https://dblp.org/rec/conf/icse/CallanP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MesecanB0CP22,
author = {Ibrahim Mesecan and
Daniel Blackwell and
David Clark and
Myra B. Cohen and
Justyna Petke},
title = {Keeping Secrets: Multi-objective Genetic Improvement for Detecting
and Reducing Information Leakage},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {61:1--61:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556947},
doi = {10.1145/3551349.3556947},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MesecanB0CP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/CallanP22,
author = {James Callan and
Justyna Petke},
editor = {Mike Papadakis and
Silvia Regina Vergilio},
title = {Multi-objective Genetic Improvement: {A} Case Study with EvoSuite},
booktitle = {Search-Based Software Engineering - 14th International Symposium,
{SSBSE} 2022, Singapore, November 17-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13711},
pages = {111--117},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21251-2\_8},
doi = {10.1007/978-3-031-21251-2\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/CallanP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11082,
author = {Matias Martinez and
Maria Kechagia and
Anjana Perera and
Justyna Petke and
Federica Sarro and
Aldeida Aleti},
title = {Test-based Patch Clustering for Automatically-Generated Patches Assessment},
journal = {CoRR},
volume = {abs/2207.11082},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11082},
doi = {10.48550/ARXIV.2207.11082},
eprinttype = {arXiv},
eprint = {2207.11082},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-02811,
author = {Aymeric Blot and
Justyna Petke},
title = {{MAGPIE:} Machine Automated General Performance Improvement via Evolution
of Software},
journal = {CoRR},
volume = {abs/2208.02811},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.02811},
doi = {10.48550/ARXIV.2208.02811},
eprinttype = {arXiv},
eprint = {2208.02811},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-02811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-08540,
author = {Aymeric Blot and
Justyna Petke},
title = {A Comprehensive Survey of Benchmarks for Automated Improvement of
Software's Non-Functional Properties},
journal = {CoRR},
volume = {abs/2212.08540},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.08540},
doi = {10.48550/ARXIV.2212.08540},
eprinttype = {arXiv},
eprint = {2212.08540},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-08540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tec/BlotP21,
author = {Aymeric Blot and
Justyna Petke},
title = {Empirical Comparison of Search Heuristics for Genetic Improvement
of Software},
journal = {{IEEE} Trans. Evol. Comput.},
volume = {25},
number = {5},
pages = {1001--1011},
year = {2021},
url = {https://doi.org/10.1109/TEVC.2021.3070271},
doi = {10.1109/TEVC.2021.3070271},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tec/BlotP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WuNPJH21,
author = {Huayao Wu and
Changhai Nie and
Justyna Petke and
Yue Jia and
Mark Harman},
title = {Comparative Analysis of Constraint Handling Techniques for Constrained
Combinatorial Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {11},
pages = {2549--2562},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2955687},
doi = {10.1109/TSE.2019.2955687},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WuNPJH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/LangdonPC21,
author = {William B. Langdon and
Justyna Petke and
David Clark},
editor = {Krzysztof Krawiec},
title = {Dissipative polynomials},
booktitle = {{GECCO} '21: Genetic and Evolutionary Computation Conference, Companion
Volume, Lille, France, July 10-14, 2021},
pages = {1683--1691},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3449726.3463147},
doi = {10.1145/3449726.3463147},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/LangdonPC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi-ws/SmigielskaBP21,
author = {Marta Smigielska and
Aymeric Blot and
Justyna Petke},
title = {Uniform Edit Selection for Genetic Improvement: Empirical Analysis
of Mutation Operator Efficacy},
booktitle = {10th {IEEE/ACM} International Workshop on Genetic Improvement, GI@ICSE
2021, Madrid, Spain, May 30, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/GI52543.2021.00009},
doi = {10.1109/GI52543.2021.00009},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi-ws/SmigielskaBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi-ws/CallanP21,
author = {James Callan and
Justyna Petke},
title = {Optimising {SQL} Queries Using Genetic Improvement},
booktitle = {10th {IEEE/ACM} International Workshop on Genetic Improvement, GI@ICSE
2021, Madrid, Spain, May 30, 2021},
pages = {9--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/GI52543.2021.00010},
doi = {10.1109/GI52543.2021.00010},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi-ws/CallanP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuizzoPSH21a,
author = {Giovani Guizzo and
Justyna Petke and
Federica Sarro and
Mark Harman},
title = {Artifact for Enhancing Genetic Improvement of Software with Regression
Test Selection},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {220},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00099},
doi = {10.1109/ICSE-COMPANION52605.2021.00099},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GuizzoPSH21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuizzoPSH21,
author = {Giovani Guizzo and
Justyna Petke and
Federica Sarro and
Mark Harman},
title = {Enhancing Genetic Improvement of Software with Regression Test Selection},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {1323--1333},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00120},
doi = {10.1109/ICSE43902.2021.00120},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GuizzoPSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-apr/BianBP21,
author = {Zhiqiang Bian and
Aymeric Blot and
Justyna Petke},
title = {Refining Fitness Functions for Search-Based Program Repair},
booktitle = {2nd {IEEE/ACM} International Workshop on Automated Program Repair,
APR@ICSE 2021, Madrid, Spain, June 1, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/APR52552.2021.00008},
doi = {10.1109/APR52552.2021.00008},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse-apr/BianBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MesecanBCCP21,
author = {Ibrahim Mesecan and
Daniel Blackwell and
David Clark and
Myra B. Cohen and
Justyna Petke},
title = {HyperGI: Automated Detection and Repair of Information Flow Leakage},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {1358--1362},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678758},
doi = {10.1109/ASE51524.2021.9678758},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MesecanBCCP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PetkeCL21,
author = {Justyna Petke and
David Clark and
William B. Langdon},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Software robustness: a survey, a theory, and prospects},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1475--1478},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3473133},
doi = {10.1145/3468264.3473133},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PetkeCL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/CallanP21,
author = {James Callan and
Justyna Petke},
editor = {Una{-}May O'Reilly and
Xavier Devroey},
title = {Improving Android App Responsiveness Through Automated Frame Rate
Reduction},
booktitle = {Search-Based Software Engineering - 13th International Symposium,
{SSBSE} 2021, Bari, Italy, October 11-12, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12914},
pages = {136--150},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88106-1\_10},
doi = {10.1007/978-3-030-88106-1\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/CallanP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/GuizzoBCPS21,
author = {Giovani Guizzo and
Aymeric Blot and
James Callan and
Justyna Petke and
Federica Sarro},
editor = {Una{-}May O'Reilly and
Xavier Devroey},
title = {Refining Fitness Functions for Search-Based Automated Program Repair
- {A} Case Study with {ARJA} and ARJA-e},
booktitle = {Search-Based Software Engineering - 13th International Symposium,
{SSBSE} 2021, Bari, Italy, October 11-12, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12914},
pages = {159--165},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88106-1\_12},
doi = {10.1007/978-3-030-88106-1\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/GuizzoBCPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-12075,
author = {Ibrahim Mesecan and
Daniel Blackwell and
David Clark and
Myra B. Cohen and
Justyna Petke},
title = {HyperGI: Automated Detection and Repair of Information Flow Leakage},
journal = {CoRR},
volume = {abs/2108.12075},
year = {2021},
url = {https://arxiv.org/abs/2108.12075},
eprinttype = {arXiv},
eprint = {2108.12075},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-12075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LangdonWPFLWBCB20,
author = {William B. Langdon and
Westley Weimer and
Justyna Petke and
Erik M. Fredericks and
Seongmin Lee and
Emily Winter and
Michail Basios and
Myra B. Cohen and
Aymeric Blot and
Markus Wagner and
Bobby R. Bruce and
Shin Yoo and
Simos Gerasimou and
Oliver Krauss and
Yu Huang and
Michael C. Gerten},
title = {Genetic Improvement @ {ICSE} 2020},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {4},
pages = {24--30},
year = {2020},
url = {https://doi.org/10.1145/3417564.3417575},
doi = {10.1145/3417564.3417575},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/LangdonWPFLWBCB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WuNPJH20,
author = {Huayao Wu and
Changhai Nie and
Justyna Petke and
Yue Jia and
Mark Harman},
title = {An Empirical Comparison of Combinatorial Testing, Random Testing and
Adaptive Random Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {46},
number = {3},
pages = {302--320},
year = {2020},
url = {https://doi.org/10.1109/TSE.2018.2852744},
doi = {10.1109/TSE.2018.2852744},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WuNPJH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/BrownleePR20,
author = {Alexander E. I. Brownlee and
Justyna Petke and
Anna F. Rasburn},
title = {Injecting Shortcuts for Faster Running Java Code},
booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2020, Glasgow,
United Kingdom, July 19-24, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CEC48606.2020.9185708},
doi = {10.1109/CEC48606.2020.9185708},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/BrownleePR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurogp/BlotP20,
author = {Aymeric Blot and
Justyna Petke},
editor = {Ting Hu and
Nuno Louren{\c{c}}o and
Eric Medvet and
Federico Divina},
title = {Comparing Genetic Programming Approaches for Non-functional Genetic
Improvement},
booktitle = {Genetic Programming - 23rd European Conference, EuroGP 2020, Held
as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12101},
pages = {68--83},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44094-7\_5},
doi = {10.1007/978-3-030-44094-7\_5},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurogp/BlotP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PetkeB20,
author = {Justyna Petke and
Aymeric Blot},
title = {Refining Fitness Functions in Test-Based Program Repair},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020},
pages = {13--14},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387940.3392180},
doi = {10.1145/3387940.3392180},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PetkeB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BlotP20,
author = {Aymeric Blot and
Justyna Petke},
title = {Synthetic Benchmarks for Genetic Improvement},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020},
pages = {287--288},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387940.3392175},
doi = {10.1145/3387940.3392175},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BlotP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BlotP20a,
author = {Aymeric Blot and
Justyna Petke},
title = {Stack-Based Genetic Improvement},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020},
pages = {289--290},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387940.3392174},
doi = {10.1145/3387940.3392174},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BlotP20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/LimGP20,
author = {Mingyi Lim and
Giovani Guizzo and
Justyna Petke},
editor = {Aldeida Aleti and
Annibale Panichella},
title = {Impact of Test Suite Coverage on Overfitting in Genetic Improvement
of Software},
booktitle = {Search-Based Software Engineering - 12th International Symposium,
{SSBSE} 2020, Bari, Italy, October 7-8, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12420},
pages = {188--203},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59762-7\_14},
doi = {10.1007/978-3-030-59762-7\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/LimGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15987,
author = {William B. Langdon and
Westley Weimer and
Justyna Petke and
Erik M. Fredericks and
Seongmin Lee and
Emily Winter and
Michail Basios and
Myra B. Cohen and
Aymeric Blot and
Markus Wagner and
Bobby R. Bruce and
Shin Yoo and
Simos Gerasimou and
Oliver Krauss and
Yu Huang and
Michael C. Gerten},
title = {Genetic Improvement @ {ICSE} 2020},
journal = {CoRR},
volume = {abs/2007.15987},
year = {2020},
url = {https://arxiv.org/abs/2007.15987},
eprinttype = {arXiv},
eprint = {2007.15987},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-15987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BrucePHB19,
author = {Bobby R. Bruce and
Justyna Petke and
Mark Harman and
Earl T. Barr},
title = {Approximate Oracles and Synergy in Software Energy Search Spaces},
journal = {{IEEE} Trans. Software Eng.},
volume = {45},
number = {11},
pages = {1150--1169},
year = {2019},
url = {https://doi.org/10.1109/TSE.2018.2827066},
doi = {10.1109/TSE.2018.2827066},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BrucePHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/LangdonP19,
author = {William B. Langdon and
Justyna Petke},
editor = {Manuel L{\'{o}}pez{-}Ib{\'{a}}{\~{n}}ez and
Anne Auger and
Thomas St{\"{u}}tzle},
title = {Genetic improvement of data gives binary logarithm from sqrt},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference
Companion, {GECCO} 2019, Prague, Czech Republic, July 13-17, 2019},
pages = {413--414},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319619.3321954},
doi = {10.1145/3319619.3321954},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/LangdonP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/BrownleePABWW19,
author = {Alexander E. I. Brownlee and
Justyna Petke and
Brad Alexander and
Earl T. Barr and
Markus Wagner and
David Robert White},
editor = {Anne Auger and
Thomas St{\"{u}}tzle},
title = {Gin: genetic improvement research made easy},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2019, Prague, Czech Republic, July 13-17, 2019},
pages = {985--993},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3321707.3321841},
doi = {10.1145/3321707.3321841},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/BrownleePABWW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/BlotP19,
author = {Aymeric Blot and
Justyna Petke},
editor = {Manuel L{\'{o}}pez{-}Ib{\'{a}}{\~{n}}ez and
Anne Auger and
Thomas St{\"{u}}tzle},
title = {On adaptive specialisation in genetic improvement},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference
Companion, {GECCO} 2019, Prague, Czech Republic, July 13-17, 2019},
pages = {1703--1704},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319619.3326839},
doi = {10.1145/3319619.3326839},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/BlotP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/PetkeABB0W19,
author = {Justyna Petke and
Brad Alexander and
Earl T. Barr and
Alexander E. I. Brownlee and
Markus Wagner and
David Robert White},
editor = {Manuel L{\'{o}}pez{-}Ib{\'{a}}{\~{n}}ez and
Anne Auger and
Thomas St{\"{u}}tzle},
title = {A survey of genetic improvement search spaces},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference
Companion, {GECCO} 2019, Prague, Czech Republic, July 13-17, 2019},
pages = {1715--1721},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319619.3326870},
doi = {10.1145/3319619.3326870},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/PetkeABB0W19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AnBPY19,
author = {Gabin An and
Aymeric Blot and
Justyna Petke and
Shin Yoo},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {PyGGI 2.0: language independent genetic improvement framework},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {1100--1104},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3341184},
doi = {10.1145/3338906.3341184},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AnBPY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/PetkeB19,
author = {Justyna Petke and
Alexander E. I. Brownlee},
editor = {Shiva Nejati and
Gregory Gay},
title = {Software Improvement with Gin: {A} Case Study},
booktitle = {Search-Based Software Engineering - 11th International Symposium,
{SSBSE} 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11664},
pages = {183--189},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27455-9\_14},
doi = {10.1007/978-3-030-27455-9\_14},
timestamp = {Thu, 09 Mar 2023 15:35:16 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/PetkeB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2019gi,
editor = {Justyna Petke and
Shin Hwei Tan and
William B. Langdon and
Westley Weimer},
title = {Proceedings of the 6th International Workshop on Genetic Improvement,
GI@ICSE 2019, Montreal, Quebec, Canada, May 28, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8820772/proceeding},
isbn = {978-1-7281-2268-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2019gi.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02480,
author = {Huayao Wu and
Changhai Nie and
Justyna Petke and
Yue Jia and
Mark Harman},
title = {A Survey of Constrained Combinatorial Testing},
journal = {CoRR},
volume = {abs/1908.02480},
year = {2019},
url = {http://arxiv.org/abs/1908.02480},
eprinttype = {arXiv},
eprint = {1908.02480},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/PetkeM18,
author = {Justyna Petke and
Tim Menzies},
title = {Guest Editorial for the Special Section from the 9th International
Symposium on Search Based Software Engineering},
journal = {Inf. Softw. Technol.},
volume = {104},
pages = {194},
year = {2018},
url = {https://doi.org/10.1016/j.infsof.2018.10.002},
doi = {10.1016/J.INFSOF.2018.10.002},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/PetkeM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tec/PetkeHHLWW18,
author = {Justyna Petke and
Saemundur O. Haraldsson and
Mark Harman and
William B. Langdon and
David Robert White and
John R. Woodward},
title = {Genetic Improvement of Software: {A} Comprehensive Survey},
journal = {{IEEE} Trans. Evol. Comput.},
volume = {22},
number = {3},
pages = {415--432},
year = {2018},
url = {https://doi.org/10.1109/TEVC.2017.2693219},
doi = {10.1109/TEVC.2017.2693219},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tec/PetkeHHLWW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PetkeHLW18,
author = {Justyna Petke and
Mark Harman and
William B. Langdon and
Westley Weimer},
title = {Specialising Software for Different Downstream Applications Using
Genetic Improvement and Code Transplantation},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {6},
pages = {574--594},
year = {2018},
url = {https://doi.org/10.1109/TSE.2017.2702606},
doi = {10.1109/TSE.2017.2702606},
timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PetkeHLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurogp/LangdonPL18,
author = {William B. Langdon and
Justyna Petke and
Ronny Lorenz},
editor = {Mauro Castelli and
Luk{\'{a}}s Sekanina and
Mengjie Zhang and
Stefano Cagnoni and
Pablo Garc{\'{\i}}a{-}S{\'{a}}nchez},
title = {Evolving Better RNAfold Structure Prediction},
booktitle = {Genetic Programming - 21st European Conference, EuroGP 2018, Parma,
Italy, April 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10781},
pages = {220--236},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77553-1\_14},
doi = {10.1007/978-3-319-77553-1\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurogp/LangdonPL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/LangdonP18,
author = {William B. Langdon and
Justyna Petke},
editor = {Thelma Elita Colanzi and
Phil McMinn},
title = {Evolving Better Software Parameters},
booktitle = {Search-Based Software Engineering - 10th International Symposium,
{SSBSE} 2018, Montpellier, France, September 8-9, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11036},
pages = {363--369},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99241-9\_22},
doi = {10.1007/978-3-319-99241-9\_22},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/LangdonP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018gi,
editor = {Justyna Petke and
Kathryn T. Stolee and
William B. Langdon and
Westley Weimer},
title = {Proceedings of the 4th International Genetic Improvement Workshop,
GI@ICSE 2018, Gothenburg, Sweden, June 2, 2018},
publisher = {{ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3194810},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2018gi.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/PetkeGFL18,
author = {Justyna Petke and
Claire {Le Goues} and
Stephanie Forrest and
William B. Langdon},
title = {Genetic Improvement of Software (Dagstuhl Seminar 18052)},
journal = {Dagstuhl Reports},
volume = {8},
number = {1},
pages = {158--182},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.1.158},
doi = {10.4230/DAGREP.8.1.158},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/PetkeGFL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cim/JiangTPH17,
author = {He Jiang and
Ke Tang and
Justyna Petke and
Mark Harman},
title = {Search Based Software Engineering [Guest Editorial]},
journal = {{IEEE} Comput. Intell. Mag.},
volume = {12},
number = {2},
pages = {23--71},
year = {2017},
url = {https://doi.org/10.1109/MCI.2017.2670459},
doi = {10.1109/MCI.2017.2670459},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cim/JiangTPH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gpem/Petke17,
author = {Justyna Petke},
title = {Preface to the Special Issue on Genetic Improvement},
journal = {Genet. Program. Evolvable Mach.},
volume = {18},
number = {1},
pages = {3--4},
year = {2017},
url = {https://doi.org/10.1007/s10710-016-9280-x},
doi = {10.1007/S10710-016-9280-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gpem/Petke17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gpem/LangdonLMPH17,
author = {William B. Langdon and
Brian Yee Hong Lam and
Marc Modat and
Justyna Petke and
Mark Harman},
title = {Genetic improvement of {GPU} software},
journal = {Genet. Program. Evolvable Mach.},
volume = {18},
number = {1},
pages = {5--44},
year = {2017},
url = {https://doi.org/10.1007/s10710-016-9273-9},
doi = {10.1007/S10710-016-9273-9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/gpem/LangdonLMPH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Petke17,
author = {Justyna Petke},
editor = {Peter A. N. Bosman},
title = {New operators for non-functional genetic improvement},
booktitle = {Genetic and Evolutionary Computation Conference, Berlin, Germany,
July 15-19, 2017, Companion Material Proceedings},
pages = {1541--1542},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3067695.3082520},
doi = {10.1145/3067695.3082520},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/Petke17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GaleottiP17,
author = {Juan Pablo Galeotti and
Justyna Petke},
title = {10th International Workshop on Search-Based Software Testing {(SBST}
2017)},
booktitle = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing,
SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},
pages = {1},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SBST.2017.16},
doi = {10.1109/SBST.2017.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GaleottiP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GargantiniPR17,
author = {Angelo Gargantini and
Justyna Petke and
Marco Radavelli},
title = {Combinatorial Interaction Testing for Automated Constraint Repair},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {239--248},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.44},
doi = {10.1109/ICSTW.2017.44},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GargantiniPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssbse/2017,
editor = {Tim Menzies and
Justyna Petke},
title = {Search Based Software Engineering - 9th International Symposium, {SSBSE}
2017, Paderborn, Germany, September 9-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10452},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66299-2},
doi = {10.1007/978-3-319-66299-2},
isbn = {978-3-319-66298-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/WeimerPW16,
author = {Westley Weimer and
Justyna Petke and
David Robert White},
editor = {Tobias Friedrich and
Frank Neumann and
Andrew M. Sutton},
title = {Genetic Improvement 2016 Chairs' Welcome {\&} Organization},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2016, Denver,
CO, USA, July 20-24, 2016, Companion Material Proceedings},
pages = {1129--1130},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908961.2931686},
doi = {10.1145/2908961.2931686},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/WeimerPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/LangdonVLPH16,
author = {William B. Langdon and
Albert Vilella and
Brian Yee Hong Lam and
Justyna Petke and
Mark Harman},
editor = {Tobias Friedrich and
Frank Neumann and
Andrew M. Sutton},
title = {Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation
{NGS} datasets and nVidia GPUs},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2016, Denver,
CO, USA, July 20-24, 2016, Companion Material Proceedings},
pages = {1131--1132},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908961.2931687},
doi = {10.1145/2908961.2931687},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/LangdonVLPH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Petke16,
author = {Justyna Petke},
editor = {Tobias Friedrich and
Frank Neumann and
Andrew M. Sutton},
title = {Genetic Improvement for Code Obfuscation},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2016, Denver,
CO, USA, July 20-24, 2016, Companion Material Proceedings},
pages = {1135--1136},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908961.2931689},
doi = {10.1145/2908961.2931689},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/Petke16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsn/LangdonPB16,
author = {William B. Langdon and
Justyna Petke and
Bobby R. Bruce},
editor = {Julia Handl and
Emma Hart and
Peter R. Lewis and
Manuel L{\'{o}}pez{-}Ib{\'{a}}{\~{n}}ez and
Gabriela Ochoa and
Ben Paechter},
title = {Optimising Quantisation Noise in Energy Measurement},
booktitle = {Parallel Problem Solving from Nature - {PPSN} {XIV} - 14th International
Conference, Edinburgh, UK, September 17-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9921},
pages = {249--259},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45823-6\_23},
doi = {10.1007/978-3-319-45823-6\_23},
timestamp = {Wed, 19 Jan 2022 09:30:47 +0100},
biburl = {https://dblp.org/rec/conf/ppsn/LangdonPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/GargantiniPRV16,
author = {Angelo Gargantini and
Justyna Petke and
Marco Radavelli and
Paolo Vavassori},
editor = {Federica Sarro and
Kalyanmoy Deb},
title = {Validation of Constraints Among Configuration Parameters Using Search-Based
Combinatorial Interaction Testing},
booktitle = {Search Based Software Engineering - 8th International Symposium, {SSBSE}
2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9962},
pages = {49--63},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47106-8\_4},
doi = {10.1007/978-3-319-47106-8\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/GargantiniPRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/LangdonWHJP16,
author = {William B. Langdon and
David Robert White and
Mark Harman and
Yue Jia and
Justyna Petke},
editor = {Federica Sarro and
Kalyanmoy Deb},
title = {API-Constrained Genetic Improvement},
booktitle = {Search Based Software Engineering - 8th International Symposium, {SSBSE}
2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9962},
pages = {224--230},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47106-8\_16},
doi = {10.1007/978-3-319-47106-8\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/LangdonWHJP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/BruceAP16,
author = {Bobby R. Bruce and
Jonathan M. Aitken and
Justyna Petke},
editor = {Federica Sarro and
Kalyanmoy Deb},
title = {Deep Parameter Optimisation for Face Detection Using the Viola-Jones
Algorithm in OpenCV},
booktitle = {Search Based Software Engineering - 8th International Symposium, {SSBSE}
2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9962},
pages = {238--243},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47106-8\_18},
doi = {10.1007/978-3-319-47106-8\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/BruceAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Petke15,
author = {Justyna Petke},
title = {Bridging Constraint Satisfaction and Boolean Satisfiability},
series = {Artificial Intelligence: Foundations, Theory, and Algorithms},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21810-6},
doi = {10.1007/978-3-319-21810-6},
isbn = {978-3-319-21809-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Petke15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PetkeCHY15,
author = {Justyna Petke and
Myra B. Cohen and
Mark Harman and
Shin Yoo},
title = {Practical Combinatorial Interaction Testing: Empirical Findings on
Efficiency and Early Fault Detection},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {9},
pages = {901--924},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2421279},
doi = {10.1109/TSE.2015.2421279},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PetkeCHY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/HarmanP15,
author = {Mark Harman and
Justyna Petke},
editor = {Sara Silva and
Anna Isabel Esparcia{-}Alc{\'{a}}zar},
title = {{GI4GI:} Improving Genetic Improvement Fitness Functions},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2015, Madrid,
Spain, July 11-15, 2015, Companion Material Proceedings},
pages = {793--794},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2739482.2768415},
doi = {10.1145/2739482.2768415},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/HarmanP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/LangdonLPH15,
author = {William B. Langdon and
Brian Yee Hong Lam and
Justyna Petke and
Mark Harman},
editor = {Sara Silva and
Anna Isabel Esparcia{-}Alc{\'{a}}zar},
title = {Improving {CUDA} {DNA} Analysis Software with Genetic Programming},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2015, Madrid, Spain, July 11-15, 2015},
pages = {1063--1070},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2739480.2754652},
doi = {10.1145/2739480.2754652},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/LangdonLPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/BrucePH15,
author = {Bobby R. Bruce and
Justyna Petke and
Mark Harman},
editor = {Sara Silva and
Anna Isabel Esparcia{-}Alc{\'{a}}zar},
title = {Reducing Energy Consumption Using Genetic Improvement},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2015, Madrid, Spain, July 11-15, 2015},
pages = {1327--1334},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2739480.2754752},
doi = {10.1145/2739480.2754752},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/BrucePH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Petke15,
author = {Justyna Petke},
editor = {Gregory Gay and
Giuliano Antoniol},
title = {Constraints: The Future of Combinatorial Interaction Testing},
booktitle = {8th {IEEE/ACM} International Workshop on Search-Based Software Testing,
{SBST} 2015, Florence, Italy, May 18-19, 2015},
pages = {17--18},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SBST.2015.11},
doi = {10.1109/SBST.2015.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Petke15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JiaCHP15,
author = {Yue Jia and
Myra B. Cohen and
Mark Harman and
Justyna Petke},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Learning Combinatorial Interaction Test Generation Strategies Using
Hyperheuristic Search},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {540--550},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.71},
doi = {10.1109/ICSE.2015.71},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/JiaCHP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BarrHJMP15,
author = {Earl T. Barr and
Mark Harman and
Yue Jia and
Alexandru Marginean and
Justyna Petke},
editor = {Michal Young and
Tao Xie},
title = {Automated software transplantation},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {257--269},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771796},
doi = {10.1145/2771783.2771796},
timestamp = {Fri, 05 Nov 2021 10:54:23 +0100},
biburl = {https://dblp.org/rec/conf/issta/BarrHJMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/Petke15,
author = {Justyna Petke},
editor = {M{\'{a}}rcio de Oliveira Barros and
Yvan Labiche},
title = {Testing Django Configurations Using Combinatorial Interaction Testing},
booktitle = {Search-Based Software Engineering - 7th International Symposium, {SSBSE}
2015, Bergamo, Italy, September 5-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9275},
pages = {242--247},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22183-0\_18},
doi = {10.1007/978-3-319-22183-0\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/Petke15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurogp/PetkeHLW14,
author = {Justyna Petke and
Mark Harman and
William B. Langdon and
Westley Weimer},
editor = {Miguel Nicolau and
Krzysztof Krawiec and
Malcolm I. Heywood and
Mauro Castelli and
Pablo Garc{\'{\i}}a{-}S{\'{a}}nchez and
Juan Juli{\'{a}}n Merelo Guerv{\'{o}}s and
V{\'{\i}}ctor Manuel Rivas Santos and
Kevin Sim},
title = {Using Genetic Improvement and Code Transplants to Specialise a {C++}
Program to a Problem Class},
booktitle = {Genetic Programming - 17th European Conference, EuroGP 2014, Granada,
Spain, April 23-25, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8599},
pages = {137--149},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44303-3\_12},
doi = {10.1007/978-3-662-44303-3\_12},
timestamp = {Sun, 25 Jul 2021 11:44:36 +0200},
biburl = {https://dblp.org/rec/conf/eurogp/PetkeHLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/LangdonMPH14,
author = {William B. Langdon and
Marc Modat and
Justyna Petke and
Mark Harman},
editor = {Dirk V. Arnold},
title = {Improving 3D medical image registration {CUDA} software with genetic
programming},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} '14, Vancouver,
BC, Canada, July 12-16, 2014},
pages = {951--958},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2576768.2598244},
doi = {10.1145/2576768.2598244},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/LangdonMPH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HarmanJLPMYW14,
author = {Mark Harman and
Yue Jia and
William B. Langdon and
Justyna Petke and
Iman Hemati Moghadam and
Shin Yoo and
Fan Wu},
editor = {Gregor Engels and
Nelly Bencomo},
title = {Genetic improvement for adaptive software engineering (keynote)},
booktitle = {9th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2014, Proceedings, Hyderabad, India,
June 2-3, 2014},
pages = {1--4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593929.2600116},
doi = {10.1145/2593929.2600116},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/HarmanJLPMYW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HarmanJKLPZ14,
author = {Mark Harman and
Yue Jia and
Jens Krinke and
William B. Langdon and
Justyna Petke and
Yuanyuan Zhang},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {Search based software engineering for software product line engineering:
a survey and directions for future work},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {5--18},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648513},
doi = {10.1145/2648511.2648513},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/splc/HarmanJKLPZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JeavonsP14,
author = {Peter Jeavons and
Justyna Petke},
title = {Local Consistency and SAT-Solvers},
journal = {CoRR},
volume = {abs/1401.4613},
year = {2014},
url = {http://arxiv.org/abs/1401.4613},
eprinttype = {arXiv},
eprint = {1401.4613},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JeavonsP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/RazgonP13,
author = {Igor Razgon and
Justyna Petke},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Cliquewidth and Knowledge Compilation},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {335--350},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_25},
doi = {10.1007/978-3-642-39071-5\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/RazgonP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PetkeYCH13,
author = {Justyna Petke and
Shin Yoo and
Myra B. Cohen and
Mark Harman},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Efficiency and early fault detection with lower and higher strength
combinatorial interaction testing},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {26--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491436},
doi = {10.1145/2491411.2491436},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PetkeYCH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/PetkeLH13,
author = {Justyna Petke and
William B. Langdon and
Mark Harman},
editor = {G{\"{u}}nther Ruhe and
Yuanyuan Zhang},
title = {Applying Genetic Improvement to MiniSAT},
booktitle = {Search Based Software Engineering - 5th International Symposium, {SSBSE}
2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8084},
pages = {257--262},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39742-4\_21},
doi = {10.1007/978-3-642-39742-4\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/PetkeLH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-4081,
author = {Igor Razgon and
Justyna Petke},
title = {Cliquewidth and Knowledge Compilation},
journal = {CoRR},
volume = {abs/1303.4081},
year = {2013},
url = {http://arxiv.org/abs/1303.4081},
eprinttype = {arXiv},
eprint = {1303.4081},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-4081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Petke12,
author = {Justyna Petke},
title = {On the bridge between constraint satisfaction and Boolean satisfiability},
school = {University of Oxford, {UK}},
year = {2012},
url = {http://ora.ox.ac.uk/objects/uuid:53bf6d0e-74eb-4c50-a1a2-c8da6773beae},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Petke12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/JeavonsP12,
author = {Peter Jeavons and
Justyna Petke},
title = {Local Consistency and SAT-Solvers},
journal = {J. Artif. Intell. Res.},
volume = {43},
pages = {329--351},
year = {2012},
url = {https://doi.org/10.1613/jair.3531},
doi = {10.1613/JAIR.3531},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/JeavonsP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PetkeJ11,
author = {Justyna Petke and
Peter Jeavons},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {The Order Encoding: From Tractable {CSP} to Tractable {SAT}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6695},
pages = {371--372},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_34},
doi = {10.1007/978-3-642-21581-0\_34},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/PetkeJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PetkeJ10,
author = {Justyna Petke and
Peter Jeavons},
editor = {David Cohen},
title = {Local Consistency and SAT-Solvers},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {398--413},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_33},
doi = {10.1007/978-3-642-15396-9\_33},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PetkeJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-16 19:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
