https://www.educative.io/courses/property-based-testing-proper-erlang/the-application-the-database-module
Learn how the database module handles queries, loads, runs, and reformats results for effective property-based testing with PropEr in Erlang.
property based testingunderstandingdatabasemodule