In-Depth Analysis of Kubernetes Manifest Verification Tools for Robust CNF Deployment. - Boubacar Diarra; Karine Guillouard; Meryem Ouzzif; Philippe Merle; Jean-Bernard Stefani (ICIN, 2024)