Suggestions appear as you type. Use the up and down arrows to choose one and Enter to open it.

PropEr

Free#7 of 27 in Property-Based Testing Tools

PropEr: A focused Erlang tool for generated properties, stateful models, and smaller failure cases. Ranked #7 of 27 in Property-Based Testing Tools by our editors (8.7/10); pricing: Free plan; best for erlang teams testing stateful systems.

8.7/10Editor score
PropEr8.7 Visit PropEr

At a glance

  • Editor score
    8.7 / 10
  • Pricing
    Free plan
  • Best for
    Erlang teams testing stateful systems
  • Free plan
    Yes
  • Paid from
    Free
  • Supported languages
    Erlang
  • Facts checked
    23 Sep 2026
PropEr screenshot
  • Where it wins

    • Generates inputs from PropEr types and native Erlang types
    • Tests stateful systems with generated command sequences
    • Attempts to shrink failures and supports targeted testing
  • Where it doesn't

    • Supports Erlang rather than a range of programming languages
    • Requires a self-hosted deployment
    • Support is community-based

Our verdict on PropEr

PropEr is an open-source property-based testing tool for developers writing Erlang programs. Rather than checking only hand-picked examples, teams define properties and input types, then generate inputs to check whether those properties hold. Its strongest fit is Erlang teams testing stateful systems: it can model state-machine behavior and exercise it with generated sequences of symbolic API calls. It can also test functions from Erlang specifications, making it relevant to teams that want property checks within an Erlang codebase rather than a separate testing platform.

The feature set goes beyond basic random input generation. PropEr can use its own types and Erlang native types to generate values, and it can derive generators from abstract data type API functions. For stateful testing, teams provide an abstract state-machine model and PropEr generates command sequences to compare behavior against that model. When a property fails, the tool attempts to shrink the failing test to a smaller counterexample, which can make the problematic case easier to inspect. Targeted property-based testing is also included. EUnit and Common Test integrations support using PropEr within those Erlang test workflows.

PropEr is open-source software with a free plan and self-hosted deployment; the published product details describe no paid tier. Support is community-based, so teams should be comfortable working with that support model. Its scope is deliberately tied to Erlang, which makes it a poor fit for organizations seeking one property-testing product across different programming languages. Erlang teams that need generated input, state-machine testing, and failure shrinking should consider it; teams looking for hosted deployment, commercial support, or a broader-language tool should look elsewhere.

Your product? Our editors can test PropEr in depth and publish a review, labelled as paid · from $149/mo →

PropEr pricing

Plans Free planFree Free to use — no paid tier required for the core job.
See plans on proper-testing.github.io

PropEr fact sheet

Free planYes
Paid fromFree
Supported languagesErlang
Test runner supportEUnit, Common Test
Failing-case shrinkingYes
Stateful testingYes
Reproducible failuresNot verified
Cases per runNot verified
DeploymentSelf-hosted
SupportCommunity
Built forSolo, Small business, Mid-market, Enterprise (editorial estimate)
Integrations2 integrations: EUnit, Common Test
PricingFree plan
Websiteproper-testing.github.io
Facts checked23 Sep 2026

PropEr integrations

PropEr lists 2 integrations on its own site.

  • EUnit
  • Common Test

Alternatives to PropEr

See all PropEr alternatives →

PropEr vs the competition

Compare PropEr with any tool side by side →

Used PropEr? Be the first to review it

The editor score above is our own research. What this page doesn't have yet is a reader's view — what you used PropEr for, what worked and what didn't. No stars are seeded and no review is paid for; an editor reads every one before it appears.

Write a reviewTwo minutes · verified accounts only · read by an editor before it appears

Reviews come only from verified accounts. Sign in or create an account first — your e-mail is never shown.

Your rating

0 characters · at least 80, up to 3,000

Posted from your verified account. Reviews appear after an editor reads them, usually within two working days.

Featured on iTechGuides

Featured on iTechGuides — PropEr 8.7/10

PropEr is listed in our Property-Based Testing Tools directory. Add the badge to your site — it links back to this page.

<a href="https://www.itechguides.com/products/proper/"><img src="https://www.itechguides.com/best/badge/proper.svg" alt="Featured on iTechGuides" width="230" height="46"></a>

Reviewed by iTechGuides Editors · Editorial team · Updated Oct 2026

Advertiser disclosure: iTechGuides is reader-supported. Vendors can pay for top positions in our rankings and for a place on other products' pages, and we may earn a commission when you click some links. Bought places stand at the number bought; this page and our disclosure say so. Paying vendors may get a fuller, more detailed review from our editors, and that review can change their score. How we rank.

Last updated · How we research and update