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. 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.
Titolo: | Why Proof-Theory Matters in Specification-Based Testing |
Autori: | MOMIGLIANO, ALBERTO (Corresponding) |
Settore Scientifico Disciplinare: | Settore INF/01 - Informatica Settore MAT/01 - Logica Matematica |
Data di pubblicazione: | 2020 |
URL: | http://ceur-ws.org/Vol-2756/paper_9.pdf |
Tipologia: | Book Part (author) |
Appare nelle tipologie: | 03 - Contributo in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
paper_9.pdf | Publisher's version/PDF | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.