Parallel Randomized State-Space Search.

Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare

Browse the full ICSE paper archive.