Effectively using search-based software engineering techniques within model checking and its applications.

Jeremy S. Bradbury, David Kelk, Mark Green

Browse the full ICSE paper archive.