@book{TUW-233353, author = {Seidl, Martina and Tillmann, Nikolai}, title = {Proceedings of the 8th International Conference on Tests and Proofs}, publisher = {Springer LNCS}, year = {2014}, series = {Lecture Notes in Computer Science}, editor = {Seidl, Martina and Tillmann, Nikolai}, url = {http://link.springer.com/book/10.1007%2F978-3-319-09099-3}, isbn = {978-3-319-09098-6}, doi = {10.1007/978-3-319-09099-3} }