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 | 52 | 2021 |
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 | 24 | 2021 |
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 | 21 | 2020 |
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 | 20 | 2019 |
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 | 19 | 2020 |
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 | 15 | 2022 |
An environment for benchmarking combinatorial test suite generators A Bombarda, E Crippa, A Gargantini 2021 IEEE International Conference on Software Testing, Verification and …, 2021 | 15 | 2021 |
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 | 14 | 2019 |
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 | 10 | 2022 |
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 | 10 | 2021 |
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 | 9 | 2021 |
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 | 8 | 2023 |
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 | 8 | 2021 |
Extending ASMETA with time features A Bombarda, S Bonfanti, A Gargantini, E Riccobene International Conference on Rigorous State-Based Methods, 105-111, 2021 | 7 | 2021 |
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 | 6 | 2023 |
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 | 6 | 2022 |
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 | 5 | 2021 |
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 | 4 | 2023 |
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 | 4 | 2021 |
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 | 3 | 2022 |