Andrea Bombarda
Orcid: 0000-0003-4244-9319Affiliations:
- University of Bergamo, Italy
According to our database1,
Andrea Bombarda
authored at least 27 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Softw. Tools Technol. Transf., June, 2024
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems.
IEEE Trans. Software Eng., April, 2024
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools.
J. Syst. Softw., March, 2024
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models.
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024
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.
Softw. Test. Verification Reliab., March, 2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Incremental generation of combinatorial test suites starting from existing seed tests.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023
2022
Inf. Softw. Technol., 2022
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
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.
Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller.
Proceedings of the Testing Software and Systems, 2021
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Proceedings of the 14th IEEE International Conference on Software Testing, 2021
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021
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.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
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.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines.
Proceedings of the Testing Software and Systems, 2019