Execution Trace Viewer: viewing, editing and analyzing execution traces