Bahareh Sadat Arab, Boris Glavic. Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution. In Adam M. Bates, Bill Howe, editors, 9th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2017, Seattle, WA, USA, June 23, 2017. USENIX Association, 2017. [doi]
Abstract is missing.