Accepted to the ACM Transactions on Software Engineering and Methodology 2018