Scorri Autori Unibg  

Opzioni
Risultati da 61 a 80 di 189
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2011 Using 3D Vision for the diagnosis and treatment of amblyopia in young children Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 Generation of fault detecting tests from formal specifications by model checking Calvagna, Andrea; Gargantini, Angelo Michele 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2012 The ASMETA framework Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 epop: an Eclipse-based extensible research evaluator Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Test Generation for Sequential Nets of Abstract State Machines Arcaini, Paolo; Bolis, Francesco; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Components monitoring through formal specifications Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 CoMA: Conformance Monitoring of Java programs by Abstract State Machines Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Model-Driven Testing for Web Applications Using Abstract State Machines Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros; Musto, Lorenzo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros 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
1-gen-2012 Evolutionary Testing of PHP Web Applications with WETT Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros 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 Formal Semantics for Metamodel-Based Domain Specific Languages Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
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 An environment for contrast-based treatment of amblyopia using 3D technology Vitali, Andrea; Facoetti, Giancarlo; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Online Testing of LTL Properties for Java Code Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Guest editor’s introduction to the special section on tests and proofs Fraser, Gordon; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2013 AURORA: AUtomatic RObustness coveRage Analysis Tool Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati da 61 a 80 di 189
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