Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic ExecutionSmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
- Alternative Title
- SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
- Authors
- Hakjoo Oh
- Issue Date
- 11-8월-2021
- Publisher
- USENIX
- Citation
- Security 2021: 30th USENIX Security Symposium
- Conference Name
- Security 2021: 30th USENIX Security Symposium
- Place
- US
- Conference Date
- 2021-08-11
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.