Model checking software 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings / - Godefroid, Patrice. (Lecture notes in computer science ;)