Discovering Divergence: A Framework for Finding Unexpected Behavior Using Directed Exploration


Systems that are written to achieve the same high level specifications can vary in subtle ways. Depending on a programmer's objective, using one variant of a program or algorithm over another may be beneficial, and this objective may change over time. However we do not have sufficient techniques to compare two different system variants side-by-side to find… (More)


41 Figures and Tables

Slides referencing similar topics