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

Browse the full SAC paper archive.