Special issue on symbolic computation in software science