conftrace_

model-based testing

3 papers

Explore in graph

Also known as

MBT

Co-occurring keywords · papers mentioning both

network protocol (1) route filtering (1) black-box testing (1) protocol verification (1) test case generation (1) backward compatibility (1) large language model (1) bgp protocol (1) route map (1) api specification (1)

Papers

Eywa: Automating Model-Based Testing using LLMs NSDI 2026 High Fidelity Models for Large Scale Stateful Services (Operational Systems) OSDI 2026 MESSI: Behavioral Testing of BGP Implementations NSDI 2024