Angelo Gargantini - Google Scholar

Cited by

	All	Since 2015
Citations	2645	1182
h-index	24	18
i10-index	67	44

260

130

195

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202013 21 31 44 41 67 60 57 88 97 151 118 131 137 144 222 221 159 256 211 233 98

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
Gordon FraserProfessor of Computer Science, University of PassauVerified email at uni-passau.de
Atif MashkoorSoftware Competence Center Hagenberg GmbH & Johannes Kepler University LinzVerified email at scch.at
Marco RadavelliPhD Student at University of BergamoVerified email at unibg.it
Matteo CamilliFree University of Bozen-BolzanoVerified email at unibz.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 GuarnieriIMDEA Software InstituteVerified email at imdea.org
Salvatore RinzivilloKDDLab, ISTI, CNRVerified email at isti.cnr.it
Giancarlo FacoettiUniversity of BergamoVerified email at unibg.it
Justyna PetkePrincipal Research Fellow and Proleptic Senior Lecturer, University College LondonVerified email at ucl.ac.uk
Carlo BellettiniAssociate Professor of Computer Science, Università degli Studi di MilanoVerified email at unimi.it
Egon BoergerProfessor of Computer Science, University of Pisa (Italy)Verified email at di.unipi.it
Franz WotawaGraz University of TechnologyVerified 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	513	1999
Using Spin to generate tests from ASM specifications A Gargantini, E Riccobene, S Rinzivillo International Workshop on Abstract State Machines, 263-277, 2003	95	2003
ASM-based testing: Coverage criteria and automatic test sequence generation A Gargantini, E Riccobene Journal of Universal Computer Science 7 (11), 1050-1067, 2001	94	2001
A logic-based approach to combinatorial testing with constraints A Calvagna, A Gargantini International Conference on Tests and Proofs, 66-83, 2008	70	2008
A metamodel-based language and a simulation engine for abstract state machines AM GARGANTINI, E Riccobene, P Scandurra Know-Center 14 (12), 1949-1983, 2008	70	2008
A semantic framework for metamodel-based languages A Gargantini, E Riccobene, P Scandurra Automated software engineering 16 (3-4), 415-454, 2009	67	2009
Encoding abstract state machines in PVS A Gargantini, E Riccobene International Workshop on Abstract State Machines, 303-322, 2000	64	2000
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	63	2011
Automated deductive requirements analysis of critical systems A Gargantini, A Morzenti ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (3), 255-307, 2001	63	2001
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications P Arcaini, A Gargantini, E Riccobene International Conference on Abstract State Machines, Alloy, B and Z, 61-74, 2010	60	2010
A scenario-based validation language for ASMs A Carioni, A Gargantini, E Riccobene, P Scandurra International Conference on Abstract State Machines, B and Z, 71-84, 2008	52	2008
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	46	2012
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	43	2009
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	39	2015
A formal logic approach to constrained combinatorial testing A Calvagna, A Gargantini Journal of Automated Reasoning 45 (4), 331-358, 2010	37	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	36	2011
Using model checking to generate fault detecting tests A Gargantini International Conference on Tests and Proofs, 189-206, 2007	36	2007
Model-driven language engineering: The ASMETA case study A Gargantini, E Riccobene, P Scandurra 2008 The Third International Conference on Software Engineering Advances …, 2008	34	2008
Automatic review of Abstract State Machines by meta-property verification P Arcaini, A Gargantini, E Riccobene NASA Formal Methods Symposium, 4-13, 2010	33	2010
4 Conformance Testing A Gargantini Model-based testing of reactive systems, 87-111, 2005	33	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

Upload PDF

Follow this author

Cited by

Co-authors