Invited talk at Swe-CTW 2015