There is a newer version of this record available.

Software Open Access

Hypothesis: Property-Based Testing for Python

MacIver, David R.; Hatfield-Dodds, Zac; many other contributors

MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="">
  <controlfield tag="005">20230327181654.0</controlfield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">If you use Hypothesis as part of a published research project,
please cite our paper in the Journal of Open Source Software:


MacIver et al., (2019). Hypothesis: A new approach to property-based testing.
Journal of Open Source Software, 4(43), 1891,


  journal = {Journal of Open Source Software},
  doi = {10.21105/joss.01891},
  issn = {2475-9066},
  number = {43},
  publisher = {The Open Journal},
  title = {Hypothesis: A new approach to property-based testing},
  url = {},
  volume = {4},
  author = {MacIver, David and Hatfield-Dodds, Zac and Contributors, Many},
  pages = {1891},
  date = {2019-11-21},
  year = {2019},
  month = {11},
  day = {21},

To reference a particular version of Hypothesis as a software artifact,
you can use the version-specific DOIs we create for each release under</subfield>
  <controlfield tag="001">7338443</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Australian National University</subfield>
    <subfield code="0">(orcid)0000-0002-8646-8362</subfield>
    <subfield code="a">Hatfield-Dodds, Zac</subfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">many other contributors</subfield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">9762679</subfield>
    <subfield code="z">md5:723049d3d64c0f3d5b49e6e4efd931f7</subfield>
    <subfield code="u"></subfield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2022-11-19</subfield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o"></subfield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">Imperial College London</subfield>
    <subfield code="0">(orcid)0000-0002-8635-3223</subfield>
    <subfield code="a">MacIver, David R.</subfield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Hypothesis: Property-Based Testing for Python</subfield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u"></subfield>
    <subfield code="a">Mozilla Public License 2.0</subfield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2"></subfield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;"register_random()" has used "weakref" since 6.27.1 - 2021-11-22,
allowing the "Random"-compatible objects to be garbage-collected when
there are no other references remaining in order to avoid memory
leaks. We now raise an error or emit a warning when this seems likely
to happen immediately.&lt;/p&gt;
&lt;p&gt;The type annotation of "register_random()" was also widened so that
structural subtypes of "Random" are accepted by static typecheckers.&lt;/p&gt;
&lt;p&gt;&lt;em&gt;&lt;a href=""&gt;The canonical version of these notes (with links) is on readthedocs.&lt;/a&gt;&lt;/em&gt;&lt;/p&gt;</subfield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">url</subfield>
    <subfield code="i">isSupplementTo</subfield>
    <subfield code="a"></subfield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.1412597</subfield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.7338443</subfield>
    <subfield code="2">doi</subfield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
All versions This version
Views 6,9122
Downloads 22,9770
Data volume 85.3 GB0 Bytes
Unique views 5,8912
Unique downloads 9150


Cite as