A number of minor changes, plus start of ISSTA 2014 experiments