Adaptable Traces for Program Explanations
No abstract available.
Related papers
- Counterexample Explanation by Learning Small Strategies in Markov Decision Processes CAV 2015
- Apex: automatic programming assignment error explanation OOPSLA 2016
- Explaining Hyperproperty Violations CAV 2022
- MADMAX: a DSL for explanatory decision making GPCE 2021
- Functional programs that explain their work ICFP 2012
- Complete trace models of state and control ESOP 2021
- Adaptive multi-level compilation in a trace-based Java JIT compiler OOPSLA 2012
- Explainable Online Monitoring of Metric Temporal Logic TACAS 2023