Andrea Bombarda

J. Syst. Softw., March, 2024

An Android App for Training New Doctors in Mechanical Ventilation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024

2023

RATE: A model-based testing approach that combines model refinement and test execution.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., March, 2023

formal MVC: A Pattern for the Integration of ASM Specifications in UI Development.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

On the Reuse of Existing Configurations for Testing Evolving Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Multi-thread Combinatorial Test Generation with SMT solvers.

[BibT_eX]

[DOI]

Andrea Calvagna

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Incremental generation of combinatorial test suites starting from existing seed tests.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

Guidelines for the development of a critical software under emergency.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2022

Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Robustness assessment and improvement of a neural network for blood oxygen pressure estimation.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Towards an Evaluation Framework for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2021

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

An environment for benchmarking combinatorial test suite generators.

[BibT_eX]

[DOI]

Edoardo Crippa

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

The ASMETA Approach to Safety Assurance of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

Extending ASMETA with Time Features.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Efficient Computation of Robustness of Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Dealing with Robustness of Convolutional Neural Networks for Image Classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study.

[BibT_eX]

[DOI]