There was a talk about some novel ways to approach test suite generation and reduction at a PLDI workshop a few weeks ago. That work came from the compilers an

There was a talk about some novel ways to approach test suite generation and reduction at a PLDI workshop a few weeks ago. That work came from the compilers and programming languages tool domain: https://pldi24.sigplan.org/home/egraphs-2024#program https://pldi24.sigplan.org/home/egraphs-2024#program Specifically, the EGSTRA paper.