Searching for safety violations using estimation of distribution algorithms J Staunton, JA Clark 2010 Third International Conference on Software Testing, Verification, and …, 2010 | 24 | 2010 |
Finding short counterexamples in promela models using estimation of distribution algorithms J Staunton, JA Clark Proceedings of the 13th annual conference on Genetic and evolutionary …, 2011 | 15 | 2011 |
Applications of model reuse when using estimation of distribution algorithms to test concurrent software J Staunton, JA Clark International Symposium on Search Based Software Engineering, 97-111, 2011 | 13 | 2011 |
Full Implementation of an Estimation of Distribution Algorithm on a GPU SM Poulding, JP Staunton, NJ Burles GECCO 2011, GPUs for Genetic and Evolutionary Computation Competition, 2011 | 2 | 2011 |
Using Estimation of Distribution Algorithms to Detect Concurrent Faults J Staunton University of York, 2012 | | 2012 |
Verifying concurrent software using metaheuristic search techniques J Staunton | | 2009 |
The application of evolutionary algorithms to the Sensor Planning and Research Challenge J Staunton | | 2008 |
Fast Abstracts Chair G Canfora, P McMinn, A Arcuri, J Staunton | | |
John Clark (co-chair), University of York, UK Myra Cohen, University of Nebraska Lincoln, USA Vittorio Cortellessa, University of L’Aquila, Italy Vahid Garousi, University of … W Gutjahr, M Harman, Y Hassoun, R Hierons, G Kapfhammer, Y Labiche, ... | | |