Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution.
Saved in:
| Title: | Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution. |
|---|---|
| Authors: | Yang, Shuo1, yangsh233@mail2.sysu.edu.cn, Lin, Xingwei2, xwlin.roy@zju.edu.cn, Chen, Jiachi1, chenjch86@mail.sysu.edu.cn, Zhong, Qingyuan1, zhongqy@mail2.sysu.edu.cn, Xiao, Lei1, xiaolei6@mail2.sysu.edu.cn, Huang, Renke1, huangrk9@mail2.sysu.edu.cn, Wang, Yanlin1, wangylin36@mail.sysu.edu.cn, Zheng, Zibin1, zhzibin@mail.sysu.edu.cn |
| Source: | ICSE: International Conference on Software Engineering; 2025, p2273-2285, 13p |
| Database: | Applied Science & Technology Source |
| Description not available. |
