@article{MarculescuFTP15,
  title = {An initial industrial evaluation of interactive search-based testing for embedded software},
  author = {Bogdan Marculescu and Robert Feldt and Richard Torkar and Simon M. Poulding},
  year = {2015},
  doi = {10.1016/j.asoc.2014.12.025},
  url = {http://dx.doi.org/10.1016/j.asoc.2014.12.025},
  researchr = {https://researchr.org/publication/MarculescuFTP15},
  cites = {0},
  citedby = {0},
  journal = {asc},
  volume = {29},
  pages = {26-39},
}

@inproceedings{FeldtP15,
  title = {Broadening the Search in Search-Based Software Testing: It Need Not Be Evolutionary},
  author = {Robert Feldt and Simon M. Poulding},
  year = {2015},
  doi = {10.1109/SBST.2015.8},
  url = {http://dx.doi.org/10.1109/SBST.2015.8},
  researchr = {https://researchr.org/publication/FeldtP15},
  cites = {0},
  citedby = {0},
  pages = {1-7},
  booktitle = {ICSE},
}

@article{PouldingC10,
  title = {Efficient Software Verification: Statistical Testing Using Automated Search},
  author = {Simon M. Poulding and John A. Clark},
  year = {2010},
  doi = {10.1109/TSE.2010.24},
  url = {http://dx.doi.org/10.1109/TSE.2010.24},
  tags = {testing, search},
  researchr = {https://researchr.org/publication/PouldingC10},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {36},
  number = {6},
  pages = {763-777},
}

@article{PouldingACH15,
  title = {The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing},
  author = {Simon M. Poulding and R. Alexander and J. A. Clark and Mark J. Hadley},
  year = {2015},
  doi = {10.1016/j.jss.2014.11.042},
  url = {http://dx.doi.org/10.1016/j.jss.2014.11.042},
  researchr = {https://researchr.org/publication/PouldingACH15},
  cites = {0},
  citedby = {0},
  journal = {jss},
  volume = {103},
  pages = {296-310},
}

@inproceedings{PouldingW14,
  title = {Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles},
  author = {Simon M. Poulding and Hélène Waeselynck},
  year = {2014},
  doi = {10.1109/ICST.2014.42},
  url = {http://dx.doi.org/10.1109/ICST.2014.42},
  researchr = {https://researchr.org/publication/PouldingW14},
  cites = {0},
  citedby = {0},
  pages = {293-302},
  booktitle = {icst},
}

@inproceedings{PouldingF15-0,
  title = {Heuristic Model Checking using a Monte-Carlo Tree Search Algorithm},
  author = {Simon M. Poulding and Robert Feldt},
  year = {2015},
  doi = {10.1145/2739480.2754767},
  url = {http://doi.acm.org/10.1145/2739480.2754767},
  researchr = {https://researchr.org/publication/PouldingF15-0},
  cites = {0},
  citedby = {0},
  pages = {1359-1366},
  booktitle = {gecco},
}

@inproceedings{PouldingCW11,
  title = {A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing},
  author = {Simon M. Poulding and John A. Clark and Hélène Waeselynck},
  year = {2011},
  doi = {10.1109/ICSTW.2011.36},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2011.36},
  researchr = {https://researchr.org/publication/PouldingCW11},
  cites = {0},
  citedby = {0},
  pages = {184-193},
  booktitle = {icst},
}

@article{RoseKPPP14,
  title = {Epsilon Flock: a model migration language},
  author = {Louis M. Rose and Dimitrios S. Kolovos and Richard F. Paige and Fiona A. C. Polack and Simon M. Poulding},
  year = {2014},
  doi = {10.1007/s10270-012-0296-2},
  url = {http://dx.doi.org/10.1007/s10270-012-0296-2},
  researchr = {https://researchr.org/publication/RoseKPPP14},
  cites = {0},
  citedby = {0},
  journal = {SoSyM},
  volume = {13},
  number = {2},
  pages = {735-755},
}

@inproceedings{PouldingF15,
  title = {Re-Using Generators of Complex Test Data},
  author = {Simon M. Poulding and Robert Feldt},
  year = {2015},
  doi = {10.1109/ICST.2015.7102605},
  url = {http://dx.doi.org/10.1109/ICST.2015.7102605},
  researchr = {https://researchr.org/publication/PouldingF15},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {icst},
}

@article{BateP11,
  title = {Editorial for the special issue on search-based software engineering},
  author = {Iain Bate and Simon M. Poulding},
  year = {2011},
  doi = {10.1002/spe.1056},
  url = {http://dx.doi.org/10.1002/spe.1056},
  tags = {rule-based, software engineering, search},
  researchr = {https://researchr.org/publication/BateP11},
  cites = {0},
  citedby = {0},
  journal = {SPE},
  volume = {41},
  number = {5},
  pages = {467-468},
}

@inproceedings{RosePFP13,
  title = {Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing},
  author = {Louis M. Rose and Simon M. Poulding and Robert Feldt and Richard F. Paige},
  year = {2013},
  doi = {10.1109/ICSM.2013.77},
  url = {http://dx.doi.org/10.1109/ICSM.2013.77},
  researchr = {https://researchr.org/publication/RosePFP13},
  cites = {0},
  citedby = {0},
  pages = {480-483},
  booktitle = {ICSM},
}

@inproceedings{BurtonPRKPS12,
  title = {Solving Acquisition Problems Using Model-Driven Engineering},
  author = {Frank R. Burton and Richard F. Paige and Louis M. Rose and Dimitrios S. Kolovos and Simon M. Poulding and Simon Smith},
  year = {2012},
  doi = {10.1007/978-3-642-31491-9_32},
  url = {http://dx.doi.org/10.1007/978-3-642-31491-9_32},
  researchr = {https://researchr.org/publication/BurtonPRKPS12},
  cites = {0},
  citedby = {0},
  pages = {428-443},
  booktitle = {ECMDA-FA},
}

@inproceedings{BurtonPPS14,
  title = {System of Systems Acquisition Trade-offs},
  author = {Frank R. Burton and Richard F. Paige and Simon M. Poulding and Simon Smith},
  year = {2014},
  doi = {10.1016/j.procs.2014.03.002},
  url = {http://dx.doi.org/10.1016/j.procs.2014.03.002},
  researchr = {https://researchr.org/publication/BurtonPPS14},
  cites = {0},
  citedby = {0},
  pages = {11-18},
  booktitle = {cser},
}

@inproceedings{ClarkFPY15,
  title = {Information Transformation: An Underpinning Theory for Software Engineering},
  author = {David Clark and Robert Feldt and Simon M. Poulding and Shin Yoo},
  year = {2015},
  doi = {10.1109/ICSE.2015.202},
  url = {http://dx.doi.org/10.1109/ICSE.2015.202},
  researchr = {https://researchr.org/publication/ClarkFPY15},
  cites = {0},
  citedby = {0},
  pages = {599-602},
  booktitle = {ICSE},
}

@inproceedings{PaigeBGPBP12,
  title = {Revealing Complexity through Domain-Specific Modelling and Analysis},
  author = {Richard F. Paige and Phillip J. Brooke and Xiaocheng Ge and Christopher Power and Frank R. Burton and Simon M. Poulding},
  year = {2012},
  doi = {10.1007/978-3-642-34059-8_13},
  url = {http://dx.doi.org/10.1007/978-3-642-34059-8_13},
  researchr = {https://researchr.org/publication/PaigeBGPBP12},
  cites = {0},
  citedby = {0},
  pages = {251-265},
  booktitle = {monterey},
}

@inproceedings{NeumannHP15,
  title = {Transformed Vargha-Delaney Effect Size},
  author = {Geoffrey Neumann and Mark Harman and Simon M. Poulding},
  year = {2015},
  doi = {10.1007/978-3-319-22183-0_29},
  url = {http://dx.doi.org/10.1007/978-3-319-22183-0_29},
  researchr = {https://researchr.org/publication/NeumannHP15},
  cites = {0},
  citedby = {0},
  pages = {318-324},
  booktitle = {ssbse},
}

@inproceedings{WhiteCJP08,
  title = {Searching for resource-efficient programs: low-power pseudorandom number generators},
  author = {David Robert White and John Clark and Jeremy Jacob and Simon M. Poulding},
  year = {2008},
  doi = {10.1145/1389095.1389437},
  url = {http://doi.acm.org/10.1145/1389095.1389437},
  researchr = {https://researchr.org/publication/WhiteCJP08},
  cites = {0},
  citedby = {0},
  pages = {1775-1782},
  booktitle = {gecco},
}

@inproceedings{BauersfeldVLPC13,
  title = {Unit Testing Tool Competition},
  author = {Sebastian Bauersfeld and Tanja E. J. Vos and Kiran Lakhotia and Simon M. Poulding and Nelly Condori-Fernández},
  year = {2013},
  doi = {10.1109/ICSTW.2013.55},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.55},
  researchr = {https://researchr.org/publication/BauersfeldVLPC13},
  cites = {0},
  citedby = {0},
  pages = {414-420},
  booktitle = {icst},
}

@inproceedings{AitkenAKP12,
  title = {Evolving Robust Networks for Systems-of-Systems},
  author = {Jonathan M. Aitken and Robert Alexander and Tim Kelly and Simon M. Poulding},
  year = {2012},
  doi = {10.1007/978-3-642-33119-0_4},
  url = {http://dx.doi.org/10.1007/978-3-642-33119-0_4},
  researchr = {https://researchr.org/publication/AitkenAKP12},
  cites = {0},
  citedby = {0},
  pages = {30-44},
  booktitle = {ssbse},
}

@inproceedings{Poulding12,
  title = {Tutorial: High Performance SBSE Using Commodity Graphics Cards},
  author = {Simon M. Poulding},
  year = {2012},
  doi = {10.1007/978-3-642-33119-0_3},
  url = {http://dx.doi.org/10.1007/978-3-642-33119-0_3},
  researchr = {https://researchr.org/publication/Poulding12},
  cites = {0},
  citedby = {0},
  pages = {29},
  booktitle = {ssbse},
}

@inproceedings{PouldingEBC07,
  title = {An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms},
  author = {Simon M. Poulding and Paul Emberson and Iain Bate and John Clark},
  year = {2007},
  doi = {10.1109/HASE.2007.19},
  url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.19},
  tags = {rule-based, search, design},
  researchr = {https://researchr.org/publication/PouldingEBC07},
  cites = {0},
  citedby = {0},
  pages = {53-62},
  booktitle = {hase},
}

@inproceedings{PouldingF14,
  title = {Generating structured test data with specific properties using nested Monte-Carlo search},
  author = {Simon M. Poulding and Robert Feldt},
  year = {2014},
  doi = {10.1145/2576768.2598339},
  url = {http://doi.acm.org/10.1145/2576768.2598339},
  researchr = {https://researchr.org/publication/PouldingF14},
  cites = {0},
  citedby = {0},
  pages = {1279-1286},
  booktitle = {gecco},
}

@inproceedings{WhiteP09,
  title = {A Rigorous Evaluation of Crossover and Mutation in Genetic Programming},
  author = {David Robert White and Simon M. Poulding},
  year = {2009},
  doi = {10.1007/978-3-642-01181-8_19},
  url = {http://dx.doi.org/10.1007/978-3-642-01181-8_19},
  tags = {programming, genetic programming},
  researchr = {https://researchr.org/publication/WhiteP09},
  cites = {0},
  citedby = {0},
  pages = {220-231},
  booktitle = {eurogp},
}

@inproceedings{WilliamsPPP13,
  title = {Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour},
  author = {James R. Williams and Simon M. Poulding and Richard F. Paige and Fiona Polack},
  year = {2013},
  url = {http://ceur-ws.org/Vol-1079/mrt13_submission_9.pdf},
  researchr = {https://researchr.org/publication/WilliamsPPP13},
  cites = {0},
  citedby = {0},
  pages = {76-88},
  booktitle = {MoDELS},
}

@inproceedings{FeldtP13,
  title = {Finding test data with specific properties via metaheuristic search},
  author = {Robert Feldt and Simon M. Poulding},
  year = {2013},
  doi = {10.1109/ISSRE.2013.6698888},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2013.6698888},
  researchr = {https://researchr.org/publication/FeldtP13},
  cites = {0},
  citedby = {0},
  pages = {350-359},
  booktitle = {issre},
}

@inproceedings{PoskittP13,
  title = {Using Contracts to Guide the Search-Based Verification of Concurrent Programs},
  author = {Christopher M. Poskitt and Simon M. Poulding},
  year = {2013},
  doi = {10.1007/978-3-642-39742-4_22},
  url = {http://dx.doi.org/10.1007/978-3-642-39742-4_22},
  researchr = {https://researchr.org/publication/PoskittP13},
  cites = {0},
  citedby = {0},
  pages = {263-268},
  booktitle = {ssbse},
}

@article{AitkenAKP14,
  title = {Evolving robust networks for systems-of-systems: is it viable for large networks?},
  author = {Jonathan M. Aitken and Robert Alexander and Tim Kelly and Simon M. Poulding},
  year = {2014},
  doi = {10.1007/s10664-013-9295-3},
  url = {http://dx.doi.org/10.1007/s10664-013-9295-3},
  researchr = {https://researchr.org/publication/AitkenAKP14},
  cites = {0},
  citedby = {0},
  journal = {ese},
  volume = {19},
  number = {5},
  pages = {1502-1530},
}

@inproceedings{BurtonP13,
  title = {Complementing metaheuristic search with higher abstraction techniques},
  author = {Frank R. Burton and Simon M. Poulding},
  year = {2013},
  doi = {10.1109/CMSBSE.2013.6604436},
  url = {http://dx.doi.org/10.1109/CMSBSE.2013.6604436},
  researchr = {https://researchr.org/publication/BurtonP13},
  cites = {0},
  citedby = {0},
  pages = {45-48},
  booktitle = {ICSE},
}

@inproceedings{PouldingV13,
  title = {Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary},
  author = {Simon M. Poulding and Tanja E. J. Vos},
  year = {2013},
  doi = {10.1109/ICSTW.2013.68},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.68},
  researchr = {https://researchr.org/publication/PouldingV13},
  cites = {0},
  citedby = {0},
  pages = {404-405},
  booktitle = {icst},
}

@inproceedings{WilliamsPRPP11,
  title = {Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels},
  author = {James R. Williams and Simon M. Poulding and Louis M. Rose and Richard F. Paige and Fiona A. C. Polack},
  year = {2011},
  doi = {10.1007/978-3-642-23716-4_13},
  url = {http://dx.doi.org/10.1007/978-3-642-23716-4_13},
  researchr = {https://researchr.org/publication/WilliamsPRPP11},
  cites = {0},
  citedby = {0},
  pages = {112-126},
  booktitle = {ssbse},
}

@inproceedings{RhysPC09,
  title = {Using automated search to generate test data for matlab},
  author = {Sion Ll Rhys and Simon M. Poulding and John A. Clark},
  year = {2009},
  doi = {10.1145/1569901.1570128},
  url = {http://doi.acm.org/10.1145/1569901.1570128},
  tags = {testing, data-flow, search},
  researchr = {https://researchr.org/publication/RhysPC09},
  cites = {0},
  citedby = {0},
  pages = {1697-1704},
  booktitle = {gecco},
}

@article{PentaP11,
  title = {Introduction to the special issue on search based software engineering},
  author = {Massimiliano Di Penta and Simon M. Poulding},
  year = {2011},
  doi = {10.1007/s10664-011-9154-z},
  url = {http://dx.doi.org/10.1007/s10664-011-9154-z},
  tags = {rule-based, software engineering, search},
  researchr = {https://researchr.org/publication/PentaP11},
  cites = {0},
  citedby = {0},
  journal = {ese},
  volume = {16},
  number = {1},
  pages = {1-4},
}

@inproceedings{TrillaPR15,
  title = {Weaving Parallel Threads - Searching for Useful Parallelism in Functional Programs},
  author = {José Manuel Calderón Trilla and Simon M. Poulding and Colin Runciman},
  year = {2015},
  doi = {10.1007/978-3-319-22183-0_5},
  url = {http://dx.doi.org/10.1007/978-3-319-22183-0_5},
  researchr = {https://researchr.org/publication/TrillaPR15},
  cites = {0},
  citedby = {0},
  pages = {62-76},
  booktitle = {ssbse},
}

@inproceedings{RoseP13,
  title = {Efficient probabilistic testing of model transformations using search},
  author = {Louis M. Rose and Simon M. Poulding},
  year = {2013},
  doi = {10.1109/CMSBSE.2013.6604431},
  url = {http://dx.doi.org/10.1109/CMSBSE.2013.6604431},
  researchr = {https://researchr.org/publication/RoseP13},
  cites = {0},
  citedby = {0},
  pages = {16-21},
  booktitle = {ICSE},
}

@inproceedings{Poulding13,
  title = {Modelling and search: Efficient, practical, and innovative approaches to software engineering},
  author = {Simon M. Poulding},
  year = {2013},
  doi = {10.1109/CMSBSE.2013.6604428},
  url = {http://dx.doi.org/10.1109/CMSBSE.2013.6604428},
  researchr = {https://researchr.org/publication/Poulding13},
  cites = {0},
  citedby = {0},
  pages = {7},
  booktitle = {ICSE},
}

@inproceedings{PouldingACH13,
  title = {The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing},
  author = {Simon M. Poulding and Robert Alexander and John A. Clark and Mark J. Hadley},
  year = {2013},
  doi = {10.1145/2463372.2463550},
  url = {http://doi.acm.org/10.1145/2463372.2463550},
  researchr = {https://researchr.org/publication/PouldingACH13},
  cites = {0},
  citedby = {0},
  pages = {1477-1484},
  booktitle = {gecco},
}