Introduction to targeted property-based testing

See the slides at https://meeshkan.github.io/targeted-property-based-testing/.

elixir-propcheck

Examples of property-based testing including targeted property-based testing written in Elixir with PropCheck.

The project was initialized using mix:

$ mix new elixir-propcheck --app pbt

mix comes with Elixir.

python-hypothesis

Examples of targeted property-based testing using the Hypothesis library.

erlang-targeted-pbt

Examples of targeted property-based testing in Erlang. Project initialized with rebar3:

$ rebar3 new lib erlang-targeted-pbt