Scorri Autori Unibg
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing
2009-01-01 Calvagna, Andrea; Gargantini, Angelo Michele
Model-driven design and ASM-based analysis of embedded systems
2009-01-01 Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis
2010-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform
2010-01-01 Gargantini, Angelo Michele; Fraser, Gordon
Automatic review of Abstract State Machines by Meta Property Verification
2010-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course
2010-01-01 Scandurra, Patrizia; Gargantini, Angelo Michele; Salvaneschi, Guido
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings
2010-01-01 Fraser, Gordon; Gargantini, Angelo Michele
Preface [to: Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings]
2010-01-01 Fraser, Gordon; Gargantini, Angelo Michele
A Formal Logic Approach to Constrained Combinatorial Testing
2010-01-01 Calvagna, Andrea; Gargantini, Angelo Michele
ASM
2010-01-01 Boerger, Egon; Gargantini, Angelo Michele; Riccobene, Elvinia
Generating minimal fault detecting test suites for Boolean expressions
2010-01-01 Fraser, Gordon; Gargantini, Angelo Michele
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
2010-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children
2011-01-01 Gargantini, Angelo Michele
An eclipse-based environment for conformance testing by FSMs
2011-01-01 Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros
Using 3D Vision for the diagnosis and treatment of amblyopia in young children
2011-01-01 Gargantini, Angelo Michele
A model-driven process for engineering a toolset for a formal method
2011-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
T-wise combinatorial interaction test suites construction based on coverage inheritance
2011-01-01 Calvagna, Andrea; Gargantini, Angelo Michele
Generation of fault detecting tests from formal specifications by model checking
2011-01-01 Calvagna, Andrea; Gargantini, Angelo Michele
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions
2011-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Dealing with Constraints in Boolean Expression Testing
2011-01-01 Gargantini, Angelo Michele
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2009 | Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing | Calvagna, Andrea; 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-2009 | Model-driven design and ASM-based analysis of embedded systems | Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2010 | Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis | Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2010 | Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform | Gargantini, Angelo Michele; Fraser, Gordon | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2010 | Automatic review of Abstract State Machines by Meta Property Verification | Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2010 | On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course | Scandurra, Patrizia; Gargantini, Angelo Michele; Salvaneschi, Guido | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2010 | Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings | Fraser, Gordon; Gargantini, Angelo Michele | 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books | |
1-gen-2010 | Preface [to: Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings] | Fraser, Gordon; Gargantini, Angelo Michele | 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords | |
1-gen-2010 | A Formal Logic Approach to Constrained Combinatorial Testing | Calvagna, Andrea; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2010 | ASM | Boerger, Egon; Gargantini, Angelo Michele; Riccobene, Elvinia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2010 | Generating minimal fault detecting test suites for Boolean expressions | Fraser, Gordon; 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-2010 | AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications | Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2011 | Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children | Gargantini, Angelo Michele | Working paper del Dipartimento di Ingegneria gestionale, dell'informazione e della produzione::WPs - Dep. of Information Technology and Mathematical Methods (2004-2012) | |
1-gen-2011 | An eclipse-based environment for conformance testing by FSMs | 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-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 | A model-driven process for engineering a toolset for a formal method | Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2011 | T-wise combinatorial interaction test suites construction based on coverage inheritance | Calvagna, Andrea; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
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-2011 | Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions | 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-2011 | Dealing with Constraints in Boolean Expression Testing | Gargantini, Angelo Michele | 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