Updates for ISSTA, RE, FSE