Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution
Authors
Bahareh Arab, Boris Glavic
Links
Reference
Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution (Bahareh Arab, Boris Glavic), In Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance (TaPP), 2017.
Bibtex Entry
@inproceedings{AG17b,
	Author = {Bahareh Arab and Boris Glavic},
	Booktitle = {Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance},
	Keywords = {Provenance;Reenactment;What-if},
	Title = {Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution},
	Url = {http://cs.iit.edu/%7edbgroup/pdfpubls/AG17b.pdf},
	Venueshort = {TaPP},
	Year = {2017},
	Bdsk-Url-1 = {http://cs.iit.edu/%7edbgroup/pdfpubls/AG17b.pdf}
	}
Powered by bibtexbrowser