Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Marco Radavelli; Feng Duan; Yu Lei 001 (ICTSS, 2019)

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (TOOLS, 2019)

Dealing with Robustness of Convolutional Neural Networks for Image Classification. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (AITest, 2020)

An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. - Andrea Bombarda; Angelo Gargantini (ICST Workshops, 2020)

Efficient Computation of Robustness of Convolutional Neural Networks. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (AITest, 2021)

Extending ASMETA with Time Features. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (ABZ, 2021)

The ASMETA Approach to Safety Assurance of Software Systems. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Logic, Computation and Rigorous Methods, 2021)

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ICST, 2021)

An environment for benchmarking combinatorial test suite generators. - Andrea Bombarda; Edoardo Crippa; Angelo Gargantini (ICST Workshops, 2021)

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. - Andrea Bombarda; Silvia Bonfanti; Cristiano Galbiati; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Masayuki Wada (ISSRE, 2021)

Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ICTSS, 2021)

Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (AppFM@FM, 2021)

Towards an Evaluation Framework for Autonomous Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (ACSOS-C, 2022)

Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Daniele Gamba; Rita Pedercini (ICST, 2022)

Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. - Andrea Bombarda; Angelo Gargantini (ICST Workshops, 2022)

Guidelines for the development of a critical software under emergency. - Andrea Bombarda; Silvia Bonfanti; Cristiano Galbiati; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Masayuki Wada (Inf. Softw. Technol., 2022)

Incremental generation of combinatorial test suites starting from existing seed tests. - Andrea Bombarda; Angelo Gargantini (ICSTW, 2023)

Multi-thread Combinatorial Test Generation with SMT solvers. - Andrea Bombarda; Angelo Gargantini; Andrea Calvagna (SAC, 2023)

On the Reuse of Existing Configurations for Testing Evolving Feature Models. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (SPLC (B), 2023)

formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ABZ, 2023)

RATE: A model-based testing approach that combines model refinement and test execution. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Yu Lei 001; Feng Duan (Softw. Test. Verification Reliab., 2023)

An Android App for Training New Doctors in Mechanical Ventilation. - Andrea Bombarda; Sara Noto Millefiori; Michela Penzo; Luca Novelli; Angelo Gargantini (BIOSTEC (2), 2024)

ASMETA Tool Set for Rigorous System Design. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FM (2), 2024)

A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers. - Wasim Essbai; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (DeepTest@ICSE, 2024)

Testing the Evolution of Feature Models with Specific Combinatorial Tests. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ICSTW, 2024)

Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing. - Andrea Bombarda; Angelo Gargantini (ICSTW, 2024)

On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models. - Andrea Bombarda; Angelo Gargantini (SPLC (A), 2024)

From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ABZ, 2024)

Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. - Andrea Bombarda; Angelo Gargantini (J. Syst. Softw., 2024)

Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (IEEE Trans. Software Eng., 2024)

State of the CArt: evaluating covering array generators at scale. - Manuel Leithner; Andrea Bombarda; Michael Wagner 026; Angelo Gargantini; Dimitris E. Simos (Int. J. Softw. Tools Technol. Transf., 2024)

Integrating Uncertainty Into U-Net Robustness Evaluation Under Natural MRI Alterations: Application to Kidney Segmentation. - Rossella Damiano; Elisa Scalco; Marco L. Della Vedova; Alberto Arrigoni; Anna Caroli; Andrea Bombarda; Ettore Lanzarone (AIME (2), 2025)

Automated Phenotype-Based Clustering of Clinical Reports Using Large Language Models. - Martina Saletta; Andrea Bombarda; Matteo Bellini; Lucrezia Goisis; Paolo Cazzaniga; Maria Iascone; Domenico Fabio Savo (AIME (2), 2025)

A Flexible and Open-Source Tool for Genetic Variant Annotation. - Andrea Bombarda; Matteo Bellini; Maria Iascone; Domenico Fabio Savo (BIOSTEC (2): HEALTHINF, 2025)

A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models. - Paolo Arcaini; Andrea Bombarda; Angelo Gargantini (ICSTW, 2025)

Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Nico Pellegrinelli (NFM, 2025)

A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring. - Andrea Bombarda; Giuseppe Ruscica; Patrizia Scandurra (SAC, 2025)

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. - Aurora Francesca Zanenga; Nunzio Marco Bisceglia; Benedetta Ippoliti; Andrea Bombarda; Angelo Gargantini; Akshay Rajhans; Claudio Menghi (SIGSOFT FSE Companion, 2025)

Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Nico Pellegrinelli; Patrizia Scandurra (ABZ, 2025)

SIMSPIRE: A Simulator of the Respiratory System. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (IEEE Access, 2025)

Test Case Generation for Simulink Models: An Experience from the E-Bike Domain. - Michael Marzella; Andrea Bombarda; Marcello Minervini; Nunzio Marco Bisceglia; Angelo Gargantini; Claudio Menghi (CoRR, 2025)

On the Completion of Partial Combinatorial Test Suites. - Andrea Bombarda; Angelo Gargantini (SN Comput. Sci., 2025)