Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - Achim D. Brucker, Jacques Julliand ((Lecture Notes in Computer Science))