VAVASSORI, Paolo Statistiche
VAVASSORI, Paolo
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
A novel use of equivalent mutants for static anomaly detection in software artifacts
2017-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Vavassori, Paolo
Automated repairing of variability models
2017-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
Automatic Detection and Removal of Conformance Faults in Feature Models
2016-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
CitLab, a laboratory for combinatorial interaction testing
2016-04-15 Vavassori, Paolo
Validation of constraints among configuration parameters using search-based combinatorial interaction testing
2016-01-01 Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco; Vavassori, Paolo
Generating Tests for Detecting Faults in Feature Models
2015-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts
2015-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Vavassori, Paolo
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation
2015-01-01 Gargantini, Angelo Michele; Vavassori, Paolo
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams
2014-01-01 Gargantini, Angelo Michele; Vavassori, Paolo
Validation of Models and Tests for Constrained Combinatorial Interaction Testing
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
Combinatorial interaction testing with CITLAB
2013-01-01 Calvagna, Andrea; Gargantini, Angelo Michele; Vavassori, Paolo
Combinatorial testing for feature models using CitLab
2013-01-01 Calvagna, Andrea; Gargantini, Angelo Michele; Vavassori, Paolo
NuSeen: an eclipse-based environment for the NuSMV model checker
2013-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
CITLAB: A Laboratory for Combinatorial Interaction Testing
2012-01-01 Gargantini, Angelo Michele; Vavassori, Paolo
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2017 | A novel use of equivalent mutants for static anomaly detection in software artifacts | Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Vavassori, Paolo | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2017 | Automated repairing of variability models | Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2016 | Automatic Detection and Removal of Conformance Faults in Feature Models | Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 15-apr-2016 | CitLab, a laboratory for combinatorial interaction testing | Vavassori, Paolo | 1.9 Tesi di dottorato - Unibg doctoral theses::1.9.01 Tesi di dottorato | |
| 1-gen-2016 | Validation of constraints among configuration parameters using search-based combinatorial interaction testing | Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2015 | Generating Tests for Detecting Faults in Feature Models | Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2015 | Rehabilitating equivalent mutants as static anomaly detectors in software artifacts | Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2015 | Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation | Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2014 | Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams | Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2014 | Validation of Models and Tests for Constrained Combinatorial Interaction Testing | Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2013 | Combinatorial interaction testing with CITLAB | Calvagna, Andrea; Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2013 | Combinatorial testing for feature models using CitLab | Calvagna, Andrea; Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2013 | NuSeen: an eclipse-based environment for the NuSMV model checker | Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2012 | CITLAB: A Laboratory for Combinatorial Interaction Testing | Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |