 | 2011 |
|---|
| 43 |       | Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene:
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions.
ASE 2011: 388-391 |
| 42 |  | Angelo Gargantini:
Using 3D Vision for the Diagnosis and Treatment of Amblyopia in Young Children.
HEALTHINF 2011: 472-476 |
| 41 | | Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene:
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines.
RV 2011: 223-238 |
| 40 | | Angelo Gargantini:
Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children
CoRR abs/1109.6288: (2011) |
| 39 | | Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene:
A model advisor for NuSMV specifications.
ISSE 7(2): 97-107 (2011) |
| 38 | | Angelo Gargantini,
Gordon Fraser:
Generating minimal fault detecting test suites for general Boolean specifications.
Information & Software Technology 53(11): 1263-1273 (2011) |
| 37 | | Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
A model-driven process for engineering a toolset for a formal method.
Softw., Pract. Exper. 41(2): 155-166 (2011) |
| 2010 |
|---|
| 36 | | Gordon Fraser,
Angelo Gargantini:
Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
Springer 2010 |
| 35 | | Paolo Arcaini,
Angelo Gargantini,
Elvinia Riccobene:
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications.
ASM 2010: 61-74 |
| 34 | | Gordon Fraser,
Angelo Gargantini:
Generating Minimal Fault Detecting Test Suites for Boolean Expressions.
ICST Workshops 2010: 37-45 |
| 33 | | Andrea Calvagna,
Angelo Gargantini:
A Formal Logic Approach to Constrained Combinatorial Testing.
J. Autom. Reasoning 45(4): 331-358 (2010) |
| 2009 |
|---|
| 32 | | Gordon Fraser,
Angelo Gargantini:
Experiments on the Test Case Length in Specification Based Test Case Generation.
AST 2009: 18-26 |
| 31 | | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Integrating Formal Methods with Model-Driven Engineering.
ICSEA 2009: 86-92 |
| 30 | | Gordon Fraser,
Angelo Gargantini:
An Evaluation of Model Checkers for Specification Based Test Case Generation.
ICST 2009: 41-50 |
| 29 | | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Ten Reasons to Metamodel ASMs.
Rigorous Methods for Software Construction and Analysis 2009: 33-49 |
| 28 | | Andrea Calvagna,
Angelo Gargantini:
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.
TAP 2009: 27-42 |
| 27 | | Andrea Calvagna,
Angelo Gargantini,
Emiliano Tramontana:
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing.
WETICE 2009: 213-218 |
| 26 | | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
A semantic framework for metamodel-based languages.
Autom. Softw. Eng. 16(3-4): 415-454 (2009) |
| 25 | | Gordon Fraser,
Angelo Gargantini,
Franz Wotawa:
On the order of test goals in specification-based testing.
J. Log. Algebr. Program. 78(6): 472-490 (2009) |
| 2008 |
|---|
| 24 | | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Exploiting the ASM Method for Validation & Verification of Embedded Systems.
ABZ 2008: 348 |
| 23 | | Alessandro Carioni,
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
A Scenario-Based Validation Language for ASMs.
ABZ 2008: 71-84 |
| 22 | | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
Alessandro Carioni:
Scenario-based Validation of Embedded Systems.
FDL 2008: 191-196 |
| 21 | | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Model-Driven Language Engineering: The ASMETA Case Study.
ICSEA 2008: 373-378 |
| 20 | | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
A model-driven validation & verification environment for embedded systems.
SIES 2008: 241-244 |
| 19 | | Andrea Calvagna,
Angelo Gargantini:
A Logic-Based Approach to Combinatorial Testing with Constraints.
TAP 2008: 66-83 |
| 18 | | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
A Metamodel-based Language and a Simulation Engine for Abstract State Machines.
J. UCS 14(12): 1949-1983 (2008) |
| 2007 |
|---|
| 17 | | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Exploiting the ASM method within the Model-driven Engineering paradigm.
Rigorous Methods for Software Construction and Analysis 2007 |
| 16 | | Angelo Gargantini:
Using Model Checking to Generate Fault Detecting Tests.
TAP 2007: 189-206 |
| 2006 |
|---|
| 15 | | Angelo Gargantini,
Angelo Morzenti:
Automated Verification of Continuous Time Systems by Discrete Temporal Induction.
TIME 2006: 19-26 |
| 2005 |
|---|
| 14 | | Patrizia Scandurra,
Angelo Gargantini,
Claudia Genovese,
Tiziana Genovese,
Elvinia Riccobene:
A Concrete Syntax Derived From the Abstract State Machine Metamodel.
Abstract State Machines 2005: 345-368 |
| 13 | | Angelo Gargantini,
Elvinia Riccobene:
ViBBA: A Toolbox for Automatic Model Driven Animation.
SimVis 2005: 101-114 |
| 2004 |
|---|
| 12 | | Angelo Gargantini:
Conformance Testing.
Model-Based Testing of Reactive Systems 2004: 87-111 |
| 2003 |
|---|
| 11 | | Egon Börger,
Angelo Gargantini,
Elvinia Riccobene:
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings
Springer 2003 |
| 10 | | Angelo Gargantini,
Elvinia Riccobene,
Salvatore Rinzivillo:
Using Spin to Generate Testsfrom ASM Specifications.
Abstract State Machines 2003: 263-277 |
| 9 | | Angelo Gargantini,
Elvinia Riccobene:
Automatic Model Driven Animation of SCR Specifications.
FASE 2003: 294-309 |
| 2001 |
|---|
| 8 | | Angelo Gargantini,
Angelo Morzenti:
Automated deductive requirements analysis of critical systems.
ACM Trans. Softw. Eng. Methodol. 10(3): 255-307 (2001) |
| 7 | | Angelo Gargantini,
Elvinia Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence.
J. UCS 7(11): 1050-1067 (2001) |
| 2000 |
|---|
| 6 | | Angelo Gargantini,
Elvinia Riccobene:
Encoding Abstract State Machines in PVS.
Abstract State Machines 2000: 303-322 |
| 1999 |
|---|
| 5 | | Angelo Gargantini,
Constance L. Heitmeyer:
Using Model Checking to Generate Tests from Requirements Specifications.
ESEC / SIGSOFT FSE 1999: 146-162 |
| 4 | | Angelo Gargantini,
Dino Mandrioli,
Angelo Morzenti:
Dealing with Zero-Time Transitions in Axiom Systems.
Inf. Comput. 150(2): 119-131 (1999) |
| 1998 |
|---|
| 3 | | Miguel Felder,
Angelo Gargantini,
Angelo Morzenti:
A Theory of Implementation and Refinement in Timed Petri Nets.
Theor. Comput. Sci. 202(1-2): 127-161 (1998) |
| 1997 |
|---|
| 2 | | Andrea Alborghetti,
Angelo Gargantini,
Angelo Morzenti:
Providing Automated Support to Deductive Analysis of Time Critical Systems.
ESEC / SIGSOFT FSE 1997: 211-226 |
| 1995 |
|---|
| 1 | | Angelo Gargantini,
Angelo Morzenti:
TRIO Specification of a Steam Boiler Controller.
Formal Methods for Industrial Applications 1995: 218-232 |
Data released under the ODC-BY 1.0 license — See also our legal information page