Browsing: program execution capture and replay