You are about to access our book library "Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science Book 4454) full version" .