Retaining Repair Hypotheses for Cost-Aware Execution
Several corrections of an executable model can fit the same observations while predicting different execution outcomes. We study a repair-to-execution interface that retains compatible finite guard repairs, conditions their weights on diagnostic and ordinary-execution observations, and uses their predictions to choose...
Jae Hun Hwang, Hong-In Won
· 0 citations