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">20221130100024.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">7126624</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">9755961</subfield>
    <subfield code="z">md5:124f92c6befe811313c0ac1c71b033eb</subfield>
    <subfield code="u"></subfield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2022-09-29</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;In preparation for future versions of the Array API standard,
"make_strategies_namespace()" now accepts an optional "api_version"
argument, which determines the version conformed to by the returned
strategies namespace. If "None", the version of the passed array
module "xp" is inferred.&lt;/p&gt;
&lt;p&gt;This release also introduces "xps.real_dtypes()". This is currently
equivalent to the existing "xps.numeric_dtypes()" strategy, but exists
because the latter is expected to include complex numbers in the next
version of the standard.&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.7126624</subfield>
    <subfield code="2">doi</subfield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
All versions This version
Views 6,6698
Downloads 22,9551
Data volume 85.1 GB9.8 MB
Unique views 5,6788
Unique downloads 8931


Cite as