TY - RPRT TI - P4Testgen: An Extensible Test Oracle For P4 AU - Fabian Ruffy AU - Jed Liu AU - Prathima Kotikalapudi AU - Vojtěch Havel AU - Hanneli Tavante AU - Rob Sherwood AU - Vladyslav Dubina AU - Volodymyr Peschanenko AU - Anirudh Sivaraman AU - Nate Foster PY - 2023 DO - 10.1145/3603269.3604834 UR - https://arxiv.org/abs/2211.15300 ID - 2211.15300 ER -