Please check this link:
http://ftp.gnu.org/old-gnu/Manuals/gdb-5.1.1/html_node/gdb_130.html It might be helpful.
As far as I know, CORE file contains all the information till Segmentation fault. Then, while debugging core file why we are using executable file(binary) with it.?