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
2023
ICST
- Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
- RATE: A model-based testing approach that combines model refinement and test execution
- 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
ICST 2023-profile
View general profile
View general profile