Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution

Authors

• Bahareh Arab
• Boris Glavic

Materials

bibtex

@inproceedings{AG17b,
  author = {Arab, Bahareh and Glavic, Boris},
  booktitle = {Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance},
  isworkshop = {true},
  keywords = {Provenance;Reenactment;What-if},
  pdfurl = {http://cs.iit.edu/%7edbgroup/assets/pdfpubls/AG17b.pdf},
  projects = {GProM;Reenactment},
  title = {Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution},
  venueshort = {TaPP},
  year = {2017},
  bdsk-url-1 = {http://cs.iit.edu/%7edbgroup/assets/pdfpubls/AG17b.pdf}
}

Reference

Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution Bahareh Arab and Boris Glavic Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance (2017).