An oral presentation of our work accepted at ICSE.