Tests and proofs : first International Conference, TAP 2007 : Zurich, Switzerland, February 12-13, 2007 : revised papers - Gurevich, Yuri, 1940-; Meyer, Bertrand, 1950- (Lecture notes in computer science ;, 2007)