@inproceedings{dwyer07icseprss,
author = {M. Dwyer and S. Elbaum and S. Person and R. Purandare},
title = {Parallel Randomized State-Space Search},
year = {2007},
pages = {3-12},
month = May,
booktitle = {International Conference on Software Engineering}
}