Follow
Angelo Gargantini
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
5551999
Asm-based testing: Coverage criteria and automatic test sequence generation
A Gargantini, E Riccobene
Journal of Universal Computer Science 7 (11), 1050-1067, 2001
1132001
Using Spin to generate tests from ASM specifications
ER Angelo Gargantini, S Rinzivillo
Abstract State Machines 2003: Advances in Theory and Practice: 10th …, 2003
1032003
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
902008
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
812011
A logic-based approach to combinatorial testing with constraints
A Calvagna, A Gargantini
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy …, 2008
792008
A semantic framework for metamodel-based languages
A Gargantini, E Riccobene, P Scandurra
Automated software engineering 16, 415-454, 2009
762009
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
742010
Automated deductive requirements analysis of critical systems
A Gargantini, A Morzenti
ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (3), 255-307, 2001
682001
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
642008
Encoding abstract state machines in PVS
A Gargantini, E Riccobene
Abstract State Machines-Theory and Applications: International Workshop, ASM …, 2002
642002
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
602009
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
572012
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
552015
A formal logic approach to constrained combinatorial testing
A Calvagna, A Gargantini
Journal of Automated Reasoning 45, 331-358, 2010
452010
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
412012
4 Conformance Testing
A Gargantini
Model-Based Testing of Reactive Systems: Advanced Lectures, 87-111, 2005
412005
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
402010
Model-driven language engineering: The ASMETA case study
A Gargantini, E Riccobene, P Scandurra
2008 The Third International Conference on Software Engineering Advances …, 2008
392008
Using model checking to generate fault detecting tests
A Gargantini
Tests and Proofs: First International Conference, TAP 2007, Zurich …, 2007
392007
The system can't perform the operation now. Try again later.
Articles 1–20