tests and proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings - Hutchison, David (Lecture Notes in Computer Science,, 2009)