Proceedings
Bernhard K. Aichernig, Carlo A. Furia, editors.
Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9762, Springer 2016, ISBN 978-3-319-41134-7
Free Access: Springer will grant free access to the proceedings for a period of four weeks from July 4 to August 1. The free access is available via this link.