SMARTEST: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution
- Sunbeom So
- , Seongjoon Hong
- , Hakjoo Oh*
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
95
Link opens in a new tab
Citations
(Scopus)