Why Proof-Theory Matters in Specification-Based Testing

Contributo in Atti di convegno

Data di Pubblicazione:

2020

Citazione:

Why Proof-Theory Matters in Specification-Based Testing / A.D.A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2020 : 21st Italian Conference on Theoretical Computer Science / [a cura di] G. Cordasco, L. Gargano, A.A. Rescigno. - [s.l] : CEUR-WS.org, 2020. - pp. 95-100 (( Intervento presentato al 21. convegno Italian Conference on Theoretical Computer Science tenutosi a Ischia nel 2020.

Abstract:

We survey some recent developments in giving a logical reconstruction of specification-based testing via the lenses of structural proof-theory.

Tipologia IRIS:

03 - Contributo in volume

Elenco autori: