{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:31Z","timestamp":1750219951020,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1652517, CCF-2107291"],"award-info":[{"award-number":["CCF-1652517, CCF-2107291"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3558917","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"1652-1656","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Python-by-contract dataset"],"prefix":"10.1145","author":[{"given":"Jiyang","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marko","family":"Ristin","sequence":"additional","affiliation":[{"name":"Zurich University of Applied Sciences, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip","family":"Schanely","sequence":"additional","affiliation":[{"name":"n.n., n.n."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans Wernher","family":"van de Venn","sequence":"additional","affiliation":[{"name":"Zurich University of Applied Sciences, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milos","family":"Gligoric","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.88"},{"key":"e_1_3_2_1_2_1","volume-title":"Introduction to Programming","author":"Zurich ETH","year":"2015","unstructured":"ETH Zurich Chair of Software Engineering . 2015. Introduction to Programming 2015 . http:\/\/se.inf.ethz.ch\/courses\/2015b_fall\/eprog\/english_index.html#downloads [Online; accessed 15-August-2022] ETH Zurich Chair of Software Engineering. 2015. Introduction to Programming 2015. http:\/\/se.inf.ethz.ch\/courses\/2015b_fall\/eprog\/english_index.html#downloads [Online; accessed 15-August-2022]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Patrice Chalin. 2006. Are practitioners writing contracts? In Rigorous Development of Complex Fault-Tolerant Systems. 100\u2013113. \t\t\t\t  Patrice Chalin. 2006. Are practitioners writing contracts? In Rigorous Development of Complex Fault-Tolerant Systems. 100\u2013113.","DOI":"10.1007\/11916246_5"},{"key":"e_1_3_2_1_4_1","volume-title":"The EiffelBase library 22.05. https:\/\/www.eiffel.org\/doc\/solutions\/EiffelBase [Online","author":"Community Eiffel","year":"2022","unstructured":"Eiffel Community . 2022. The EiffelBase library 22.05. https:\/\/www.eiffel.org\/doc\/solutions\/EiffelBase [Online ; accessed 20- July - 2022 ] Eiffel Community. 2022. The EiffelBase library 22.05. https:\/\/www.eiffel.org\/doc\/solutions\/EiffelBase [Online; accessed 20-July-2022]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2017.9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_17"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774531"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"e_1_3_2_1_9_1","volume-title":"Einf\u00fchrung in die Programmierung Herbst","author":"Zurich ETH","year":"2019","unstructured":"ETH Zurich Laboratory for Software Technology . 2019. Einf\u00fchrung in die Programmierung Herbst 2019 . https:\/\/www.lst.inf.ethz.ch\/education\/archive\/Fall2019\/einfuehrung-in-die-programmierung-i\u2013252-0027-.html ETH Zurich Laboratory for Software Technology. 2019. Einf\u00fchrung in die Programmierung Herbst 2019. https:\/\/www.lst.inf.ethz.ch\/education\/archive\/Fall2019\/einfuehrung-in-die-programmierung-i\u2013252-0027-.html"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_12_1","volume-title":"dpcontracts - An implementation of contracts for Python. https:\/\/github.com\/deadpixi\/contracts [Online","author":"King Rob","year":"2022","unstructured":"Rob King . 2015. dpcontracts - An implementation of contracts for Python. https:\/\/github.com\/deadpixi\/contracts [Online ; accessed 20- July - 2022 ] Rob King. 2015. dpcontracts - An implementation of contracts for Python. https:\/\/github.com\/deadpixi\/contracts [Online; accessed 20-July-2022]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.015"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3135932.3135941"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01891"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01966091"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428285"},{"key":"e_1_3_2_1_19_1","volume-title":"icontract-hypothesis - Combine contracts and automatic testing. https:\/\/github.com\/mristin\/icontract-hypothesis [Online","author":"Ristin Marko","year":"2022","unstructured":"Marko Ristin . 2017. icontract-hypothesis - Combine contracts and automatic testing. https:\/\/github.com\/mristin\/icontract-hypothesis [Online ; accessed 20- July - 2022 ] Marko Ristin. 2017. icontract-hypothesis - Combine contracts and automatic testing. https:\/\/github.com\/mristin\/icontract-hypothesis [Online; accessed 20-July-2022]"},{"key":"e_1_3_2_1_20_1","volume-title":"icontract - Design-by-contract in Python3 with informative violation messages and inheritance. https:\/\/github.com\/Parquery\/icontract [Online","author":"Ristin Marko","year":"2022","unstructured":"Marko Ristin . 2018. icontract - Design-by-contract in Python3 with informative violation messages and inheritance. https:\/\/github.com\/Parquery\/icontract [Online ; accessed 20- July - 2022 ] Marko Ristin. 2018. icontract - Design-by-contract in Python3 with informative violation messages and inheritance. https:\/\/github.com\/Parquery\/icontract [Online; accessed 20-July-2022]"},{"key":"e_1_3_2_1_21_1","volume-title":"icontract documentation - Recipes. https:\/\/icontract.readthedocs.io\/en\/latest\/recipes.html#encapsulation-of-immutable-types [Online","author":"Ristin Marko","year":"2022","unstructured":"Marko Ristin . 2021. icontract documentation - Recipes. https:\/\/icontract.readthedocs.io\/en\/latest\/recipes.html#encapsulation-of-immutable-types [Online ; accessed 20- July - 2022 ] Marko Ristin. 2021. icontract documentation - Recipes. https:\/\/icontract.readthedocs.io\/en\/latest\/recipes.html#encapsulation-of-immutable-types [Online; accessed 20-July-2022]"},{"key":"e_1_3_2_1_22_1","volume-title":"CrossHair - An analysis tool for Python that blurs the line between testing and type systems. https:\/\/github.com\/pschanely\/CrossHair [Online","author":"Schanely Phillip","year":"2022","unstructured":"Phillip Schanely . 2017. CrossHair - An analysis tool for Python that blurs the line between testing and type systems. https:\/\/github.com\/pschanely\/CrossHair [Online ; accessed 20- July - 2022 ] Phillip Schanely. 2017. CrossHair - An analysis tool for Python that blurs the line between testing and type systems. https:\/\/github.com\/pschanely\/CrossHair [Online; accessed 20-July-2022]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568285"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00048"},{"key":"e_1_3_2_1_25_1","volume-title":"deal - Design by contract for Python. https:\/\/github.com\/life4\/deal [Online","author":"Voronov Nikita Gram","year":"2022","unstructured":"Nikita Gram Voronov . 2018. deal - Design by contract for Python. https:\/\/github.com\/life4\/deal [Online ; accessed 20- July - 2022 ] Nikita Gram Voronov. 2018. deal - Design by contract for Python. https:\/\/github.com\/life4\/deal [Online; accessed 20-July-2022]"},{"key":"e_1_3_2_1_26_1","volume-title":"Advent of Code","author":"Wastl Eric","year":"2020","unstructured":"Eric Wastl . 2020. Advent of Code 2020 . https:\/\/adventofcode.com\/2020\/about [Online; accessed 21-July-2022] Eric Wastl. 2020. Advent of Code 2020. https:\/\/adventofcode.com\/2020\/about [Online; accessed 21-July-2022]"},{"key":"e_1_3_2_1_27_1","volume-title":"PEP 316 - Programming by Contract for Python. https:\/\/peps.python.org\/pep-0316\/ [Online","author":"Way Terrence","year":"2022","unstructured":"Terrence Way . 2003. PEP 316 - Programming by Contract for Python. https:\/\/peps.python.org\/pep-0316\/ [Online ; accessed 20- July - 2022 ] Terrence Way. 2003. PEP 316 - Programming by Contract for Python. https:\/\/peps.python.org\/pep-0316\/ [Online; accessed 20-July-2022]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417943"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"],"location":"Singapore Singapore","acronym":"ESEC\/FSE '22"},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3558917","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3558917","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3558917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:03Z","timestamp":1750182543000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3558917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":28,"alternative-id":["10.1145\/3540250.3558917","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3558917","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}