Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
