Follow
Andrea Bombarda
Title
Cited by
Cited by
Year
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
522021
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
242021
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
202019
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
192020
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
An environment for benchmarking combinatorial test suite generators
A Bombarda, E Crippa, A Gargantini
2021 IEEE International Conference on Software Testing, Verification and …, 2021
152021
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
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
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
92021
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
82023
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
72021
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
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
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
42021
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
P Arcaini, A Bombarda, S Bonfanti, A Gargantini, D Gamba, R Pedercini
32022
The system can't perform the operation now. Try again later.
Articles 1–20