BOMBARDA, Andrea Statistiche

BOMBARDA, Andrea  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 32 (tempo di esecuzione: 0.037 secondi).
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