Merge pull request #96 from confpub/master

Updates for ISSTA, RE, FSE
Updates for RE