Segui
Andrea Bombarda
Titolo
Citata da
Citata da
Anno
The novel Mechanical Ventilator Milano for the COVID-19 pandemic
A Abba, C Accorsi, P Agnes, E Alessi, P Amaudruz, A Annovi, ...
Physics of Fluids 33 (3), 2021
532021
The ASMETA Approach to Safety Assurance of Software Systems
P Arcaini, A Bombarda, S Bonfanti, A Gargantini, E Riccobene, ...
Logic, Computation and Rigorous Methods, 215-238, 2021
252021
Dealing with Robustness of Convolutional Neural Networks for Image Classification
P Arcaini, A Bombarda, S Bonfanti, A Gargantini
2020 IEEE International Conference On Artificial Intelligence Testing …, 2020
222020
An automata-based generation method for combinatorial sequence testing of finite state machines
A Bombarda, A Gargantini
2020 IEEE international conference on software testing, verification and …, 2020
212020
Developing medical devices from abstract state machines to embedded systems: a smart pill box case study
A Bombarda, S Bonfanti, A Gargantini
Software Technology: Methods and Tools: 51st International Conference, TOOLS …, 2019
212019
An environment for benchmarking combinatorial test suite generators
A Bombarda, E Crippa, A Gargantini
2021 IEEE International Conference on Software Testing, Verification and …, 2021
162021
Guidelines for the development of a critical software under emergency
A Bombarda, S Bonfanti, C Galbiati, A Gargantini, P Pelliccione, ...
Information and Software Technology 152, 107061, 2022
152022
Combining model refinement and test generation for conformance testing of the IEEE PHD protocol using abstract state machines
A Bombarda, S Bonfanti, A Gargantini, M Radavelli, F Duan, Y Lei
Testing Software and Systems: 31st IFIP WG 6.1 International Conference …, 2019
142019
Multi-thread combinatorial test generation with smt solvers
A Bombarda, A Gargantini, A Calvagna
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 1698-1705, 2023
112023
ROBY: a tool for robustness analysis of neural network classifiers
P Arcaini, A Bombarda, S Bonfanti, A Gargantini
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
112021
Parallel test generation for combinatorial models based on multivalued decision diagrams
A Bombarda, A Gargantini
2022 IEEE International Conference on Software Testing, Verification and …, 2022
102022
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA
A Bombarda, S Bonfanti, A Gargantini, E Riccobene
arXiv preprint arXiv:2111.08204, 2021
102021
Lessons learned from the development of a mechanical ventilator for COVID-19
A Bombarda, S Bonfanti, C Galbiati, A Gargantini, P Pelliccione, ...
2021 IEEE 32nd International Symposium on Software Reliability Engineering …, 2021
82021
Extending ASMETA with time features
A Bombarda, S Bonfanti, A Gargantini, E Riccobene
International Conference on Rigorous State-Based Methods, 105-111, 2021
82021
Incremental generation of combinatorial test suites starting from existing seed tests
A Bombarda, A Gargantini
2023 IEEE International Conference on Software Testing, Verification and …, 2023
62023
Towards an evaluation framework for autonomous systems
A Bombarda, S Bonfanti, M De Sanctis, A Gargantini, P PelliccioneT, ...
2022 IEEE International Conference on Autonomic Computing and Self …, 2022
62022
Automatic test generation with ASMETA for the mechanical ventilator milano controller
A Bombarda, S Bonfanti, A Gargantini
IFIP International Conference on Testing Software and Systems, 65-72, 2021
52021
Efficient computation of robustness of convolutional neural networks
P Arcaini, A Bombarda, S Bonfanti, A Gargantini
2021 IEEE International Conference On Artificial Intelligence Testing …, 2021
52021
On the reuse of existing configurations for testing evolving feature models
A Bombarda, S Bonfanti, A Gargantini
Proceedings of the 27th ACM International Systems and Software Product Line …, 2023
42023
State of the CArt: evaluating covering array generators at scale
M Leithner, A Bombarda, M Wagner, A Gargantini, DE Simos
International Journal on Software Tools for Technology Transfer, 1-26, 2024
32024
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20