%0 Conference Paper %1 conf/saicsit/LeidMV20 %A Leid, Alexander %A van der Merwe, Brink %A Visser, Willem %B SAICSIT %D 2020 %I ACM %K dblp %P 35-43 %T Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools. %U http://dblp.uni-trier.de/db/conf/saicsit/saicsit2020.html#LeidMV20 %@ 978-1-4503-8847-4

@inproceedings{conf/saicsit/LeidMV20, added-at = {2020-09-23T00:00:00.000+0200}, author = {Leid, Alexander and van der Merwe, Brink and Visser, Willem}, biburl = {https://www.bibsonomy.org/bibtex/2d39d19e8760cc45ef1491dfc219ceae4/dblp}, booktitle = {SAICSIT}, crossref = {conf/saicsit/2020}, ee = {https://doi.org/10.1145/3410886.3410907}, interhash = {357afb63089c61d2d79e367a198e7828}, intrahash = {d39d19e8760cc45ef1491dfc219ceae4}, isbn = {978-1-4503-8847-4}, keywords = {dblp}, pages = {35-43}, publisher = {ACM}, timestamp = {2020-09-24T11:35:06.000+0200}, title = {Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools.}, url = {http://dblp.uni-trier.de/db/conf/saicsit/saicsit2020.html#LeidMV20}, year = 2020 }