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:
A.D.A. Momigliano
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
ICTCS 2020 : 21st Italian Conference on Theoretical Computer Science