Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare. Parallel Randomized State-Space Search. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007. pages 3-12, IEEE Computer Society, 2007. [doi]
Abstract is missing.