Articles of postmortem debugging