publications:
- title: "An initial industrial evaluation of interactive search-based testing for embedded software"
  author:
  - name: "Bogdan Marculescu"
    link: "https://researchr.org/alias/bogdan-marculescu"
  - name: "Robert Feldt"
    link: "https://researchr.org/alias/robert-feldt"
  - name: "Richard Torkar"
    link: "https://researchr.org/alias/richard-torkar"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.asoc.2014.12.025"
  links:
    doi: "http://dx.doi.org/10.1016/j.asoc.2014.12.025"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/asc/MarculescuFTP15"
  researchr: "https://researchr.org/publication/MarculescuFTP15"
  cites: 0
  citedby: 0
  journal: "Appl. Soft Comput."
  volume: "29"
  pages: "26-39"
  kind: "article"
  key: "MarculescuFTP15"
- title: "Broadening the Search in Search-Based Software Testing: It Need Not Be Evolutionary"
  author:
  - name: "Robert Feldt"
    link: "https://researchr.org/alias/robert-feldt"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/SBST.2015.8"
  links:
    doi: "http://dx.doi.org/10.1109/SBST.2015.8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/FeldtP15"
  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"
  kind: "inproceedings"
  key: "FeldtP15"
- title: "Efficient Software Verification: Statistical Testing Using Automated Search"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/TSE.2010.24"
  links:
    doi: "http://dx.doi.org/10.1109/TSE.2010.24"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tse/PouldingC10"
  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"
  kind: "article"
  key: "PouldingC10"
- title: "The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "R. Alexander"
    link: "https://researchr.org/alias/r.-alexander"
  - name: "J. A. Clark"
    link: "https://researchr.org/alias/j.-a.-clark"
  - name: "Mark J. Hadley"
    link: "https://researchr.org/alias/mark-j.-hadley"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.jss.2014.11.042"
  links:
    doi: "http://dx.doi.org/10.1016/j.jss.2014.11.042"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jss/PouldingACH15"
  researchr: "https://researchr.org/publication/PouldingACH15"
  cites: 0
  citedby: 0
  journal: "Journal of Systems and Software"
  volume: "103"
  pages: "296-310"
  kind: "article"
  key: "PouldingACH15"
- title: "Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Hélène Waeselynck"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-waeselynck"
  year: "2014"
  doi: "http://dx.doi.org/10.1109/ICST.2014.42"
  links:
    doi: "http://dx.doi.org/10.1109/ICST.2014.42"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/PouldingW14"
  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"
  kind: "inproceedings"
  key: "PouldingW14"
- title: "Heuristic Model Checking using a Monte-Carlo Tree Search Algorithm"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Robert Feldt"
    link: "https://researchr.org/alias/robert-feldt"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2739480.2754767"
  links:
    doi: "http://doi.acm.org/10.1145/2739480.2754767"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gecco/PouldingF15"
  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:
  - name: "Juan Luis Jiménez Laredo"
    link: "https://researchr.org/alias/juan-luis-jim%C3%A9nez-laredo"
  - name: "Sara Silva"
    link: "https://researchr.org/alias/sara-silva"
  - name: "Anna Isabel Esparcia-Alcázar"
    link: "https://researchr.org/alias/anna-isabel-esparcia-alc%C3%A1zar"
  publisher: "ACM"
  isbn: "978-1-4503-3472-3"
  kind: "inproceedings"
  key: "PouldingF15-0"
- title: "A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Hélène Waeselynck"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-waeselynck"
  year: "2011"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSTW.2011.36"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSTW.2011.36"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/PouldingCW11"
  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"
  kind: "inproceedings"
  key: "PouldingCW11"
- title: "Epsilon Flock: a model migration language"
  author:
  - name: "Louis M. Rose"
    link: "https://researchr.org/alias/louis-m.-rose"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Fiona A. C. Polack"
    link: "https://researchr.org/alias/fiona-a.-c.-polack"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/s10270-012-0296-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10270-012-0296-2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sosym/RoseKPPP14"
  researchr: "https://researchr.org/publication/RoseKPPP14"
  cites: 0
  citedby: 0
  journal: "Software and Systems Modeling"
  volume: "13"
  number: "2"
  pages: "735-755"
  kind: "article"
  key: "RoseKPPP14"
- title: "Re-Using Generators of Complex Test Data"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Robert Feldt"
    link: "https://researchr.org/alias/robert-feldt"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/ICST.2015.7102605"
  links:
    doi: "http://dx.doi.org/10.1109/ICST.2015.7102605"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/PouldingF15"
  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"
  kind: "inproceedings"
  key: "PouldingF15"
- title: "Editorial for the special issue on search-based software engineering"
  author:
  - name: "Iain Bate"
    link: "https://researchr.org/alias/iain-bate"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2011"
  doi: "http://dx.doi.org/10.1002/spe.1056"
  links:
    doi: "http://dx.doi.org/10.1002/spe.1056"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/spe/BateP11"
  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"
  kind: "article"
  key: "BateP11"
- title: "Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing"
  author:
  - name: "Louis M. Rose"
    link: "https://researchr.org/alias/louis-m.-rose"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Robert Feldt"
    link: "https://researchr.org/alias/robert-feldt"
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/ICSM.2013.77"
  links:
    doi: "http://dx.doi.org/10.1109/ICSM.2013.77"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/RosePFP13"
  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"
  kind: "inproceedings"
  key: "RosePFP13"
- title: "Solving Acquisition Problems Using Model-Driven Engineering"
  author:
  - name: "Frank R. Burton"
    link: "https://researchr.org/alias/frank-r.-burton"
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Louis M. Rose"
    link: "https://researchr.org/alias/louis-m.-rose"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Simon Smith"
    link: "https://researchr.org/alias/simon-smith"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-31491-9_32"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-31491-9_32"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecmdafa/BurtonPRKPS12"
  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:
  - name: "Antonio Vallecillo"
    link: "https://researchr.org/alias/antonio-vallecillo"
  - name: "Juha-Pekka Tolvanen"
    link: "https://researchr.org/alias/juha-pekka-tolvanen"
  - name: "Ekkart Kindler"
    link: "https://researchr.org/alias/ekkart-kindler"
  - name: "Harald Störrle"
    link: "https://researchr.org/alias/harald-st%C3%B6rrle"
  - name: "Dimitrios S. Kolovos"
    link: "https://researchr.org/alias/dimitrios-s.-kolovos"
  volume: "7349"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-31490-2"
  kind: "inproceedings"
  key: "BurtonPRKPS12"
- title: "System of Systems Acquisition Trade-offs"
  author:
  - name: "Frank R. Burton"
    link: "https://researchr.org/alias/frank-r.-burton"
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Simon Smith"
    link: "https://researchr.org/alias/simon-smith"
  year: "2014"
  doi: "http://dx.doi.org/10.1016/j.procs.2014.03.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.procs.2014.03.002"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cser/BurtonPPS14"
  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:
  - name: "Azad M. Madni"
    link: "https://researchr.org/alias/azad-m.-madni"
  - name: "Barry W. Boehm"
    link: "https://researchr.org/alias/barry-w.-boehm"
  volume: "28"
  series: "Procedia Computer Science"
  publisher: "Elsevier"
  kind: "inproceedings"
  key: "BurtonPPS14"
- title: "Information Transformation: An Underpinning Theory for Software Engineering"
  author:
  - name: "David Clark"
    link: "https://researchr.org/alias/david-clark"
  - name: "Robert Feldt"
    link: "https://researchr.org/alias/robert-feldt"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Shin Yoo"
    link: "https://researchr.org/alias/shin-yoo"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/ICSE.2015.202"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE.2015.202"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ClarkFPY15"
  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"
  kind: "inproceedings"
  key: "ClarkFPY15"
- title: "Revealing Complexity through Domain-Specific Modelling and Analysis"
  author:
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Phillip J. Brooke"
    link: "https://researchr.org/alias/phillip-j.-brooke"
  - name: "Xiaocheng Ge"
    link: "https://researchr.org/alias/xiaocheng-ge"
  - name: "Christopher Power"
    link: "https://researchr.org/alias/christopher-power"
  - name: "Frank R. Burton"
    link: "https://researchr.org/alias/frank-r.-burton"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-34059-8_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-34059-8_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/monterey/PaigeBGPBP12"
  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:
  - name: "Radu Calinescu"
    link: "https://researchr.org/alias/radu-calinescu"
  - name: "David Garlan"
    link: "https://researchr.org/alias/david-garlan"
  volume: "7539"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-34058-1"
  kind: "inproceedings"
  key: "PaigeBGPBP12"
- title: "Transformed Vargha-Delaney Effect Size"
  author:
  - name: "Geoffrey Neumann"
    link: "https://researchr.org/alias/geoffrey-neumann"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-22183-0_29"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-22183-0_29"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/NeumannHP15"
  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:
  - name: "Márcio de Oliveira Barros"
    link: "https://researchr.org/alias/m%C3%A1rcio-de-oliveira-barros"
  - name: "Yvan Labiche"
    link: "https://researchr.org/alias/yvan-labiche"
  volume: "9275"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-22182-3"
  kind: "inproceedings"
  key: "NeumannHP15"
- title: "Searching for resource-efficient programs: low-power pseudorandom number generators"
  author:
  - name: "David Robert White"
    link: "https://researchr.org/alias/david-robert-white"
  - name: "John Clark"
    link: "https://researchr.org/alias/john-clark"
  - name: "Jeremy Jacob"
    link: "https://researchr.org/alias/jeremy-jacob"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1389095.1389437"
  links:
    doi: "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:
  - name: "Conor Ryan"
    link: "https://researchr.org/alias/conor-ryan"
  - name: "Maarten Keijzer"
    link: "https://researchr.org/alias/maarten-keijzer"
  publisher: "ACM"
  isbn: "978-1-60558-130-9"
  kind: "inproceedings"
  key: "WhiteCJP08"
- title: "Unit Testing Tool Competition"
  author:
  - name: "Sebastian Bauersfeld"
    link: "https://researchr.org/alias/sebastian-bauersfeld"
  - name: "Tanja E. J. Vos"
    link: "https://researchr.org/alias/tanja-e.-j.-vos"
  - name: "Kiran Lakhotia"
    link: "https://researchr.org/alias/kiran-lakhotia"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Nelly Condori-Fernández"
    link: "https://researchr.org/alias/nelly-condori-fern%C3%A1ndez"
  year: "2013"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.55"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.55"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/BauersfeldVLPC13"
  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"
  kind: "inproceedings"
  key: "BauersfeldVLPC13"
- title: "Evolving Robust Networks for Systems-of-Systems"
  author:
  - name: "Jonathan M. Aitken"
    link: "https://researchr.org/alias/jonathan-m.-aitken"
  - name: "Robert Alexander"
    link: "https://researchr.org/alias/robert-alexander"
  - name: "Tim Kelly"
    link: "https://researchr.org/alias/tim-kelly"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-33119-0_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-33119-0_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/AitkenAKP12"
  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:
  - name: "Gordon Fraser"
    link: "https://researchr.org/alias/gordon-fraser"
  - name: "Jerffeson Teixeira de Souza"
    link: "https://researchr.org/alias/jerffeson-teixeira-de-souza"
  volume: "7515"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-33118-3"
  kind: "inproceedings"
  key: "AitkenAKP12"
- title: "Tutorial: High Performance SBSE Using Commodity Graphics Cards"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-33119-0_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-33119-0_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/Poulding12"
  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:
  - name: "Gordon Fraser"
    link: "https://researchr.org/alias/gordon-fraser"
  - name: "Jerffeson Teixeira de Souza"
    link: "https://researchr.org/alias/jerffeson-teixeira-de-souza"
  volume: "7515"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-33118-3"
  kind: "inproceedings"
  key: "Poulding12"
- title: "An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Paul Emberson"
    link: "https://researchr.org/alias/paul-emberson"
  - name: "Iain Bate"
    link: "https://researchr.org/alias/iain-bate"
  - name: "John Clark"
    link: "https://researchr.org/alias/john-clark"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/HASE.2007.19"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PouldingEBC07"
- title: "Generating structured test data with specific properties using nested Monte-Carlo search"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Robert Feldt"
    link: "https://researchr.org/alias/robert-feldt"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2576768.2598339"
  links:
    doi: "http://doi.acm.org/10.1145/2576768.2598339"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gecco/PouldingF14"
  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:
  - name: "Dirk V. Arnold"
    link: "https://researchr.org/alias/dirk-v.-arnold"
  publisher: "ACM"
  isbn: "978-1-4503-2662-9"
  kind: "inproceedings"
  key: "PouldingF14"
- title: "A Rigorous Evaluation of Crossover and Mutation in Genetic Programming"
  author:
  - name: "David Robert White"
    link: "https://researchr.org/alias/david-robert-white"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-01181-8_19"
  links:
    doi: "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:
  - name: "Leonardo Vanneschi"
    link: "https://researchr.org/alias/leonardo-vanneschi"
  - name: "Steven Gustafson"
    link: "https://researchr.org/alias/steven-gustafson"
  - name: "Alberto Moraglio"
    link: "https://researchr.org/alias/alberto-moraglio"
  - name: "Ivanoe De Falco"
    link: "https://researchr.org/alias/ivanoe-de-falco"
  - name: "Marc Ebner"
    link: "https://researchr.org/alias/marc-ebner"
  volume: "5481"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-01180-1"
  kind: "inproceedings"
  key: "WhiteP09"
- title: "Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour"
  author:
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Fiona Polack"
    link: "https://researchr.org/alias/fiona-polack"
  year: "2013"
  doi: "http://ceur-ws.org/Vol-1079/mrt13_submission_9.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-1079/mrt13_submission_9.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/WilliamsPPP13"
  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:
  - name: "Nelly Bencomo"
    link: "https://researchr.org/alias/nelly-bencomo"
  - name: "Robert B. France"
    link: "https://researchr.org/alias/robert-b.-france"
  - name: "Sebastian Götz"
    link: "http://st.inf.tu-dresden.de/sgoetz"
  - name: "Bernhard Rumpe"
    link: "http://www.se-rwth.de/~rumpe/"
  volume: "1079"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "WilliamsPPP13"
- title: "Finding test data with specific properties via metaheuristic search"
  author:
  - name: "Robert Feldt"
    link: "https://researchr.org/alias/robert-feldt"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2013"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2013.6698888"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2013.6698888"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issre/FeldtP13"
  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"
  kind: "inproceedings"
  key: "FeldtP13"
- title: "Using Contracts to Guide the Search-Based Verification of Concurrent Programs"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/PoskittP13"
  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:
  - name: "Günther Ruhe"
    link: "https://researchr.org/alias/g%C3%BCnther-ruhe"
  - name: "Yuanyuan Zhang"
    link: "https://researchr.org/alias/yuanyuan-zhang"
  volume: "8084"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-39741-7"
  kind: "inproceedings"
  key: "PoskittP13"
- title: "Evolving robust networks for systems-of-systems: is it viable for large networks?"
  author:
  - name: "Jonathan M. Aitken"
    link: "https://researchr.org/alias/jonathan-m.-aitken"
  - name: "Robert Alexander"
    link: "https://researchr.org/alias/robert-alexander"
  - name: "Tim Kelly"
    link: "https://researchr.org/alias/tim-kelly"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/s10664-013-9295-3"
  links:
    doi: "http://dx.doi.org/10.1007/s10664-013-9295-3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ese/AitkenAKP14"
  researchr: "https://researchr.org/publication/AitkenAKP14"
  cites: 0
  citedby: 0
  journal: "Empirical Software Engineering"
  volume: "19"
  number: "5"
  pages: "1502-1530"
  kind: "article"
  key: "AitkenAKP14"
- title: "Complementing metaheuristic search with higher abstraction techniques"
  author:
  - name: "Frank R. Burton"
    link: "https://researchr.org/alias/frank-r.-burton"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/CMSBSE.2013.6604436"
  links:
    doi: "http://dx.doi.org/10.1109/CMSBSE.2013.6604436"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/BurtonP13"
  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:
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "BurtonP13"
- title: "Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Tanja E. J. Vos"
    link: "https://researchr.org/alias/tanja-e.-j.-vos"
  year: "2013"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.68"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.68"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/PouldingV13"
  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"
  kind: "inproceedings"
  key: "PouldingV13"
- title: "Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels"
  author:
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Louis M. Rose"
    link: "https://researchr.org/alias/louis-m.-rose"
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Fiona A. C. Polack"
    link: "https://researchr.org/alias/fiona-a.-c.-polack"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-23716-4_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-23716-4_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/WilliamsPRPP11"
  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:
  - name: "Myra B. Cohen"
    link: "https://researchr.org/alias/myra-b.-cohen"
  - name: "Mel Ó Cinnéide"
    link: "https://researchr.org/alias/mel-%C3%B3-cinn%C3%A9ide"
  volume: "6956"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-23715-7"
  kind: "inproceedings"
  key: "WilliamsPRPP11"
- title: "Using automated search to generate test data for matlab"
  author:
  - name: "Sion Ll Rhys"
    link: "https://researchr.org/alias/sion-ll-rhys"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1569901.1570128"
  links:
    doi: "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:
  - name: "Franz Rothlauf"
    link: "https://researchr.org/alias/franz-rothlauf"
  publisher: "ACM"
  isbn: "978-1-60558-325-9"
  kind: "inproceedings"
  key: "RhysPC09"
- title: "Introduction to the special issue on search based software engineering"
  author:
  - name: "Massimiliano Di Penta"
    link: "https://researchr.org/alias/massimiliano-di-penta"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/s10664-011-9154-z"
  links:
    doi: "http://dx.doi.org/10.1007/s10664-011-9154-z"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ese/PentaP11"
  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"
  kind: "article"
  key: "PentaP11"
- title: "Weaving Parallel Threads - Searching for Useful Parallelism in Functional Programs"
  author:
  - name: "José Manuel Calderón Trilla"
    link: "https://researchr.org/alias/jos%C3%A9-manuel-calder%C3%B3n-trilla"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Colin Runciman"
    link: "https://researchr.org/alias/colin-runciman"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-22183-0_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-22183-0_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/TrillaPR15"
  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:
  - name: "Márcio de Oliveira Barros"
    link: "https://researchr.org/alias/m%C3%A1rcio-de-oliveira-barros"
  - name: "Yvan Labiche"
    link: "https://researchr.org/alias/yvan-labiche"
  volume: "9275"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-22182-3"
  kind: "inproceedings"
  key: "TrillaPR15"
- title: "Efficient probabilistic testing of model transformations using search"
  author:
  - name: "Louis M. Rose"
    link: "https://researchr.org/alias/louis-m.-rose"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/CMSBSE.2013.6604431"
  links:
    doi: "http://dx.doi.org/10.1109/CMSBSE.2013.6604431"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/RoseP13"
  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:
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "RoseP13"
- title: "Modelling and search: Efficient, practical, and innovative approaches to software engineering"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/CMSBSE.2013.6604428"
  links:
    doi: "http://dx.doi.org/10.1109/CMSBSE.2013.6604428"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/Poulding13"
  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:
  - name: "Richard F. Paige"
    link: "https://researchr.org/alias/richard-f.-paige"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  - name: "James R. Williams"
    link: "https://researchr.org/alias/james-r.-williams"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "Poulding13"
- title: "The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing"
  author:
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  - name: "Robert Alexander"
    link: "https://researchr.org/alias/robert-alexander"
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Mark J. Hadley"
    link: "https://researchr.org/alias/mark-j.-hadley"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2463372.2463550"
  links:
    doi: "http://doi.acm.org/10.1145/2463372.2463550"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gecco/PouldingACH13"
  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:
  - name: "Christian Blum"
    link: "https://researchr.org/alias/christian-blum"
  - name: "Enrique Alba"
    link: "https://researchr.org/alias/enrique-alba"
  publisher: "ACM"
  isbn: "978-1-4503-1963-8"
  kind: "inproceedings"
  key: "PouldingACH13"