Generating Representative Executions [Extended Abstract]