Simon M. Poulding

According to our database, Simon M. Poulding authored at least 45 papers between 2007 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Transferring interactive search-based software testing to industry.

Bogdan Marculescu, Robert Feldt, Richard Torkar, Simon M. Poulding

J. Syst. Softw., 2018

A systematic literature review of software requirements reuse approaches.

Mohsin Irshad, Kai Petersen, Simon M. Poulding

Inf. Softw. Technol., 2018

2017

Scalable Parallel Model Checking via Monte-Carlo Tree Search.

Reed M. Milewicz, Simon M. Poulding

ACM SIGSOFT Softw. Eng. Notes, 2017

Searching for test data with feature diversity.

Robert Feldt, Simon M. Poulding

CoRR, 2017

Automated Random Testing in Multiple Dispatch Languages.

Simon M. Poulding, Robert Feldt

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Generating Controllably Invalid and Atypical Inputs for Robustness Testing.

Simon M. Poulding, Robert Feldt

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Tester interactivity makes a difference in search-based software testing: A controlled experiment.

Bogdan Marculescu, Simon M. Poulding, Robert Feldt, Kai Petersen, Richard Torkar

Inf. Softw. Technol., 2016

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases.

Robert Feldt, Simon M. Poulding, David Clark, Shin Yoo

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing.

Simon M. Poulding, Robert Alexander, John A. Clark, Mark J. Hadley

J. Syst. Softw., 2015

An initial industrial evaluation of interactive search-based testing for embedded software.

Bogdan Marculescu, Robert Feldt, Richard Torkar, Simon M. Poulding

Appl. Soft Comput., 2015

Weaving Parallel Threads - Searching for Useful Parallelism in Functional Programs.

José Manuel Calderón Trilla, Simon M. Poulding, Colin Runciman

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Transformed Vargha-Delaney Effect Size.

Geoffrey Neumann, Mark Harman, Simon M. Poulding

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Re-Using Generators of Complex Test Data.

Simon M. Poulding, Robert Feldt

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Broadening the Search in Search-Based Software Testing: It Need Not Be Evolutionary.

Robert Feldt, Simon M. Poulding

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Information Transformation: An Underpinning Theory for Software Engineering.

David Clark, Robert Feldt, Simon M. Poulding, Shin Yoo

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Heuristic Model Checking using a Monte-Carlo Tree Search Algorithm.

Simon M. Poulding, Robert Feldt

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Using Citation Behavior to Rethink Academic Impact in Software Engineering.

Simon M. Poulding, Kai Petersen, Robert Feldt, Vahid Garousi

Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

2014

Epsilon Flock: a model migration language.

Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack, Simon M. Poulding

Softw. Syst. Model., 2014

Evolving robust networks for systems-of-systems: is it viable for large networks?

Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding

Empir. Softw. Eng., 2014

Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles.

Simon M. Poulding, Hélène Waeselynck

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Generating structured test data with specific properties using nested Monte-Carlo search.

Simon M. Poulding, Robert Feldt

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

System of Systems Acquisition Trade-offs.

Frank R. Burton, Richard F. Paige, Simon M. Poulding, Simon Smith

Proceedings of the Conference on Systems Engineering Research, 2014

2013

The use of automated search in deriving software testing strategies.

Simon M. Poulding

PhD thesis, 2013

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

Christopher M. Poskitt, Simon M. Poulding

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

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

James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack

Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Finding test data with specific properties via metaheuristic search.

Robert Feldt, Simon M. Poulding

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary.

Simon M. Poulding, Tanja E. J. Vos

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Unit Testing Tool Competition.

Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, Nelly Condori-Fernández

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

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

Louis M. Rose, Simon M. Poulding, Robert Feldt, Richard F. Paige

Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

Efficient probabilistic testing of model transformations using search.

Louis M. Rose, Simon M. Poulding

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

Modelling and search: Efficient, practical, and innovative approaches to software engineering.

Simon M. Poulding

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

Complementing metaheuristic search with higher abstraction techniques.

Frank R. Burton, Simon M. Poulding

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

2012

Tutorial: High Performance SBSE Using Commodity Graphics Cards.

Simon M. Poulding

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Evolving Robust Networks for Systems-of-Systems.

Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Revealing Complexity through Domain-Specific Modelling and Analysis.

Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Solving Acquisition Problems Using Model-Driven Engineering.

Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, Simon M. Poulding, Simon Smith

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

Editorial for the special issue on search-based software engineering.

Iain Bate, Simon M. Poulding

Softw. Pract. Exp., 2011

Introduction to the special issue on search based software engineering.

Massimiliano Di Penta, Simon M. Poulding

Empir. Softw. Eng., 2011

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

James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack

Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing.

Simon M. Poulding, John A. Clark, Hélène Waeselynck

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Efficient Software Verification: Statistical Testing Using Automated Search.

Simon M. Poulding, John A. Clark

IEEE Trans. Software Eng., 2010

2009

Using automated search to generate test data for matlab.

Sion Ll Rhys, Simon M. Poulding, John A. Clark

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

A Rigorous Evaluation of Crossover and Mutation in Genetic Programming.

David Robert White, Simon M. Poulding

Proceedings of the Genetic Programming, 12th European Conference, 2009

2008

Searching for resource-efficient programs: low-power pseudorandom number generators.

David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

2007

An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms.

Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007