Michele De Pascalis

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Static Analysis

Symbolic Execution

Building Blocks

Top Venues

Publications

Michele Chiari, Michele De Pascalis, Matteo Pradella
Static Analysis of Infrastructure as Code: a Survey. CoRR (2022)
Michele Chiari, Michele De Pascalis, Matteo Pradella
Static Analysis of Infrastructure as Code: a Survey. ICSA Companion (2022)