Treffer: Towards Substructural Property-Based Testing
Title:
Towards Substructural Property-Based Testing
Authors:
Contributors:
E. De Angeli, W. Vanhoof, M. Mantovani, A. Momigliano
Publisher Information:
Springer
Publication Year:
2022
Collection:
The University of Milan: Archivio Istituzionale della Ricerca (AIR)
Subject Terms:
Document Type:
Buch
book part
Language:
English
Relation:
info:eu-repo/semantics/altIdentifier/isbn/978-3-030-98868-5; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-98869-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000784654900006; ispartofbook:Logic-Based Program Synthesis and Transformation; LOPSTR; volume:13290; firstpage:92; lastpage:112; numberofpages:21; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:E. De Angelis, W. Vanhoof; https://hdl.handle.net/2434/922029
DOI:
10.1007/978-3-030-98869-2_6
Rights:
info:eu-repo/semantics/openAccess
Accession Number:
edsbas.A99EB579
Database:
BASE
Weitere Informationen
We propose to extend property-based testing to substructural logics to overcome the current lack of reasoning tools in the field. We take the first step by implementing a property-based testing system for specifications written in the linear logic programming language Lolli. We employ the foundational proof certificates architecture to model various data generation strategies. We validate our approach by encoding a model of a simple imperative programming language and its compilation and by testing its meta-theory via mutation analysis.