P4Testgen: An Extensible Test Oracle For P4-16-Reference-Cited by-同舟云学术

P4Testgen: An Extensible Test Oracle For P4-16

Published:2023-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM SIGCOMM 2023 Conference
language:
Short-container-title:

Author:

Ruffy Fabian¹^ORCID,Liu Jed²^ORCID,Kotikalapudi Prathima³^ORCID,Havel Vojtech⁴^ORCID,Tavante Hanneli⁵^ORCID,Sherwood Rob⁶^ORCID,Dubina Vladyslav⁷^ORCID,Peschanenko Volodymyr⁷^ORCID,Sivaraman Anirudh⁸^ORCID,Foster Nate⁹^ORCID

Affiliation:

1. New York University, New York, New York, Germany

2. Akita Software, Palo Alto, California, USA

3. Intel, Santa Clara, San Francisco, USA

4. Intel, Brno, Czech Republic

5. Intel, Montreal, Canada

6. Intel, Santa Clara, California, United States of America

7. Litsoft, Cherson, Ukraine

8. New York University, New York, New York, United States of America

9. Cornell University, Ithaca, New York, United States of America

Funder

NSF

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3603269.3604834

Reference77 articles.

1. Kinan Dak Albab , Jonathan Dilorenzo , Stefan Heule , Ali Kheradmand , Steffen Smolka , Konstantin Weitz , Muhammad Tirmazi , Jiaqi Gao , and Minlan Yu. SwitchV : Automated SDN switch validation with P4 models . In ACM SIGCOMM , 2022 . Kinan Dak Albab, Jonathan Dilorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Tirmazi, Jiaqi Gao, and Minlan Yu. SwitchV: Automated SDN switch validation with P4 models. In ACM SIGCOMM, 2022.

2. SMT-COMP: Satisfiability Modulo Theories Competition

3. Antonin Bas . The reference P4 software switch. https://github.com/p4lang/behavioral-model , 2014 . Accessed : 2023-07-25. Antonin Bas. The reference P4 software switch. https://github.com/p4lang/behavioral-model, 2014. Accessed: 2023-07-25.

4. Antonin Bas . PTF: Packet testing framework. https://github.com/p4lang/ptf , 2015 . Accessed : 2023-07-25. Antonin Bas. PTF: Packet testing framework. https://github.com/p4lang/ptf, 2015. Accessed: 2023-07-25.

5. Programming with angelic nondeterminism

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Hybrid Testing System on P4 Cloud Gateway;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

2. A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

3. HOL4P4: Mechanized Small-Step Semantics for P4;Proceedings of the ACM on Programming Languages;2024-04-29

4. Toward Highly Reliable Programmable Data Planes: Verification of P4 Code Generation;2023 IEEE 9th International Conference on Network Softwarization (NetSoft);2023-06-19

5. Introducing P4TC-A P4 implementation on Linux Kernel using Traffic Control;2023