Justyna Petke
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j8]Justyna Petke, Tim Menzies:
Guest Editorial for the Special Section from the 9th International Symposium on Search Based Software Engineering. Information & Software Technology 104: 194 (2018) - [j7]Justyna Petke, Saemundur O. Haraldsson, Mark Harman, William B. Langdon, David Robert White, John R. Woodward:
Genetic Improvement of Software: A Comprehensive Survey. IEEE Trans. Evolutionary Computation 22(3): 415-432 (2018) - [j6]Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer:
Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation. IEEE Trans. Software Eng. 44(6): 574-594 (2018) - [c28]William B. Langdon, Justyna Petke, Ronny Lorenz:
Evolving Better RNAfold Structure Prediction. EuroGP 2018: 220-236 - [c27]
- [e2]Justyna Petke, Kathryn T. Stolee, William B. Langdon, Westley Weimer:
Proceedings of the 4th International Genetic Improvement Workshop, GI@ICSE 2018, Gothenburg, Sweden, June 2, 2018. ACM 2018 [contents] - [i3]Justyna Petke, Claire Le Goues, Stephanie Forrest, William B. Langdon:
Genetic Improvement of Software (Dagstuhl Seminar 18052). Dagstuhl Reports 8(1): 158-182 (2018) - 2017
- [j5]He Jiang, Ke Tang, Justyna Petke, Mark Harman:
Search Based Software Engineering [Guest Editorial]. IEEE Comp. Int. Mag. 12(2): 23-71 (2017) - [j4]Justyna Petke:
Preface to the Special Issue on Genetic Improvement. Genetic Programming and Evolvable Machines 18(1): 3-4 (2017) - [j3]William B. Langdon, Brian Yee Hong Lam, Marc Modat, Justyna Petke, Mark Harman:
Genetic improvement of GPU software. Genetic Programming and Evolvable Machines 18(1): 5-44 (2017) - [c26]Justyna Petke:
New operators for non-functional genetic improvement. GECCO (Companion) 2017: 1541-1542 - [c25]Juan Pablo Galeotti, Justyna Petke:
10th International Workshop on Search-Based Software Testing (SBST 2017). SBST@ICSE 2017: 1 - [c24]Angelo Gargantini, Justyna Petke, Marco Radavelli:
Combinatorial Interaction Testing for Automated Constraint Repair. ICST Workshops 2017: 239-248 - [e1]Tim Menzies, Justyna Petke:
Search Based Software Engineering - 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings. Lecture Notes in Computer Science 10452, Springer 2017, ISBN 978-3-319-66298-5 [contents] - 2016
- [c23]Westley Weimer, Justyna Petke, David Robert White:
Genetic Improvement 2016 Chairs' Welcome & Organization. GECCO (Companion) 2016: 1129-1130 - [c22]William B. Langdon, Albert Vilella, Brian Yee Hong Lam, Justyna Petke, Mark Harman:
Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation NGS datasets and nVidia GPUs. GECCO (Companion) 2016: 1131-1132 - [c21]
- [c20]William B. Langdon, Justyna Petke, Bobby R. Bruce:
Optimising Quantisation Noise in Energy Measurement. PPSN 2016: 249-259 - [c19]Angelo Gargantini, Justyna Petke, Marco Radavelli, Paolo Vavassori:
Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing. SSBSE 2016: 49-63 - [c18]William B. Langdon, David Robert White, Mark Harman, Yue Jia, Justyna Petke:
API-Constrained Genetic Improvement. SSBSE 2016: 224-230 - [c17]Bobby R. Bruce, Jonathan M. Aitken, Justyna Petke:
Deep Parameter Optimisation for Face Detection Using the Viola-Jones Algorithm in OpenCV. SSBSE 2016: 238-243 - 2015
- [b2]Justyna Petke:
Bridging Constraint Satisfaction and Boolean Satisfiability. Artificial Intelligence: Foundations, Theory, and Algorithms, Springer 2015, ISBN 978-3-319-21809-0, pp. 1-103 - [j2]Justyna Petke, Myra B. Cohen, Mark Harman, Shin Yoo:
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection. IEEE Trans. Software Eng. 41(9): 901-924 (2015) - [c16]Mark Harman, Justyna Petke:
GI4GI: Improving Genetic Improvement Fitness Functions. GECCO (Companion) 2015: 793-794 - [c15]William B. Langdon, Brian Yee Hong Lam, Justyna Petke, Mark Harman:
Improving CUDA DNA Analysis Software with Genetic Programming. GECCO 2015: 1063-1070 - [c14]Bobby R. Bruce, Justyna Petke, Mark Harman:
Reducing Energy Consumption Using Genetic Improvement. GECCO 2015: 1327-1334 - [c13]
- [c12]Yue Jia, Myra B. Cohen, Mark Harman, Justyna Petke:
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search. ICSE (1) 2015: 540-550 - [c11]Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, Justyna Petke:
Automated software transplantation. ISSTA 2015: 257-269 - [c10]Justyna Petke:
Testing Django Configurations Using Combinatorial Interaction Testing. SSBSE 2015: 242-247 - 2014
- [c9]Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer:
Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class. EuroGP 2014: 137-149 - [c8]William B. Langdon, Marc Modat, Justyna Petke, Mark Harman:
Improving 3D medical image registration CUDA software with genetic programming. GECCO 2014: 951-958 - [c7]Mark Harman, Yue Jia, William B. Langdon, Justyna Petke, Iman Hemati Moghadam, Shin Yoo, Fan Wu:
Genetic improvement for adaptive software engineering (keynote). SEAMS 2014: 1-4 - [c6]Mark Harman, Yue Jia, Jens Krinke, William B. Langdon, Justyna Petke, Yuanyuan Zhang:
Search based software engineering for software product line engineering: a survey and directions for future work. SPLC 2014: 5-18 - [i2]
- 2013
- [c5]
- [c4]Justyna Petke, Shin Yoo, Myra B. Cohen, Mark Harman:
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing. ESEC/SIGSOFT FSE 2013: 26-36 - [c3]Justyna Petke, William B. Langdon, Mark Harman:
Applying Genetic Improvement to MiniSAT. SSBSE 2013: 257-262 - [i1]
- 2012
- [b1]Justyna Petke:
On the bridge between constraint satisfaction and Boolean satisfiability. University of Oxford, UK 2012 - [j1]Peter Jeavons, Justyna Petke:
Local Consistency and SAT-Solvers. J. Artif. Intell. Res. 43: 329-351 (2012) - 2011
- [c2]Justyna Petke, Peter Jeavons:
The Order Encoding: From Tractable CSP to Tractable SAT. SAT 2011: 371-372 - 2010
- [c1]
Coauthor Index
last updated on 2019-02-13 21:47 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint