EverythingXiaomi
For vendors
AdvertiseTop spots, featured rows, home sponsor Get listedAdd a product we don't cover yet Claim a listingFree: verify the domain, then correct your page Vendor dashboardNumbers, orders and placements
List your app
Vendor dashboard

PropEr

C
C tier on Property-Based Testing ToolsScore 6.6 · #7 of 27
Android app
Not listed
Free plan
Yes
Runs on
self-hosted
proper-testing.github.io
The PropEr homepage
Visit site Alternatives

Summary

PropEr is ranked #7 of 27 in property-based testing tools on Everything Xiaomi. It runs on Self-hosted. There is a free plan.

PropEr plans and pricing

All plans
PropEr Free Open-source software · GPL version 3 or later proper-testing.github.io · 5 Oct 2026

Compared on property-based testing tools

Free plan
Yesproper-testing.github.io
Supported languages
Erlangproper-testing.github.io
Test runner support
EUnit, Common Testproper-testing.github.io
Failing-case shrinking
Yesproper-testing.github.io
Stateful testing
Yesproper-testing.github.io

Facts

Purpose
PropEr is a tool for automated, semi-random, property-based testing of Erlang programs.proper-testing.github.io · 5 Oct 2026
Targeted testing
Recent releases support targeted property-based testing, which brings search-based testing techniques into property-based testing.proper-testing.github.io · 5 Oct 2026
Erlang types
Erlang type declarations can be used as input specifications, and PropEr can generate data from them.proper-testing.github.io · 5 Oct 2026
Automatic testing
PropEr can test functions automatically using information in their Erlang specifications.proper-testing.github.io · 5 Oct 2026
Properties
Properties are written using Erlang expressions with predefined macros.proper-testing.github.io · 5 Oct 2026
Installation
The user guide describes obtaining source from GitHub, compiling it with make, or installing it with Homebrew.proper-testing.github.io · 5 Oct 2026
Integrations
The user guide explains using PropEr with EUnit and describes handling a shared ?LET macro and captured output.proper-testing.github.io · 5 Oct 2026
License
PropEr is open-source software distributed under the GPL, version 3 or later.proper-testing.github.io · 5 Oct 2026
Support
The developers invite comments, suggestions, feature requests, bug reports, patches, and other contributions through the project website, GitHub, or email.proper-testing.github.io · 5 Oct 2026
Known limitation
PropEr's generator language and Erlang type language differ for list expressions, allowing generators to specify lists of particular lengths and element types.proper-testing.github.io · 5 Oct 2026
Constraints
Constraints that cannot be expressed in Erlang's type language can be expressed with custom generators; the FAQ cautions that filtering may keep trying random values until one passes.proper-testing.github.io · 5 Oct 2026
Intended users
PropEr is designed for testing programs written in Erlang, with a focus on pure functions and library modules for stateful code.proper-testing.github.io · 5 Oct 2026

Best PropEr alternatives

See all 20
Btier Gopter #1 7.0 FreeCtier fast-check #2 6.9 FreeCtier Scala Hedgehog #3 6.9 FreeCtier CsCheck #4 6.7 FreeCtier QuickCheck #5 6.7 FreeCtier Hypothesis #6 6.6

Where it ranks on Everything Xiaomi

Is PropEr yours?

Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.

Claim it free Promote PropEr

Sources