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

ICTSS 2023	Co-chair in Program Committee within the IFIP-ICTSS 35th International Conference on Testing Software and Systems-track
ICST 2023	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
IWCT 2023	Author of Incremental generation of combinatorial test suites starting from existing seed tests within the IWCT-track Co-chair in Program Committee within the IWCT-track Author of Opening Remarks for IWCT within the IWCT-track
ACSOS 2022	Author of Towards an Evaluation Framework for Autonomous Systems within the Main Track-track
A-MOST 2022	Programme Committee in Program Committee within the A-MOST 2022-track
IWCT 2022	Author of Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams within the IWCT 2022-track Co-chair in Program Chairs within the IWCT 2022-track
ICST 2022	Author of Robustness assessment and improvement of a neural network for blood oxygen pressure estimation within the Industry-track
A-MOST 2021	Committee Member in Program Committee within the A-MOST 2021-track
ICST 2021	Session Chair of Program Repair (part of Research Papers) Author of Uncertainty-aware Exploration in Model-based Testing within the Research Papers-track Author of ROBY: a Tool for Robustness Analysis of Neural Network Classifiers within the Testing Tools Track-track
IWCT 2021	Author of An environment for benchmarking combinatorial test suite generators within the IWCT 2021-track
INTUITESTBEDS 2020	Author of An Automated Testing Framework For Smart TV apps Based on Model Separation within the INTUITESTBEDS 2020-track
IWCT 2020	Author of An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines within the IWCT 2020-track
A-MOST 2020	Session Chair of Session II (part of A-MOST) Co-chair in Program Committee within the A-MOST-track Co-chair in Organizing Committee within the A-MOST-track