Empirical Foundations of Computer Science (EFoCS) research group, University of Strathclyde