VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time.

Hiba Awad Thomas Ledoux Hugo Bruneliere Jonathan Rivalan VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time. 1674-1691 2025 SAC https://doi.org/10.1145/3672608.3707854 conf/sac/2025 db/conf/sac/sac2025.html#AwadLBR25