Explore a comprehensive approach to testing Infrastructure as Code (IaC) programs in this 31-minute conference talk from ACM SIGPLAN's CONFLANG23. Learn about ProTI, an automated unit testing method designed to enhance the development speed of Programming Languages Infrastructure as Code (PL-IaC). Discover how ProTI mocks cloud resources, implements pluggable oracles for configuration validation, and generates realistic test inputs. Gain insights into the benefits of using ProTI with Pulumi TypeScript, and understand how this approach enables early bug detection and rapid prototyping. Delve into the potential for developing more sophisticated oracles and generators to further improve PL-IaC program testing efficiency.