Angelo Gargantini

Cited by

	All	Since 2019
Citations	4050	1544
h-index	32	20
i10-index	107	62

300

150

225

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202416 24 29 45 46 71 62 60 89 97 150 127 134 152 146 231 227 198 290 231 237 191 295 275 252 287

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 CamilliAssistant 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	575	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	69	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 Runtime Verification: Second International Conference, RV 2011, San …, 2012	45	2012
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