SmacC: A Retargetable Symbolic Execution Engine (bibtex)
by Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Reference:
SmacC: A Retargetable Symbolic Execution EngineArmin Biere, Jens Knoop, Laura Kovács, Jakob ZwirchmayrProceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), pages 482-486, 2013.
Bibtex Entry:
@inproceedings{KovacsATVA13,
title = {SmacC: A Retargetable Symbolic Execution Engine},
url = {/pubpdf/SmacC__A_Retargetable_Symbolic_Execution_Engine.pdf},
booktitle = {Proceedings of the 11th International Symposium on Automated Technology
for Verification and Analysis (ATVA)},
author = {Armin Biere and Jens Knoop and Laura Kov{\'a}cs and Jakob Zwirchmayr},
year = {2013},
pages = {482-486},
}
Powered by bibtexbrowser