Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy: HPC Software Verification in Action: A Case Study with Tensor Transposition. CORRECTNESS@SC 2018: 9-16