%0 Conference Paper %1 conf/sigsoft/0001TL022 %A Lin, Shang-Wei %A Tolmach, Palina %A Liu, Ye %A Li, Yi %B ESEC/SIGSOFT FSE %D 2022 %E Roychoudhury, Abhik %E Cadar, Cristian %E Kim, Miryung %I ACM %K dblp %P 1687-1691 %T SolSEE: a source-level symbolic execution engine for solidity. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2022.html#0001TL022 %@ 978-1-4503-9413-0

@inproceedings{conf/sigsoft/0001TL022, added-at = {2024-04-10T00:00:00.000+0200}, author = {Lin, Shang-Wei and Tolmach, Palina and Liu, Ye and Li, Yi}, biburl = {https://www.bibsonomy.org/bibtex/2bdc345f38f5b27ffabf18e5646831496/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2022}, editor = {Roychoudhury, Abhik and Cadar, Cristian and Kim, Miryung}, ee = {https://doi.org/10.1145/3540250.3558923}, interhash = {1f2ae1a2ec476775edd6101688ed8f2d}, intrahash = {bdc345f38f5b27ffabf18e5646831496}, isbn = {978-1-4503-9413-0}, keywords = {dblp}, pages = {1687-1691}, publisher = {ACM}, timestamp = {2024-04-12T14:47:21.000+0200}, title = {SolSEE: a source-level symbolic execution engine for solidity.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2022.html#0001TL022}, year = 2022 }