Exploring Very Large State Spaces Using Genetic Algorithms.

Patrice Godefroid, Sarfraz Khurshid

Browse the full TACAS paper archive.