EGSTRA: E-Graph-Based Structures for Test Suite Reduction and Abstraction
Sabrina Reis, Matthew Sottile
(Center for Applied Scientific Computing, Laurence Livermore National
Laboratory)
[conference details]
[video]
[live video (at 03:12:09)]
Modified traditional e-graphs with:
- Rewrite rules: allow deletion and replacement
- Hashcons: handle propagation of term removal
- Union-find: implement efficient delete