Update of ISSTA, addition of RE