PANTHER：用于网络协议的可插件化测试环境
PANTHER: Pluginizable Testing Environment for Network Protocols
AI总结：
本文提出用于测试网络协议并形式化验证其规范的模块化框架PANTHER，通过插件架构、Ivy与Shadow工具及YAML配置实现自动化、可扩展的实验，并支持有状态模糊测试插件以增强协议鲁棒性检查。
摘要：
本文介绍了PANTHER，一个用于测试网络协议并形式化验证其规范的模块化框架。该框架采用插件架构，增强了多样测试场景的灵活性与可扩展性，利用Ivy和Shadow促进可复现且可扩展的实验，并通过基于YAML的配置管理启用自动化工作流以提高测试效率。其模块化设计可验证复杂协议属性，适应动态行为，并实现无缝插件集成以提升可扩展性。此外，该框架支持有状态模糊测试插件以增强实现鲁棒性检查。
英文摘要：
In this paper, we introduce PANTHER, a modular framework for testing network protocols and formally verifying their specification. The framework incorporates a plugin architecture to enhance flexibility and extensibility for diverse testing scenarios, facilitate reproducible and scalable experiments leveraging Ivy and Shadow, and improve testing efficiency by enabling automated workflows through YAML-based configuration management. Its modular design validates complex protocol properties, adapts to dynamic behaviors, and facilitates seamless plugin integration for scalability. Moreover, the framework enables a stateful fuzzer plugin to enhance implementation robustness checks.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
