Simon Marcus Poulding

Search results

• 2015

  Weaving Parallel Threads

  Calderon Trilla, J. M., Poulding, S. M. & Runciman, C., 2015, Proceedings of International Symposium on Search-based Software Engineering. Barros, M. & Labiche, Y. (eds.). Bergamo, Italy: Springer, p. 62-76 14 p. (LNCS; vol. 9275).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2013

  Complementing metaheuristic search with higher abstraction techniques

  Burton, F. R. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 45-48

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Efficient probabilistic testing of model transformations using search

  Rose, L. M. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 16-21

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour

  Williams, J. R., Poulding, S. M., Paige, R. F. & Polack, F., 2013, MoDELS@Run.time. p. 76-88 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Finding test data with specific properties via metaheuristic search

  Feldt, R. & Poulding, S., 1 Nov 2013, Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on. p. 350-359

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing

  Rose, L. M., Poulding, S., Feldt, R. & Paige, R. F., 1 Sep 2013, Software Maintenance (ICSM), 2013 29th IEEE International Conference on. p. 480-483

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Using Contracts to Guide the Search-Based Verification of Concurrent Programs

  Poskitt, C. M. & Poulding, S. M., 2013, Proceedings of SSBSE 2013. Vol. 8084 LNCS. p. 263-268 (Lecture Notes in Computer Science; vol. 8084).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2012

  Evolving Robust Networks for Systems-of-Systems

  Aitken, J. M., Alexander, R., Kelly, T. & Poulding, S. M., 2012, Search Based Software Engineering: 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings. Springer, p. 30-44 15 p. (Lecture Notes in Computer Science; vol. 7515).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Revealing Complexity through Domain-Specific Modelling and Analysis

  Paige, R. F., Brooke, P. J., Ge, X., Power, C. D., Burton, F. R. & Poulding, S. M., 2012, Large-Scale Complex IT Systems. Development, Operation and Management. Springer, Vol. 7539 LNCS. p. 251-265 15 p. (Lecture Notes in Computer Science; vol. 7539).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Solving Acquisition Problems Using Model-Driven Engineering

  Burton, F. R., Paige, R. F., Rose, L. M., Kolovos, D., Poulding, S. M. & Smith, S., 2012, Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Springer, Vol. 7349 LNCS. p. 428-443 16 p. (Lecture Notes in Computer Science; vol. 7349).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2011

  A principled evaluation of the effect of directed mutation on search-based statistical testing

  Poulding, S., Clark, J. A. & Waeselynck, H., 2011, Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. p. 184-193 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels

  Williams, J. R., Poulding, S. M., Rose, L. M., Paige, R. F. & Polack, F. A. C., 2011, Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings. Vol. 6956 LNCS. p. 112-126 15 p. (Lecture Notes in Computer Science; vol. 6956).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2009

  A Rigorous Evaluation of Crossover and Mutation in Genetic Programming

  White, D. R. & Poulding, S., 2009, GENETIC PROGRAMMING. Vanneschi, L., Gustafson, S., Moraglio, A., DeFalco, I. & Ebner, M. (eds.). BERLIN: Springer, Vol. 5481 LNCS. p. 220-231 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2008

  Tuning Protocols To Improve The Energy Efficiency Of Sensornets

  Tate, J., Bate, I. & Poulding, S., 1 Sep 2008, Fourth UK Embedded Forum.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2007

  An efficient experimental methodology for configuring search-based design algorithms

  Poulding, S., Emberson, P., Bate, I. & Clark, J. A., 2007, Proceedings of 10th IEEE High Assurance System Engineering Symposium (HASE 2007). USA: computer.org, p. 53-62 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution