Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings - Seidl, Martina; Tillmann, Nikolai (Springer International Publishing : Imprint: Springer, 2014)