Andrea Bombarda

53 papers A 3B 2C 7Misc 2Journal 14Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Pipeline for Automated Phenotype Extraction from Medical Reports Using Large Language Models. BIOSTEC (3) Andrea Bombarda, Martina Saletta, Matteo Bellini, Lucrezia Goisis, Maria Iascone, Paolo Cazzaniga, Domenico Fabio Savo
2026	B	`conf`	Failure Modes and Effects Analysis: An Experience from the E-Bike Domain. FASE Andrea Bombarda, Federico Conti, Marcello Minervini, Aurora Francesca Zanenga, Claudio Menghi
2026	J	`jnl`	Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract). CoRR Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
2026	J	`jnl`	My feature model has changed... What should I do with my tests? J. Syst. Softw. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2026	J	`jnl`	Quantum Computing for Healthcare Digital Twin Systems. CoRR Asma Taheri Monfared, Andrea Bombarda, Angelo Gargantini, Majid Haghparast
2026	B	`conf`	Search-based Software Testing for Drone Applications: An Experience with the Simulink Environment. FASE Annalisa Sergi, Yousef Ahmed Abdel Rahman Shoeib, Andrea Bombarda, Nunzio Marco Bisceglia, Claudio Menghi
2025	—	`conf`	A Flexible and Open-Source Tool for Genetic Variant Annotation. BIOSTEC (2): HEALTHINF Andrea Bombarda, Matteo Bellini, Maria Iascone, Domenico Fabio Savo
2025	—	`conf`	A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models. ICSTW Paolo Arcaini, Andrea Bombarda, Angelo Gargantini
2025	Misc	`conf`	A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring. SAC Andrea Bombarda, Giuseppe Ruscica, Patrizia Scandurra
2025	—	`conf`	Automated Phenotype-Based Clustering of Clinical Reports Using Large Language Models. AIME (2) Martina Saletta, Andrea Bombarda, Matteo Bellini, Lucrezia Goisis, Paolo Cazzaniga, Maria Iascone, Domenico Fabio Savo
2025	J	`jnl`	Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems. Quantum Inf. Process. Asma Taheri Monfared, Andrea Bombarda, Angelo Gargantini, Majid Haghparast
2025	—	`conf`	Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications. NFM Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
2025	J	`jnl`	Failure Modes and Effects Analysis: An Experience from the E-Bike Domain. CoRR Andrea Bombarda, Federico Conti, Marcello Minervini, Aurora Francesca Zanenga, Claudio Menghi
2025	—	`conf`	Integrating Uncertainty Into U-Net Robustness Evaluation Under Natural MRI Alterations: Application to Kidney Segmentation. AIME (2) Rossella Damiano, Elisa Scalco, Marco L. Della Vedova, Alberto Arrigoni, Anna Caroli, Andrea Bombarda, Ettore Lanzarone
2025	C	`conf`	Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
2025	J	`jnl`	On the Completion of Partial Combinatorial Test Suites. SN Comput. Sci. Andrea Bombarda, Angelo Gargantini
2025	—	`conf`	QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations. SEAA (3) Fabio Pievani, Asma Taheri Monfared, Andrea Bombarda, Angelo Gargantini
2025	J	`jnl`	SIMSPIRE: A Simulator of the Respiratory System. IEEE Access Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2025	C	`conf`	Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected]. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli, Patrizia Scandurra
2025	J	`jnl`	Test Case Generation for Simulink Models: An Experience from the E-Bike Domain. CoRR Michael Marzella, Andrea Bombarda, Marcello Minervini, Nunzio Marco Bisceglia, Angelo Gargantini, Claudio Menghi
2025	—	`conf`	Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. SIGSOFT FSE Companion Aurora Francesca Zanenga, Nunzio Marco Bisceglia, Benedetta Ippoliti, Andrea Bombarda, Angelo Gargantini, Akshay Rajhans, Claudio Menghi
2024	—	`conf`	A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers. DeepTest@ICSE Wasim Essbai, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2024	—	`conf`	ASMETA Tool Set for Rigorous System Design. FM (2) Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024	—	`conf`	An Android App for Training New Doctors in Mechanical Ventilation. BIOSTEC (2) Andrea Bombarda, Sara Noto Millefiori, Michela Penzo, Luca Novelli, Angelo Gargantini
2024	J	`jnl`	Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. J. Syst. Softw. Andrea Bombarda, Angelo Gargantini
2024	J	`jnl`	Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2024	C	`conf`	From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2024	—	`conf`	Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing. ICSTW Andrea Bombarda, Angelo Gargantini
2024	—	`conf`	On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models. SPLC (A) Andrea Bombarda, Angelo Gargantini
2024	J	`jnl`	State of the CArt: evaluating covering array generators at scale. Int. J. Softw. Tools Technol. Transf. Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos
2024	—	`conf`	Testing the Evolution of Feature Models with Specific Combinatorial Tests. ICSTW Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2023	J	`jnl`	Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. CoRR Andrea Bombarda, Angelo Gargantini
2023	—	`conf`	Incremental generation of combinatorial test suites starting from existing seed tests. ICSTW Andrea Bombarda, Angelo Gargantini
2023	Misc	`conf`	Multi-thread Combinatorial Test Generation with SMT solvers. SAC Andrea Bombarda, Angelo Gargantini, Andrea Calvagna
2023	—	`conf`	On the Reuse of Existing Configurations for Testing Evolving Feature Models. SPLC (B) Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2023	J	`jnl`	RATE: A model-based testing approach that combines model refinement and test execution. Softw. Test. Verification Reliab. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan
2023	C	`conf`	formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2022	J	`jnl`	Guidelines for the development of a critical software under emergency. Inf. Softw. Technol. Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
2022	—	`conf`	Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. ICST Workshops Andrea Bombarda, Angelo Gargantini
2022	A	`conf`	Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
2022	—	`conf`	Towards an Evaluation Framework for Autonomous Systems. ACSOS-C Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2021	—	`conf`	An environment for benchmarking combinatorial test suite generators. ICST Workshops Andrea Bombarda, Edoardo Crippa, Angelo Gargantini
2021	C	`conf`	Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2021	—	`conf`	Efficient Computation of Robustness of Convolutional Neural Networks. AITest Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	C	`conf`	Extending ASMETA with Time Features. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2021	A	`conf`	Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
2021	A	`conf`	ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2020	—	`conf`	An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. ICST Workshops Andrea Bombarda, Angelo Gargantini
2020	—	`conf`	Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2019	C	`conf`	Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
2019	—	`conf`	Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. TOOLS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini