9 citations · 14 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025★ 3 cited
Network Simulator-centric Compositional Testing
Tom Rousseaux, Christophe Crochet, John Aoga +1
This article introduces a novel methodology, Network Simulator-centric Compositional Testing (NSCT), to enhance the verification of network protocols with a particular focus on tim…
cs.SE2025
PANTHER: Pluginizable Testing Environment for Network Protocols
Christophe Crochet, John Aoga, Axel Legay
In this paper, we introduce PANTHER, a modular framework for testing network protocols and formally verifying their specification. The framework incorporates a plugin architecture…