Large-scale study of substitutability in the presence of effects. - Jackson Maddox; Yuheng Long; Hridesh Rajan (ESEC/SIGSOFT FSE, 2018)