Angelo Gargantini
Angelo Gargantini
Email verificata su unibg.it - Home page
TitoloCitata daAnno
Using model checking to generate tests from requirements specifications
A Gargantini, C Heitmeyer
ACM SIGSOFT Software Engineering Notes 24 (6), 146-162, 1999
4981999
Using Spin to generate tests from ASM specifications
A Gargantini, E Riccobene, S Rinzivillo
International Workshop on Abstract State Machines, 263-277, 2003
902003
ASM-based testing: Coverage criteria and automatic test sequence generation
A Gargantini, E Riccobene
Journal of Universal Computer Science 7 (11), 1050-1067, 2001
872001
A logic-based approach to combinatorial testing with constraints
A Calvagna, A Gargantini
International Conference on Tests and Proofs, 66-83, 2008
662008
A semantic framework for metamodel-based languages
A Gargantini, E Riccobene, P Scandurra
Automated software engineering 16 (3-4), 415-454, 2009
632009
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
632008
Encoding abstract state machines in PVS
A Gargantini, E Riccobene
International Workshop on Abstract State Machines, 303-322, 2000
632000
Automated deductive requirements analysis of critical systems
A Gargantini, A Morzenti
ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (3), 255-307, 2001
612001
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
512010
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
482011
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
442012
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
432008
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
402009
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
362015
A formal logic approach to constrained combinatorial testing
A Calvagna, A Gargantini
Journal of Automated Reasoning 45 (4), 331-358, 2010
352010
Using model checking to generate fault detecting tests
A Gargantini
International Conference on Tests and Proofs, 189-206, 2007
342007
CoMA: conformance monitoring of java programs by abstract state machines
P Arcaini, A Gargantini, E Riccobene
International Conference on Runtime Verification, 223-238, 2011
322011
4 Conformance Testing
A Gargantini
Model-based testing of reactive systems, 87-111, 2005
322005
Model-driven language engineering: The ASMETA case study
A Gargantini, E Riccobene, P Scandurra
2008 The Third International Conference on Software Engineering Advancesá…, 2008
312008
An evaluation of model checkers for specification based test case generation
G Fraser, A Gargantini
2009 International Conference on Software Testing Verification andá…, 2009
302009
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20