We generalize the principle of counter example-guided data abstraction refinement (CEGAR) to guided refinement of Software Product Lines (SPL) and of analysis tools. We also add a problem decomposition step. The result is a framework for formal SPL analysis via guided refinement and divide-and-conquer, through sound orchestration of multiple tools.
Titolo: | Abstraction refinement for the analysis of software product lines | |
Autori Riconosciuti: | ||
Autori: | Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael | |
Data di pubblicazione: | 2017 | |
Abstract: | We generalize the principle of counter example-guided data abstraction refinement (CEGAR) to guided refinement of Software Product Lines (SPL) and of analysis tools. We also add a problem decomposition step. The result is a framework for formal SPL analysis via guided refinement and divide-and-conquer, through sound orchestration of multiple tools. | |
Editore: | Springer Verlag | |
Titolo del libro: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
Volume: | 10375 | |
Pagina iniziale: | 3 | |
Pagina finale: | 20 | |
Nome del convegno: | 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017 | |
Luogo del convegno: | deu | |
Anno del convegno: | 2017 | |
Digital Object Identifier (DOI): | 10.1007/978-3-319-61467-0_1 | |
ISBN: | 9783319614663 | |
URL: | https://link.springer.com/chapter/10.1007%2F978-3-319-61467-0_1 | |
Parole Chiave: | Theoretical Computer Science; Computer Science (all) | |
Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
LNCS-TAP-2017-Damiani-et-al.pdf | Articolo principale (conferenza) | PDF EDITORIALE | Utenti riconosciuti Richiedi una copia | |
TAP-2017_Damiani-EtAl-OPEN.pdf | Articolo principale (conferenza) | POSTPRINT (VERSIONE FINALE DELL’AUTORE) | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.