Scorri Autori Unibg  VAVASSORI, Paolo

Opzioni
Risultati da 1 a 14 di 14
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
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
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-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-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-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-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-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-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
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
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-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-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
Risultati da 1 a 14 di 14
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile