Research

I am currently a research student at the University of York Computer Science Department. My research focuses on using metaheuristic search techniques to aid in the building and debugging of concurrent programs. My supervisor is Professor John Clark and I am part of the SEBASE project.

Publications:

Applications of Model Reuse when using Estimation of Distribution Algorithms to Test Concurrent Software

Authors: Jan Staunton and John A. Clark

To appear at: SSBSE 2011 | Springer Link

Comments: None.

Links: PDF | Presentation

BibTeX:

@incollection {springerlink:10.1007/978-3-642-23716-4_12,
author = {Staunton, Jan and Clark, John},
affiliation = {Department of Computer Science, University of York, UK},
title = {Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software},
booktitle = {Search Based Software Engineering},
series = {Lecture Notes in Computer Science},
editor = {Cohen, Myra and Ó Cinnéide, Mel},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-23715-7},
keyword = {Computer Science},
pages = {97-111},
volume = {6956},
url = {http://dx.doi.org/10.1007/978-3-642-23716-4_12},
note = {10.1007/978-3-642-23716-4_12},
year = {2011}
}

Finding Short Counterexamples in Promela Models Using Estimation of Distribution Algorithms

Authors: Jan Staunton and John A. Clark

To appear at: GECCO 2011 - SBSE Track | ACM Digital Library

Comments: Nominated for track best paper prize!

Links: PDF | Presentation

BibTeX:

@inproceedings{Staunton:2011:FSC:2001576.2001834,
author = {Staunton, Jan and Clark, John A.},
title = {Finding short counterexamples in promela models using estimation of distribution algorithms},
booktitle = {Proceedings of the 13th annual conference on Genetic and evolutionary computation},
series = {GECCO '11},
year = {2011},
isbn = {978-1-4503-0557-0},
location = {Dublin, Ireland},
pages = {1923--1930},
numpages = {8},
url = {http://doi.acm.org/10.1145/2001576.2001834},
doi = {http://doi.acm.org/10.1145/2001576.2001834},
acmid = {2001834},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {HSF-spin, estimation of distribution algorithms, liveness, metaheuristics, model checking, safety, spin},
}

Searching for Safety Violations using Estimation of Distribution Algorithms

Authors: Jan Staunton and John A. Clark

Appears: SBST Workshop at ICST 2010 | IEEE Digital Library

Comments: Won best student paper award!

Links: PDF | Presentation

BibTeX:

@article{10.1109/ICSTW.2010.24,
author = {Jan Staunton and John A. Clark},
title = {Searching for Safety Violations Using Estimation of Distribution Algorithms},
journal ={Software Testing Verification and Validation Workshop, IEEE International Conference on Software Testing, Verification, and Validation},
volume = {0},
isbn = {978-0-7695-4050-4},
year = {2010},
pages = {212-221},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2010.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

Other nuggets:

Verifying concurrent software using metaheuristic search techniques

Authors: Jan Staunton

Appears: University of York

Comments: This is my Qualifying Dissertation for my PhD.

Links: PDF