You are about to access our book library "Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science Book 6706) full version" .