%0 Conference Paper %1 conf/apsec/WangFWC23 %A Wang, Meng %A Fei, Weiliang %A Wang, Miao %A Cui, Jin %B APSEC %D 2023 %I IEEE %K dblp %P 91-100 %T Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2023.html#WangFWC23 %@ 979-8-3503-4417-2

@inproceedings{conf/apsec/WangFWC23, added-at = {2024-04-10T00:00:00.000+0200}, author = {Wang, Meng and Fei, Weiliang and Wang, Miao and Cui, Jin}, biburl = {https://www.bibsonomy.org/bibtex/2253abc250ee643f2dbc5efba5ffa1ac8/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2023}, ee = {https://doi.org/10.1109/APSEC60848.2023.00019}, interhash = {f4fbc3d49f8360a87c0d9f89f6c35564}, intrahash = {253abc250ee643f2dbc5efba5ffa1ac8}, isbn = {979-8-3503-4417-2}, keywords = {dblp}, pages = {91-100}, publisher = {IEEE}, timestamp = {2024-04-12T14:41:51.000+0200}, title = {Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2023.html#WangFWC23}, year = 2023 }