The truth, the whole truth, and nothing but the truth: A pragmatic guide to assessing empirical evaluationsStephen M. BlackburnAmer Diwanet al.2016ACM TOPLAS