Paper accepted to EMSOFT for ESWeek'17!