Updates for ISSTA and RE