Post de CyberExcellence

Un grand bravo à Christophe Crochet et John Aoga pour la publication de leur dernier article "Network Simulator-Centric Compositional Testing (NSCT)" (#FORTE2024 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems) sur une nouvelle méthodologie pour améliorer la vérification des protocoles de réseau. 👏 Pour lire l’article ➡ https://lnkd.in/eX5Fc68R #NetworkTesting #Network #ModelBasedTesting #NSCT #NetworkProtocols #Verification #Simulation #QUIC #Ivy #ShadowSimulator #Research #CyberSecurity #Microsoft #Safety #Liveness #Reproducibility

Network Simulator-Centric Compositional Testing

Network Simulator-Centric Compositional Testing

link.springer.com

Identifiez-vous pour afficher ou ajouter un commentaire

Explorer les sujets