Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings - Bernhard Beckert, Reiner Hähnle ((Lecture Notes in Computer Science))