Special issue on symbolic computation in software science. (July 2015)