Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Wei, Haiyang, Chen, Ligeng, Du, Zhengjie, Wu, Yuhan, Huang, Haohui, Liu, Yue, Cheng, Guang, Xu, Fengyuan, Wang, Linzhang, Mao, Bing
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!