presented at event 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Conference