Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers - Yuri Gurevich, Bertrand Meyer ((Lecture Notes in Computer Science))