SATToSE 2015: The post-proceedings editorial