Another batch of minor changes to the SEA 2016 paper.
Another batch of minor changes to the SEA 2016 paper.

henriquebecker91/masters,henriquebecker91/masters,henriquebecker91/masters,henriquebecker91/masters