@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 = {Appl. Soft Comput.},
  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 = {8th IEEE/ACM International Workshop on Search-Based Software Testing, SBST 2015, Florence, Italy, May 18-19, 2015},
  publisher = {IEEE},
  isbn = {978-1-4673-7079-0},
}

@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 = {IEEE Trans. Software Eng.},
  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 = {Journal of Systems and Software},
  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 = {IEEE Seventh International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA},
  publisher = {IEEE},
  isbn = {978-0-7695-5185-2},
}

@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 = {Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015},
  editor = {Juan Luis Jiménez Laredo and Sara Silva and Anna Isabel Esparcia-Alcázar},
  publisher = {ACM},
  isbn = {978-1-4503-3472-3},
}

@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 = {Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings},
  publisher = {IEEE Computer Society},
}

@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 = {Software and Systems Modeling},
  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 = {8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015},
  publisher = {IEEE},
  isbn = {978-1-4799-7125-1},
}

@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 = {Software: Practice and Experience},
  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 = {2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28, 2013},
  publisher = {IEEE},
}

@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 = {Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings},
  editor = {Antonio Vallecillo and Juha-Pekka Tolvanen and Ekkart Kindler and Harald Störrle and Dimitrios S. Kolovos},
  volume = {7349},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31490-2},
}

@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 = {Proceedings of the Conference on Systems Engineering Research, CSER 2014, Redondo Beach, CA, USA, March 20-22, 2014},
  editor = {Azad M. Madni and Barry W. Boehm},
  volume = {28},
  series = {Procedia Computer Science},
  publisher = {Elsevier},
}

@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 = {37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  publisher = {IEEE},
}

@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 = {Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers},
  editor = {Radu Calinescu and David Garlan},
  volume = {7539},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-34058-1},
}

@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 = {Search-Based Software Engineering - 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings},
  editor = {Márcio de Oliveira Barros and Yvan Labiche},
  volume = {9275},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-22182-3},
}

@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 = {Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008},
  editor = {Conor Ryan and Maarten Keijzer},
  publisher = {ACM},
  isbn = {978-1-60558-130-9},
}

@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 = {2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013},
  publisher = {IEEE},
  isbn = {978-1-4799-1324-4},
}

@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 = {Search Based Software Engineering - 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings},
  editor = {Gordon Fraser and Jerffeson Teixeira de Souza},
  volume = {7515},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33118-3},
}

@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 = {Search Based Software Engineering - 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings},
  editor = {Gordon Fraser and Jerffeson Teixeira de Souza},
  volume = {7515},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33118-3},
}

@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 = {Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA},
  publisher = {IEEE Computer Society},
}

@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 = {Genetic and Evolutionary Computation Conference, GECCO '14, Vancouver, BC, Canada, July 12-16, 2014},
  editor = {Dirk V. Arnold},
  publisher = {ACM},
  isbn = {978-1-4503-2662-9},
}

@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 = {Genetic Programming, 12th European Conference, EuroGP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings},
  editor = {Leonardo Vanneschi and Steven Gustafson and Alberto Moraglio and Ivanoe De Falco and Marc Ebner},
  volume = {5481},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-01180-1},
}

@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 = {Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, FL, USA, September 29, 2013},
  editor = {Nelly Bencomo and Robert B. France and Sebastian Götz and Bernhard Rumpe},
  volume = {1079},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013},
  publisher = {IEEE},
}

@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 = {Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings},
  editor = {Günther Ruhe and Yuanyuan Zhang},
  volume = {8084},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39741-7},
}

@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 = {Empirical Software Engineering},
  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 = {1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013},
  editor = {Richard F. Paige and Mark Harman and James R. Williams},
  publisher = {IEEE},
}

@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 = {2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013},
  publisher = {IEEE},
  isbn = {978-1-4799-1324-4},
}

@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 = {Search Based Software Engineering - Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings},
  editor = {Myra B. Cohen and Mel Ó Cinnéide},
  volume = {6956},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-23715-7},
}

@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 = {Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009},
  editor = {Franz Rothlauf},
  publisher = {ACM},
  isbn = {978-1-60558-325-9},
}

@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 = {Empirical Software Engineering},
  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 = {Search-Based Software Engineering - 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings},
  editor = {Márcio de Oliveira Barros and Yvan Labiche},
  volume = {9275},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-22182-3},
}

@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 = {1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013},
  editor = {Richard F. Paige and Mark Harman and James R. Williams},
  publisher = {IEEE},
}

@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 = {1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013},
  editor = {Richard F. Paige and Mark Harman and James R. Williams},
  publisher = {IEEE},
}

@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 = {Genetic and Evolutionary Computation Conference, GECCO '13, Amsterdam, The Netherlands, July 6-10, 2013},
  editor = {Christian Blum and Enrique Alba},
  publisher = {ACM},
  isbn = {978-1-4503-1963-8},
}