Merge pull request #47 from confpub/master

Update of ISSTA, addition of RE
Update of RE
Apply manual changes again
Manual RE addition: add paper to a second session