modified for ESEC/FSE 2013