DailyInfo Summary
提出SolBehave评估LLM生成智能合约的行为正确性，关注其运行时行为是否符合预期而非仅通过语法或单元测试。
Original Source
摘要用于研究导航；结论、版本与引用信息请以原始来源为准。
技术信息
Stable ID: arxiv-2610.18745
Canonical URL: https://iheadwater.github.io/dailyinfo-web/arxiv/arxiv-2610.18745/
arXiv
SolBehave: Evaluating the Behavioural Correctness of LLM-Generated Smart Contracts
Original Evidence
- Source
- arxiv_cs_ai（外部链接）
- Published
- Technical ID
2610.18745