Exploring very large state spaces using genetic algorithms

Patrice Godefroid, Sarfraz Khurshid. Exploring very large state spaces using genetic algorithms. STTT, 6(2):117-127, 2004. [doi]

Abstract

Abstract is missing.