index.html

---
layout: default
title: "PropEr"
---
<!-- fulltitle: This overrides the default page title, which is "{{page.tite}} | {{site.title}}" -->
<!-- excerpt: If this isn't set, it'll pull your {{site.tagline}} for meta description-->


<p>PropEr is a tool for the automated, semi-random, property-based testing of
Erlang programs. It is fully integrated with Erlang's type language, and can
also be used for the model-based random testing of stateful systems.</p>

<p>Recent releases of PropEr also contain support for targeted property-based
testing, a powerful extension that brings techniques from search-based testing
into property-based testing.</p>

<p>To learn more about PropEr, see the <a href="/userguide.html">User Guide</a>.
Afterwards, you can <a href="/download.html">download a copy of PropEr</a>, <a
href="/api.html">browse its API documentation</a>, or read <a
href="/tips.html">tips</a> and <a href="/tutorials.html">tutorials</a> on the proper
use of this property-based testing tool.</p>

<p>This website is handheld-friendly: read PropEr tutorials on the go! Try
bookmarking this site on the main screen of your Android or Apple device.</p>

<h2>Contents</h2>
<ul>
<li><a href="/about.html">About</a>: Information about PropEr and its developers</li>
<li><a href="/api.html">API</a>: The PropEr API and its documentation</li>
<li><a href="/download.html">Download</a>: Instructions on obtaining PropEr</li>
<li><a href="/faq.html">FAQ</a>: Frequently Asked Questions with PropEr Answers</li>
<li><a href="/publications.html">Publications</a>: Papers and talks about PropEr</li>
<li><a href="/tips.html">Tips</a>: Tips on the effective use of PropEr</li>
<li><a href="/tutorials.html">Tutorials</a>: Tutorials on the PropEr use of this tool</li>
<li><a href="/userguide.html">User Guide</a>: PropEr's User Guide</li>
</ul>