Blanchette, J. C., & Kosmatov, N. (Eds.). (2015). Tests and Proofs. Berlin: Springer. doi:10.1007/978-3-319-21215-9.