Python-by-contract dataset

Zhang, Jiyang; Ristin, Marko; Schanely, Phillip; van de Venn, Hans Wernher; Gligoric, Milos

doi:10.1145/3540250.3558917

Publication type:	Conference paper
Type of review:	Peer review (abstract)
Title:	Python-by-contract dataset
Authors:	Zhang, Jiyang Ristin, Marko Schanely, Phillip van de Venn, Hans Wernher Gligoric, Milos
et. al:	No
DOI:	10.1145/3540250.3558917
Proceedings:	Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Page(s):	1652
Pages to:	1656
Conference details:	30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Singapore, 14-18 November 2022
Issue Date:	2022
Publisher / Ed. Institution:	Association for Computing Machinery
ISBN:	978-1-4503-9413-0
Language:	English
Subjects:	Design by contract; Automatic testing tool; Dataset
Subject (DDC):	005: Computer programming, programs and data
Abstract:	Design-by-contract as a programming technique is becoming popular in Python community as various tools have been developed for automatically testing the code based on the contracts. However, there is no sufficiently large and representative Python code base with contracts to evaluate these different testing tools. We present Python-by-contract dataset containing 514 Python functions annotated with contracts using icontract library. We show that our Python-by-contract dataset can be easily used by existing testing tools that take advantage of contracts. The demo video can be found at https://youtu.be/08wZN-xh6mY.
URI:	https://digitalcollection.zhaw.ch/handle/11475/27079
Related research data:	https://github.com/mristin/python-by-contract-corpus
Fulltext version:	Published version
License (according to publishing contract):	Licence according to publishing contract
Departement:	School of Engineering
Organisational Unit:	Institute of Mechatronic Systems (IMS)
Appears in collections:	Publikationen School of Engineering

Files in This Item:

There are no files associated with this item.

Show full item record

Zhang, J., Ristin, M., Schanely, P., van de Venn, H. W., & Gligoric, M. (2022). Python-by-contract dataset [Conference paper]. Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 1652–1656. https://doi.org/10.1145/3540250.3558917

Zhang, J. et al. (2022) ‘Python-by-contract dataset’, in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery, pp. 1652–1656. Available at: https://doi.org/10.1145/3540250.3558917.

J. Zhang, M. Ristin, P. Schanely, H. W. van de Venn, and M. Gligoric, “Python-by-contract dataset,” in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022, pp. 1652–1656. doi: 10.1145/3540250.3558917.

ZHANG, Jiyang, Marko RISTIN, Phillip SCHANELY, Hans Wernher VAN DE VENN und Milos GLIGORIC, 2022. Python-by-contract dataset. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Conference paper. Association for Computing Machinery. 2022. S. 1652–1656. ISBN 978-1-4503-9413-0

Zhang, Jiyang, Marko Ristin, Phillip Schanely, Hans Wernher van de Venn, and Milos Gligoric. 2022. “Python-by-Contract Dataset.” Conference paper. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 1652–56. Association for Computing Machinery. https://doi.org/10.1145/3540250.3558917.

Zhang, Jiyang, et al. “Python-by-Contract Dataset.” Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Association for Computing Machinery, 2022, pp. 1652–56, https://doi.org/10.1145/3540250.3558917.