Add tests for symbol file name generation

Fix #732.
Changes based on reviews
Merge pull request #735 from dungpa/symbol-filename

Add tests for symbol file name generation