SATToSE 2014: The post-proceedings editorial