Scorri Autori Unibg
Using 3D Vision for the diagnosis and treatment of amblyopia in young children
2011-01-01 Gargantini, Angelo Michele
Generation of fault detecting tests from formal specifications by model checking
2011-01-01 Calvagna, Andrea; Gargantini, Angelo Michele
The ASMETA framework
2012-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
epop: an Eclipse-based extensible research evaluator
2012-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Test Generation for Sequential Nets of Abstract State Machines
2012-01-01 Arcaini, Paolo; Bolis, Francesco; Gargantini, Angelo Michele
Components monitoring through formal specifications
2012-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
CoMA: Conformance Monitoring of Java programs by Abstract State Machines
2012-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Model-Driven Testing for Web Applications Using Abstract State Machines
2012-01-01 Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros; Musto, Lorenzo
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes
2012-01-01 Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros
CITLAB: A Laboratory for Combinatorial Interaction Testing
2012-01-01 Gargantini, Angelo Michele; Vavassori, Paolo
Evolutionary Testing of PHP Web Applications with WETT
2012-01-01 Bolis, Francesco; Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros
NuSeen: an eclipse-based environment for the NuSMV model checker
2013-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
Combinatorial interaction testing with CITLAB
2013-01-01 Calvagna, Andrea; Gargantini, Angelo Michele; Vavassori, Paolo
Formal Semantics for Metamodel-Based Domain Specific Languages
2013-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Combinatorial testing for feature models using CitLab
2013-01-01 Calvagna, Andrea; Gargantini, Angelo Michele; Vavassori, Paolo
An environment for contrast-based treatment of amblyopia using 3D technology
2013-01-01 Vitali, Andrea; Facoetti, Giancarlo; Gargantini, Angelo Michele
Online Testing of LTL Properties for Java Code
2013-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism
2013-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Guest editor’s introduction to the special section on tests and proofs
2013-01-01 Fraser, Gordon; Gargantini, Angelo Michele
AURORA: AUtomatic RObustness coveRage Analysis Tool
2013-01-01 Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros
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 |
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