Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings - Veanes, Margus (Herausgeber); Vigano, Luca (Herausgeber) (Programming and Software Engineering, 2013)