BOMBARDA, Andrea Statistiche
BOMBARDA, Andrea
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
ASMETA Tool Set for Rigorous System Design
2025-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers
2024-01-01 Essbai, Wasim; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
An Android App for Training New Doctors in Mechanical Ventilation
2024-01-01 Bombarda, Andrea; Millefiori, Sara; Penzo, Michela; Novelli, Luca; Gargantini, Angelo Michele
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools
2024-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models
2024-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
State of the CArt: evaluating covering array generators at scale
2024-01-01 Leithner, M.; Bombarda, Andrea; Wagner, M.; Gargantini, Angelo Michele; Simos, D. E.
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
2023-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Incremental generation of combinatorial test suites starting from existing seed tests
2023-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
Multi-thread Combinatorial Test Generation with SMT solvers
2023-01-01 Bombarda, Andrea; Gargantini, Angelo Michele; Calvagna, Andrea
On the Reuse of Existing Configurations for Testing Evolving Feature Models
2023-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
RATE: A model-based testing approach that combines model refinement and test execution
2023-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Lei, Yu; Duan, Feng
Software Quality Assurance per Sistemi Medici
2023-03-02 Bombarda, Andrea
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Guidelines for the development of a critical software under emergency
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams
2022-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
2022-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Gamba, Daniele; Pedercini, Rita
Towards an Evaluation Framework for Autonomous Systems
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
An environment for benchmarking combinatorial test suite generators
2021-01-01 Bombarda, Andrea; Crippa, Edoardo; Gargantini, Angelo Michele
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2025 | ASMETA Tool Set for Rigorous System Design | Bombarda, Andrea; Bonfanti, Silvia; 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-2024 | A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers | Essbai, Wasim; Bombarda, Andrea; Bonfanti, Silvia; 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-2024 | An Android App for Training New Doctors in Mechanical Ventilation | Bombarda, Andrea; Millefiori, Sara; Penzo, Michela; Novelli, Luca; 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-2024 | Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools | Bombarda, Andrea; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2024 | Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems | Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2024 | From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code | Bombarda, Andrea; Bonfanti, Silvia; 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-2024 | On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models | Bombarda, 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-2024 | State of the CArt: evaluating covering array generators at scale | Leithner, M.; Bombarda, Andrea; Wagner, M.; Gargantini, Angelo Michele; Simos, D. E. | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2023 | formal MVC: A Pattern for the Integration of ASM Specifications in UI Development | Bombarda, Andrea; Bonfanti, Silvia; 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-2023 | Incremental generation of combinatorial test suites starting from existing seed tests | Bombarda, 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-2023 | Multi-thread Combinatorial Test Generation with SMT solvers | Bombarda, Andrea; Gargantini, Angelo Michele; Calvagna, Andrea | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2023 | On the Reuse of Existing Configurations for Testing Evolving Feature Models | Bombarda, Andrea; Bonfanti, Silvia; 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-2023 | RATE: A model-based testing approach that combines model refinement and test execution | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Lei, Yu; Duan, Feng | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
2-mar-2023 | Software Quality Assurance per Sistemi Medici | Bombarda, Andrea | 1.9 Tesi di dottorato - Unibg doctoral theses::1.9.01 Tesi di dottorato | |
1-gen-2022 | Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller | Bombarda, Andrea; Bonfanti, Silvia; 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-2022 | Guidelines for the development of a critical software under emergency | Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2022 | Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams | Bombarda, 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-2022 | Robustness assessment and improvement of a neural network for blood oxygen pressure estimation | Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Gamba, Daniele; Pedercini, Rita | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2022 | Towards an Evaluation Framework for Autonomous Systems | Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; 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-2021 | An environment for benchmarking combinatorial test suite generators | Bombarda, Andrea; Crippa, Edoardo; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |