Search results for: Michael Pradel
Empirical Software Engineering > 2018 > 23 > 5 > 3034-3071
Geomechanics and Tunnelling > 10 > 2 > 194 - 203
Communications in Computer and Information Science > Software and Data Technologies > Part I: Programming Languages > 23-36
IEEE Transactions on Software Engineering > 2013 > 39 > 8 > 1127 - 1143