Execution trace sets for real computation https://declanthompson.github.io/publication/thompson-execution-2023/