Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010. Proceedings - Fraser, Gordon (Lecture Notes in Computer Science,, 2010)