We survey some recent developments in giving a logical reconstruction of specification-based testing via the lenses of structural proof-theory.
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.
Why Proof-Theory Matters in Specification-Based Testing
A.D.A. Momigliano
2020
Abstract
We survey some recent developments in giving a logical reconstruction of specification-based testing via the lenses of structural proof-theory.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
paper_9.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
465.69 kB
Formato
Adobe PDF
|
465.69 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
