Model-Based Tests of Truisms. - Tim Menzies; David Raffo; Siri-on Setamanit; Ying Hu; Sina Tootoonia (ASE, 2002)