Tests And Proofs: 4Th International Conference, Tap 2010, Málaga, Spain, July 1 2, 2010. Proceedings 2010