Explore a 29-minute video presentation from the Erlang 2023 conference that introduces Faktory, a new tool for automatically generating property-based testing models. Learn how this Elixir library transforms API specifications and function contracts into executable state machines using the Makina DSL. Discover the tool's capabilities through three practical examples: testing a functional data structure, improving test-case generation by reusing results, and refining a generated model for a stateful key-value storage. Gain insights into overcoming the challenges of writing property-based testing models and enhancing software quality assurance processes.