Angelo Gargantini

Cited by

	All	Since 2020
Citations	4077	1332
h-index	32	18
i10-index	107	51

300

150

225

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202516 24 29 45 47 70 62 60 89 97 153 124 137 149 146 237 227 192 290 231 237 192 290 279 252 298 16

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Elvinia RiccobeneProfessore, Università di Milano, ItalyVerified email at unimi.it
Paolo ArcainiNational Institute of InformaticsVerified email at nii.ac.jp
patrizia scandurraUniversity of Bergamo (Italy)Verified email at unibg.it
Silvia Bonfanti, PhDUniversity of BergamoVerified email at unibg.it
Andrea CalvagnaUniversity of CataniaVerified email at cs.unict.it
Paolo VavassoriResearch fellow, Computer Science, Università di BergamoVerified email at unibg.it
Atif MashkoorJohannes Kepler University, Linz, AustriaVerified email at jku.at
Gordon FraserProfessor of Computer Science, University of PassauVerified email at uni-passau.de
Marco RadavelliIT Consultant at Akka TechnologiesVerified email at akka.eu
Matteo CamilliAssociate professor, Politecnico di MilanoVerified email at polimi.it
Constance HEITMEYER or Connie HE...Naval Research LaboratoryVerified email at nrl.navy.mil
Eros MagriComelit R&D, Comelit Group S.p.AVerified email at unibg.it
Marco GuarnieriAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Carlo BellettiniAssociate Professor of Computer Science, Università degli Studi di MilanoVerified email at unimi.it
Giancarlo FacoettiUniversity of BergamoVerified email at unibg.it
Egon BoergerProfessor of Computer Science, University of Pisa (Italy)Verified email at di.unipi.it
Justyna PetkeProfessor of Software Engineering, University College London, United KingdomVerified email at ucl.ac.uk
Salvatore RinzivilloKDDLab, ISTI, CNRVerified email at isti.cnr.it
Franz WotawaProfessor of Computer Science, Graz University of Technology, AustriaVerified email at ist.tugraz.at
Rachel Tzoref-BrillIBM Haifa Research LabVerified email at il.ibm.com

Angelo Gargantini

University of Bergamo

Verified email at unibg.it - Homepage

Formal methods software engineering testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Using model checking to generate tests from requirements specifications A Gargantini, C Heitmeyer ACM SIGSOFT Software Engineering Notes 24 (6), 146-162, 1999	580	1999
Asm-based testing: Coverage criteria and automatic test sequence generation A Gargantini, E Riccobene Journal of Universal Computer Science 7 (11), 1050-1067, 2001	115	2001
Using Spin to generate tests from ASM specifications A Gargantini, E Riccobene, S Rinzivillo International Workshop on Abstract State Machines, 263-277, 2003	108	2003
A metamodel-based language and a simulation engine for abstract state machines. A Gargantini, E Riccobene, P Scandurra J. Univers. Comput. Sci. 14 (12), 1949-1983, 2008	104	2008
A model‐driven process for engineering a toolset for a formal method P Arcaini, A Gargantini, E Riccobene, P Scandurra Software: Practice and Experience 41 (2), 155-166, 2011	96	2011
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications P Arcaini, A Gargantini, E Riccobene Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010	89	2010
A logic-based approach to combinatorial testing with constraints A Calvagna, A Gargantini International conference on Tests and proofs, 66-83, 2008	80	2008
A scenario-based validation language for ASMs A Carioni, A Gargantini, E Riccobene, P Scandurra Abstract State Machines, B and Z: First International Conference, ABZ 2008 …, 2008	77	2008
A semantic framework for metamodel-based languages A Gargantini, E Riccobene, P Scandurra Automated software engineering 16, 415-454, 2009	75	2009
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays A Calvagna, A Gargantini 2009 International conference on software testing, verification, and …, 2009	70	2009
Automated deductive requirements analysis of critical systems A Gargantini, A Morzenti ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (3), 255-307, 2001	69	2001
Generating tests for detecting faults in feature models P Arcaini, A Gargantini, P Vavassori 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015	68	2015
Encoding abstract state machines in PVS A Gargantini, E Riccobene International Workshop on Abstract State Machines, 303-322, 2000	65	2000
T‐wise combinatorial interaction test suites construction based on coverage inheritance A Calvagna, A Gargantini Software Testing, Verification and Reliability 22 (7), 507-526, 2012	61	2012
The novel Mechanical Ventilator Milano for the COVID-19 pandemic A Abba, C Accorsi, P Agnes, E Alessi, P Amaudruz, A Annovi, ... Physics of Fluids 33 (3), 2021	53	2021
A formal logic approach to constrained combinatorial testing A Calvagna, A Gargantini Journal of Automated Reasoning 45, 331-358, 2010	49	2010
Automatic review of Abstract State Machines by meta-property verification P Arcaini, A Gargantini, E Riccobene Proceedings of the Second NASA formal methods symposium, 4-13, 2010	48	2010
CoMA: conformance monitoring of java programs by abstract state machines P Arcaini, A Gargantini, E Riccobene International Conference on Runtime Verification, 223-238, 2011	45	2011
Model-driven language engineering: The ASMETA case study A Gargantini, E Riccobene, P Scandurra 2008 The Third International Conference on Software Engineering Advances …, 2008	45	2008
4 Conformance Testing A Gargantini Model-Based Testing of Reactive Systems: Advanced Lectures, 87-111, 2005	43	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors