Towards Substructural Property-Based Testing

08/03/2021
by   Marco Mantovani, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

12/20/2018

Property-based testing for Spark Streaming

Stream processing has reached the mainstream in the last years, as a new...
12/17/2021

About a Proof Pearl: A Purported Solution to a POPLMARK Challenge Problem that is Not One

The POPLMARK Challenge comprises a set of problems intended to measure t...
05/28/2019

An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics

Denotational models should provide an opportunity for the revision of cu...
08/05/2019

Mull it over: mutation testing based on LLVM

This paper describes Mull, an open-source tool for mutation testing base...
08/14/2020

The Relevance of Classic Fuzz Testing: Have We Solved This One?

As fuzz testing has passed its 30th anniversary, and in the face of the ...
05/19/2017

RankPL: A Qualitative Probabilistic Programming Language

In this paper we introduce RankPL, a modeling language that can be thoug...
02/01/2018

HOL Light QE

We are interested in algorithms that manipulate mathematical expressions...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.