Litcius/Paper detail

SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution

Sunbeom So, Seongjoon Hong, Hakjoo Oh

202125 citations

Topics & Concepts

Computer scienceDatabase transactionSymbolic executionProgramming languageSoftwareBlockchain Technology Applications and SecurityEthics and Social Impacts of AIFinTech, Crowdfunding, Digital Finance
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution | Litcius