Andrea Bombarda

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 28

Top Topics

Satisfiability Modulo Theories

Decision Diagrams

Test Generation

Top Venues

Publications

Andrea Bombarda, Sara Noto Millefiori, Michela Penzo, Luca Novelli, Angelo Gargantini
An Android App for Training New Doctors in Mechanical Ventilation. BIOSTEC (2) (2024)
Andrea Bombarda, Angelo Gargantini
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. J. Syst. Softw. 209 (2024)
Andrea Bombarda, Angelo Gargantini
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models. SPLC (A) (2024)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. ABZ (2024)
Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos
State of the CArt: evaluating covering array generators at scale. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. 50 (4) (2024)
Andrea Bombarda, Angelo Gargantini
Incremental generation of combinatorial test suites starting from existing seed tests. ICSTW (2023)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. ABZ (2023)
Andrea Bombarda, Angelo Gargantini, Andrea Calvagna
Multi-thread Combinatorial Test Generation with SMT solvers. SAC (2023)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan
RATE: A model-based testing approach that combines model refinement and test execution. Softw. Test. Verification Reliab. 33 (2) (2023)
Andrea Bombarda, Angelo Gargantini
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. CoRR (2023)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
On the Reuse of Existing Configurations for Testing Evolving Feature Models. SPLC (B) (2023)
Andrea Bombarda, Angelo Gargantini
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. ICST Workshops (2022)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST (2022)
Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
Guidelines for the development of a critical software under emergency. Inf. Softw. Technol. 152 (2022)
Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
Towards an Evaluation Framework for Autonomous Systems. ACSOS-C (2022)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST (2021)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Efficient Computation of Robustness of Convolutional Neural Networks. AITest (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods (2021)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Extending ASMETA with Time Features. ABZ (2021)
Andrea Bombarda, Edoardo Crippa, Angelo Gargantini
An environment for benchmarking combinatorial test suite generators. ICST Workshops (2021)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. ICTSS (2021)
Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest (2020)
Andrea Bombarda, Angelo Gargantini
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. ICST Workshops (2020)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ICTSS (2019)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. TOOLS (2019)