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
442021
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
162020
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
162019
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
142021
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
142020
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
122019
An environment for benchmarking combinatorial test suite generators
A Bombarda, E Crippa, A Gargantini
2021 IEEE International Conference on Software Testing, Verification and …, 2021
102021
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
82022
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
72021
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
62022
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
62021
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
62021
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
42023
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
42022
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
42021
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
32023
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
32021
Extending ASMETA with time features
A Bombarda, S Bonfanti, A Gargantini, E Riccobene
International Conference on Rigorous State-Based Methods, 105-111, 2021
32021
RATE: A model‐based testing approach that combines model refinement and test execution
A Bombarda, S Bonfanti, A Gargantini, Y Lei, F Duan
Software Testing, Verification and Reliability 33 (2), e1835, 2023
12023
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
12022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20