EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
This paper describes an application of e-graphs to a problem from software testing. Given a large and complex input for a program, we use a combination of term refinement and equality rules applied to the input to distill out a much smaller test suite. This smaller test suite is intended to capture all necessary features of the large, complex input for testing the program of interest. In this work we are considering testing of program analysis and transformation tools, where the test suite is intended to capture the set of language features that a tool must support to handle the large scale programs it is intended to operate upon. We describe our e-graph implementation that is based on a JSON term representation and supports term deletion, rule application for establishing equivalences as well as instantiating new terms based on pattern matches, and extraction of terms after refinement. We will present the preliminary results of this ongoing research project at the workshop.
manuscript (egstra_reis_sottile_2024.pdf) | 537KiB |
slides (egraphs_2024_final.pdf) | 3.18MiB |
Mon 24 JunDisplayed time zone: Windhoek change
10:40 - 12:20 | |||
10:40 25mTalk | Slotted E-Graphs EGRAPHS Pre-print Media Attached | ||
11:05 25mTalk | Towards Relational Contextual Equality Saturation EGRAPHS Tyler Hou University of California, Berkeley, Shadaj Laddad University of California at Berkeley, Joseph M. Hellerstein UC Berkeley Pre-print Media Attached | ||
11:30 25mTalk | Performant Dynamically Typed E-Graphs in Pure Julia EGRAPHS Pre-print Media Attached | ||
11:55 25mTalk | EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction EGRAPHS Sabrina Reis Lawrence Livermore National Laboratory, Matthew Sottile Lawrence Livermore National Laboratory Media Attached File Attached |