[EGRAPHS24] EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction | ACM SIGPLAN | Podwise