Angelo Gargantini

Gordon Fraser, Angelo Gargantini: Guest editor's introduction to the special section on tests and proofs. Software Quality Journal 21(1): 99-100 (2013)

Andrea Calvagna, Angelo Gargantini: T-wise combinatorial interaction test suites construction based on coverage inheritance. Softw. Test., Verif. Reliab. 22(7): 507-526 (2012)

Paolo Arcaini, Francesco Bolis, Angelo Gargantini: Test Generation for Sequential Nets of Abstract State Machines. ABZ 2012: 36-50

Angelo Gargantini, Paolo Vavassori: CITLAB: A Laboratory for Combinatorial Interaction Testing. ICST 2012: 559-568

Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto: Model-Driven Testing for Web Applications Using Abstract State Machines. ICWE Workshops 2012: 71-78

Angelo Gargantini, Marco Guarnieri, Eros Magri: Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. ICTSS 2012: 168-183

Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri: Evolutionary Testing of PHP Web Applications with WETT. SSBSE 2012: 285-291

Angelo Gargantini, Gordon Fraser: Generating minimal fault detecting test suites for general Boolean specifications. Information & Software Technology 53(11): 1263-1273 (2011)

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: A model advisor for NuSMV specifications. ISSE 7(2): 97-107 (2011)

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)

Angelo Gargantini: Using 3D Vision for the Diagnosis and Treatment of Amblyopia in Young Children. HEALTHINF 2011: 472-476

Angelo Gargantini: Dealing with Constraints in Boolean Expression Testing. ICST Workshops 2011: 322-327

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE 2011: 388-391

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV 2011: 223-238

Angelo Gargantini: Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children. CoRR abs/1109.6288 (2011)

Andrea Calvagna, Angelo Gargantini: A Formal Logic Approach to Constrained Combinatorial Testing. J. Autom. Reasoning 45(4): 331-358 (2010)

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM 2010: 61-74

Gordon Fraser, Angelo Gargantini: Generating Minimal Fault Detecting Test Suites for Boolean Expressions. ICST Workshops 2010: 37-45

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13

Gordon Fraser, Angelo Gargantini (Eds.): Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6143, Springer 2010, isbn 978-3-642-13976-5

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009)

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)

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis 2009: 33-49

Gordon Fraser, Angelo Gargantini: Experiments on the Test Case Length in Specification Based Test Case Generation. AST 2009: 18-26

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Integrating Formal Methods with Model-Driven Engineering. ICSEA 2009: 86-92

Andrea Calvagna, Angelo Gargantini: IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays. ICST Workshops 2009: 10-18

Gordon Fraser, Angelo Gargantini: An Evaluation of Model Checkers for Specification Based Test Case Generation. ICST 2009: 41-50

Andrea Calvagna, Angelo Gargantini: Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. TAP 2009: 27-42

Andrea Calvagna, Angelo Gargantini, Emiliano Tramontana: Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing. WETICE 2009: 213-218

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)

Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ 2008: 348

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni: Scenario-based Validation of Embedded Systems. FDL 2008: 191-196

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Model-Driven Language Engineering: The ASMETA Case Study. ICSEA 2008: 373-378

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A model-driven validation & verification environment for embedded systems. SIES 2008: 241-244

Andrea Calvagna, Angelo Gargantini: A Logic-Based Approach to Combinatorial Testing with Constraints. TAP 2008: 66-83

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis 2007

Angelo Gargantini: Using Model Checking to Generate Fault Detecting Tests. TAP 2007: 189-206

Angelo Gargantini, Angelo Morzenti: Automated Verification of Continuous Time Systems by Discrete Temporal Induction. TIME 2006: 19-26

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

Angelo Gargantini, Elvinia Riccobene: ViBBA: A Toolbox for Automatic Model Driven Animation. SimVis 2005: 101-114

Angelo Gargantini: Conformance Testing. Model-Based Testing of Reactive Systems 2004: 87-111

Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo: Using Spin to Generate Testsfrom ASM Specifications. Abstract State Machines 2003: 263-277

Angelo Gargantini, Elvinia Riccobene: Automatic Model Driven Animation of SCR Specifications. FASE 2003: 294-309

Egon Börger, Angelo Gargantini, Elvinia Riccobene (Eds.): Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Lecture Notes in Computer Science 2589, Springer 2003, isbn 3-540-00624-9

Angelo Gargantini, Elvinia Riccobene: ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. UCS 7(11): 1050-1067 (2001)

Angelo Gargantini, Angelo Morzenti: Automated deductive requirements analysis of critical systems. ACM Trans. Softw. Eng. Methodol. 10(3): 255-307 (2001)

Angelo Gargantini, Elvinia Riccobene: Encoding Abstract State Machines in PVS. Abstract State Machines 2000: 303-322

Angelo Gargantini, Dino Mandrioli, Angelo Morzenti: Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. 150(2): 119-131 (1999)

Angelo Gargantini, Constance L. Heitmeyer: Using Model Checking to Generate Tests from Requirements Specifications. ESEC / SIGSOFT FSE 1999: 146-162

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)

Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti: Providing Automated Support to Deductive Analysis of Time Critical Systems. ESEC / SIGSOFT FSE 1997: 211-226

Angelo Gargantini, Angelo Morzenti: TRIO Specification of a Steam Boiler Controller. Formal Methods for Industrial Applications 1995: 218-232