Angelo Gargantini
Università degli Studi di Bergamo
H-index: 30
Europe-Italy
Top articles of Angelo Gargantini
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools
Journal of Systems and Software
2024/3/1
Andrea Bombarda
H-Index: 1
Angelo Gargantini
H-Index: 18
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers
2024
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
Formal Aspects of Computing
2024
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Patrizia Scandurra
H-Index: 13
Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings
2023/9/18
27th ACM International Systems and Software Product Line Conference, SPLC 2023: Welcome Message
2023/8/28
Iris Reinhartz-Berger
H-Index: 12
Shaukat Ali
H-Index: 16
Angelo Gargantini
H-Index: 18
Ivan Machado
H-Index: 12
Silvia Regina Vergilio
H-Index: 17
Rick Rabiser
H-Index: 20
Tao Yue
H-Index: 10
Xavier Devroey
H-Index: 12
Hironori Washizaki
H-Index: 19
Jacob Krüger
H-Index: 14
Fuyuki Ishikawa
H-Index: 31
Tsutomu Kobayashi
H-Index: 30
Proceedings of the 27th ACM International Systems and Software Product Line Conference-Volume A
2023/8/28
Iris Reinhartz-Berger
H-Index: 12
Shaukat Ali
H-Index: 16
Angelo Gargantini
H-Index: 18
Hironori Washizaki
H-Index: 19
On the Reuse of Existing Configurations for Testing Evolving Feature Models
2023/8/28
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
2023/5/15
Incremental generation of combinatorial test suites starting from existing seed tests
2023/4/16
Andrea Bombarda
H-Index: 1
Angelo Gargantini
H-Index: 18
Multi-thread combinatorial test generation with smt solvers
2023/3/27
RATE: A model‐based testing approach that combines model refinement and test execution
Software Testing, Verification and Reliability
2023/3
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype.
2023
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
General Message from the IWCT Chairs
2023
Angelo Gargantini
H-Index: 18
Guidelines for the development of a critical software under emergency
Information and Software Technology
2022/12/1
Andrea Bombarda
H-Index: 1
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Compositional simulation of abstract state machines for safety critical systems
2022/11/2
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Patrizia Scandurra
H-Index: 13
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device
2022/9/19
Angelo Gargantini
H-Index: 18
Raffaela Mirandola
H-Index: 21
Elvinia Riccobene
H-Index: 15
Patrizia Scandurra
H-Index: 13
Towards an evaluation framework for autonomous systems
2022/9/19
Andrea Bombarda
H-Index: 1
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Patrizia Scandurra
H-Index: 13
Parallel test generation for combinatorial models based on multivalued decision diagrams
2022/4/4
Andrea Bombarda
H-Index: 1
Angelo Gargantini
H-Index: 18
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
2022/4/4
Towards trust-preserving continuous co-evolution of digital twins
2022/3/12
Co-Authors
