Explore a conference talk on Alembic, an automated model inference system for stateful network functions. Learn about the challenges of creating accurate models for complex network functions and how Alembic addresses these issues. Discover how the system uses symbolic finite-state machine representations and an ensemble approach to generate behavioral models for given configurations. Gain insights into the practical applications of Alembic in network testing and verification, and understand its potential impact on improving the accuracy and efficiency of network function modeling. Examine the evaluation results, including a case study on the Untangle Firewall, and consider the limitations and future directions of this innovative approach to network function modeling.