Angelo Gargantini
University of Bergamo(IT)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, Software Reliability and Analysis Research, Model-Driven Software Engineering Techniques, Advanced Software Engineering Methodologies
Most-Cited Works
- → Using model checking to generate tests from requirements specifications(1999)350 cited
- → ASM-Based Testing: Coverage Criteria and Automatic Test Sequence(2020)82 cited
- → A Metamodel-based Language and a Simulation Engine for Abstract State Machines(2020)77 cited
- → A model‐driven process for engineering a toolset for a formal method(2011)76 cited
- → Using Spin to Generate Tests from ASM Specifications(2003)76 cited
- → AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications(2010)75 cited
- → The novel Mechanical Ventilator Milano for the COVID-19 pandemic(2021)70 cited