conf.researchr.org / Angelo Gargantini
Registered user since Thu 19 Sep 2019
Name:Angelo Gargantini
Country:Italy
Affiliation:University of Bergamo
Personal website: https://cs.unibg.it/gargantini/
Research interests:Formal methods, model-based testing
Contributions
2025
ICST
2024
A-MOST
ICST
IWCT
2023
ICTSS
ICST
- Author of Robustness assessment and improvement of a neural network for blood oxygen pressure estimation within the Previous Editions-track
- Author of RATE: A model-based testing approach that combines model refinement and test execution within the Journal-First Papers-track
- Committee Member in Program Committee within the Posters-track
- Committee Member in Program Committee within the Tool Demo-track
- Committee Member in Program Committee within the Testing Tools-track