Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers - Gurevich, Yuri; Meyer, Bertrand (Springer Berlin Heidelberg, 2007)