Angelo Gargantini

Angelo Gargantini, Emiliano Tramontana, Andrea Calvagna, 2009, 2009 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises.

Abstract State Machines 2003

Angelo Gargantini, Elvinia Riccobene, Egon Börger, 2003, Lecture Notes in Computer Science.

A Formal Logic Approach to Constrained Combinatorial Testing

Angelo Gargantini, Andrea Calvagna, A. Gargantini, 2010, Journal of Automated Reasoning.

On the order of test goals in specification-based testing

Angelo Gargantini, Gordon Fraser, Franz Wotawa, 2009, J. Log. Algebraic Methods Program..

Automated deductive requirements analysis of critical systems

Angelo Gargantini, Angelo Morzenti, A. Morzenti, 2001, TSEM.

Generating Tests for Detecting Faults in Feature Models

Paolo Arcaini, Angelo Gargantini, Paolo Vavassori, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

The ASMETA framework

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2012 .

Code-Aware Combinatorial Interaction Testing pdf

Angelo Gargantini, Miroslav Bures, Cemal Yilmaz, 2019, IET Softw..

NuSeen: A Tool Framework for the NuSMV Model Checker

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Formal Semantics for Metamodel-Based Domain Specific Languages

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2013 .

Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing

Angelo Gargantini, Justyna Petke, Marco Radavelli, 2016, SSBSE.

Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino

Angelo Gargantini, Atif Mashkoor, Silvia Bonfanti, 2017, NFM.

An Evaluation of Specification Based Test Generation Techniques Using Model Checkers

Angelo Gargantini, Gordon Fraser, 2009, 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques.

Scenario-based validation of embedded systems

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2008, 2008 Forum on Specification, Verification and Design Languages.

Combinatorial Interaction Testing for Automated Constraint Repair

Angelo Gargantini, Justyna Petke, Marco Radavelli, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

CITLAB: A Laboratory for Combinatorial Interaction Testing

Angelo Gargantini, Paolo Vavassori, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Exploiting the ASM method for Validation and Verification of Embedded Systems (short presentation)

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2008 .

Model-Driven System Validation by Scenarios

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2008, FDL.

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets

Angelo Gargantini, Carlo Bellettini, Patrizia Scandurra, 2017, NFM.

Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings

Angelo Gargantini, Elvinia Riccobene, Egon Börger, 2003, Abstract State Machines.

epop: an Eclipse-based extensible research evaluator

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2012 .

MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Towards Inverse Uncertainty Quantification in Software Development (Short Paper)

Angelo Gargantini, Carlo Bellettini, Patrizia Scandurra, 2017, SEFM.

Measuring Stereoacuity by 3D Technology

Angelo Gargantini, Andrea Vitali, Giancarlo Facoetti, 2014, REHAB.

A Concrete Syntax Derived From the Abstract State Machine Metamodel

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2005, Abstract State Machines.

An Automated Testing Framework For Smart TV apps Based on Model Separation

Angelo Gargantini, Miroslav Bures, Bestoun S. Ahmed, 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Rigorous development process of a safety-critical system: from ASM models to Java code

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2017, International Journal on Software Tools for Technology Transfer.

Unified Syntax for Abstract State Machines

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2016, ABZ.

Formal validation and verification of a medical software critical component

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).

Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations

Paolo Arcaini, Angelo Gargantini, Marco Radavelli, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Specifying, validating, and testing a traffic management system in the TRIO environment

Angelo Gargantini, Angelo Morzenti, L. Liberati, 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.

Dealing with Zero-Time Transitions in Axiom Systems

Angelo Gargantini, Dino Mandrioli, Angelo Morzenti, 1999, Inf. Comput..

Test generation for sequential nets of Abstract State Machines with information passing

Paolo Arcaini, Angelo Gargantini, Paolo Arcaini, 2014, Sci. Comput. Program..

A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection

Angelo Gargantini, Marco Radavelli, Bernhard Garn, 2019, IEA/AIE.

T‐wise combinatorial interaction test suites construction based on coverage inheritance

Angelo Gargantini, Andrea Calvagna, 2012, Softw. Test. Verification Reliab..

Addressing Usability in a Formal Development Environment

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2019, FM Workshops.

Online Testing of LTL Properties for Java Code

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2013, Haifa Verification Conference.

Test Generation for Sequential Nets of Abstract State Machines

Paolo Arcaini, Angelo Gargantini, Francesco Bolis, 2012, ABZ.

Using SMT for dealing with nondeterminism in ASM-based runtime verification

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2016, ABZ.

A Theory of Implementation and Refinement in Timed Petri Nets

Angelo Gargantini, Miguel Felder, Angelo Morzenti, 1998, Theor. Comput. Sci..

Generation of fault detecting tests from formal specifications by model checking

Angelo Gargantini, Andrea Calvagna, 2011 .

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes

Angelo Gargantini, Marco Guarnieri, Eros Magri, 2012, ICTSS.

Automated Verification of Continuous Time Systems by Discrete Temporal Induction

Angelo Gargantini, Angelo Morzenti, 2006, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications

Angelo Gargantini, Patrizia Scandurra, Matteo Camilli, 2019, IFM.

Automatic Detection and Removal of Conformance Faults in Feature Models

Paolo Arcaini, Angelo Gargantini, Paolo Vavassori, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Visual Notation and Patterns for Abstract State Machines

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2016, STAF Workshops.

ViBBA: A Toolbox for Automatic Model Driven Animation

Angelo Gargantini, Elvinia Riccobene, 2005, SimVis.

A systematic literature review of the use of formal methods in medical software systems

Angelo Gargantini, Atif Mashkoor, Silvia Bonfanti, 2018, J. Softw. Evol. Process..

Intelligent Autonomous Systems

Paolo Arcaini, Angelo Gargantini, Atif Mashkoor, 2020, Computer.

Using 3D Vision for the Diagnosis and Treatment of Amblyopia in Young Children

Angelo Gargantini, A. Gargantini, 2011, HEALTHINF.

Dealing with Constraints in Boolean Expression Testing

Angelo Gargantini, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

Guest editor’s introduction to the special section on tests and proofs

Angelo Gargantini, Gordon Fraser, 2012, Software Quality Journal.

Using mutation to assess fault detection capability of model review

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2015, Softw. Test. Verification Reliab..

An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines

Angelo Gargantini, Andrea Bombarda, A. Gargantini, 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

A random dot stereoacuity test based on 3D technology

Angelo Gargantini, Andrea Vitali, Giancarlo Facoetti, 2014, PervasiveHealth.

Specifying and verifying real-time self-adaptive systems

Angelo Gargantini, Patrizia Scandurra, Matteo Camilli, 2015, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).

Proceedings of the 4th international conference on Tests and proofs

Angelo Gargantini, Gordon Fraser, 2010 .

Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform

Angelo Gargantini, Gordon Fraser, 2010 .

Metamodelling a formal method : applying MDE to abstract state machines

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2006 .

Providing automated support to deductive analysis of time critical systems

Angelo Gargantini, Angelo Morzenti, Andrea Alborghetti, 1997, ESEC '97/FSE-5.

Fault‐based test generation for regular expressions by mutation

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2019, Softw. Test. Verification Reliab..

A novel use of equivalent mutants for static anomaly detection in software artifacts

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2017, Inf. Softw. Technol..

A model advisor for NuSMV specifications

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2011, Innovations in Systems and Software Engineering.

Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings

Angelo Gargantini, Gordon Fraser, 2010 .

Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints

Angelo Gargantini, Andrea Calvagna, 2008, FM'08 2008.

Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams

Angelo Gargantini, Paolo Vavassori, 2014, Haifa Verification Conference.

Regular Expression Learning with Evolutionary Testing and Repair

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2019, ICTSS.

Validation of Models and Tests for Constrained Combinatorial Interaction Testing

Paolo Arcaini, Angelo Gargantini, Paolo Vavassori, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

Exploiting the ASM Method for Validation & Verification of Embedded Systems

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2008, ABZ.

ASM-Based Testing: Coverage Criteria and Automatic Test Sequence

Angelo Gargantini, Elvinia Riccobene, E. Riccobene, 2001, J. Univers. Comput. Sci..

Interactive Testing and Repairing of Regular Expressions

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2018, ICTSS.

Closing the gap between the specification and the implementation: the ASMETA way

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2018, Models: Concepts, Theory, Logic, Reasoning and Semantics.

Model-based offline and online testing for medical software

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2016 .

IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays

Angelo Gargantini, Andrea Calvagna, 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2010, ASM.

An Evaluation of Model Checkers for Specification Based Test Case Generation

Angelo Gargantini, Gordon Fraser, G. Fraser, 2009, 2009 International Conference on Software Testing Verification and Validation.

An Environment for Domestic Supervised Amblyopia Treatment

Angelo Gargantini, Andrea Vitali, Giancarlo Facoetti, 2014, HCI.

Improving model-based test generation by model decomposition

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2015, ESEC/SIGSOFT FSE.

Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2010 .

A Metamodel-based Simulator for ASMs

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2007 .

General message from the workshop organizers - IWCT

Angelo Gargantini, D. Richard Kuhn, Raghu N. Kacker, 2015, ICSTW 2015.

Generating minimal fault detecting test suites for general Boolean specifications

Angelo Gargantini, Gordon Fraser, G. Fraser, 2011, Inf. Softw. Technol..

Design and validation of a C++ code generator from Abstract State Machines specifications

Angelo Gargantini, Atif Mashkoor, Silvia Bonfanti, 2019, J. Softw. Evol. Process..

NuSeen: an eclipse-based environment for the NuSMV model checker

Paolo Arcaini, Angelo Gargantini, Paolo Vavassori, 2013 .

AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2007 .

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2020, ABZ.

A Logic-Based Approach to Combinatorial Testing with Constraints

Angelo Gargantini, Andrea Calvagna, 2008, TAP.

SMT-Based Automatic Proof of ASM Model Refinement

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2016, SEFM.

Automated Repairing of Variability Models

Paolo Arcaini, Angelo Gargantini, Paolo Vavassori, 2017, SPLC.

Exploiting the ASM method within the Model-driven Engineering paradigm

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2007, Rigorous Methods for Software Construction and Analysis.

Model-Driven Design and ASM-Based Validation of Embedded Systems

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2010 .

Model-Driven Testing for Web Applications Using Abstract State Machines

Angelo Gargantini, Marco Guarnieri, Francesco Bolis, 2012, ICWE Workshops.

Abstract State Machines. A Method for System Specification and Analysis

Angelo Gargantini, Elvinia Riccobene, Egon Börger, 2006 .

Encoding Abstract State Machines in PVS

Angelo Gargantini, Elvinia Riccobene, 2000, Abstract State Machines.

Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors

Angelo Gargantini, Silvia Bonfanti, 2015, REHAB.

Combinatorial Testing: From Algorithms to Applications

Angelo Gargantini, Rachel Tzoref, 2016, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing

Angelo Gargantini, Andrea Calvagna, 2009, TAP@TOOLS.

Model-Driven Language Engineering: The ASMETA Case Study

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2008, 2008 The Third International Conference on Software Engineering Advances.

Using Model Checking to Generate Fault Detecting Tests

Angelo Gargantini, 2007, TAP.

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

Angelo Gargantini, Silvia Bonfanti, Andrea Bombarda, 2019, TOOLS.

Stereo Digital Displays for Diagnosis and Treatment of Amblyopia

Angelo Gargantini, Silvia Bonfanti, 2018 .

Decomposition-Based Approach for Model-Based Test Generation

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2019, IEEE Transactions on Software Engineering.

A Mobile Application for the Stereoacuity Test

Angelo Gargantini, Andrea Vitali, Silvia Bonfanti, 2015, HCI.

Integrating formal methods into medical software development: The ASM approach

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2017, Sci. Comput. Program..

Model‐based hypothesis testing of uncertain software systems

Angelo Gargantini, Patrizia Scandurra, Matteo Camilli, 2020, Softw. Test. Verification Reliab..

Using decision trees to aid algorithm selection in combinatorial interaction tests generation

Angelo Gargantini, Paolo Vavassori, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Repairing Timed Automata Clock Guards through Abstraction and Testing

Paolo Arcaini, Angelo Gargantini, Marco Radavelli, 2019, TAP@FM.

SMT for state-based formal methods: the ASM case study

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2017, AFM@NFM.

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2014, ABZ.

Achieving Change Requirements of Feature Models by an Evolutionary Approach

Paolo Arcaini, Angelo Gargantini, Marco Radavelli, 2019, J. Syst. Softw..

CoMA: Conformance Monitoring of Java Programs by Abstract State Machines

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2011, RV.

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines

Feng Duan, Angelo Gargantini, Yu Lei, 2019, ICTSS.

Automatic Model Driven Animation of SCR Specifications

Angelo Gargantini, Elvinia Riccobene, 2003, FASE.

A Process for Fault-Driven Repair of Constraints Among Features

Paolo Arcaini, Angelo Gargantini, Marco Radavelli, 2019, SPLC.

Migrating Combinatorial Interaction Test Modeling and Generation to the Web

Angelo Gargantini, Marco Radavelli, A. Gargantini, 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

AURORA: AUtomatic RObustness coveRage Analysis Tool

Angelo Gargantini, Marco Guarnieri, Eros Magri, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2006 .

An eclipse-based environment for conformance testing by FSMs

Angelo Gargantini, Marco Guarnieri, Eros Magri, 2011 .

A Scenario-Based Validation Language for ASMs

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2008, ABZ.

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving

Angelo Gargantini, Cyrille Artho, Eun-Hye Choi, 2018, SAFECOMP.

Generation of C++ Unit Tests from Abstract State Machines Specifications

Angelo Gargantini, Atif Mashkoor, Silvia Bonfanti, 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Zone-based formal specification and timing analysis of real-time self-adaptive systems

Angelo Gargantini, Patrizia Scandurra, Matteo Camilli, 2018, Sci. Comput. Program..

Ten Reasons to Metamodel ASMs

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2009, Rigorous Methods for Software Construction and Analysis.

Experiments on the test case length in specification based test case generation

Angelo Gargantini, Gordon Fraser, 2009, 2009 ICSE Workshop on Automation of Software Test.

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

Angelo Gargantini, Atif Mashkoor, Silvia Bonfanti, 2018, MEDI Workshops.

Integrating Formal Methods with Model-Driven Engineering

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, 2009, 2009 Fourth International Conference on Software Engineering Advances.

Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children pdf

Angelo Gargantini, A. Gargantini, 2011, ArXiv.

Combinatorial Testing for Feature Models Using CitLab

Angelo Gargantini, Andrea Calvagna, Paolo Vavassori, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

An environment for benchmarking combinatorial test suite generators

Angelo Gargantini, Andrea Bombarda, Edoardo Crippa, 2021, 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Efficient Computation of Robustness of Convolutional Neural Networks

Paolo Arcaini, Angelo Gargantini, Silvia Bonfanti, 2021, 2021 IEEE International Conference on Artificial Intelligence Testing (AITest).

The ASMETA Approach to Safety Assurance of Software Systems

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2021, Logic, Computation and Rigorous Methods.

Extending ASMETA with Time Features

Angelo Gargantini, Elvinia Riccobene, Silvia Bonfanti, 2021, ABZ.

Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study

Angelo Gargantini, Silvia Bonfanti, A. Gargantini, 2021, HEALTHINF.

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers

Paolo Arcaini, Angelo Gargantini, Silvia Bonfanti, 2021, 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).

Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA

Angelo Gargantini, Elvinia Riccobene, Silvia Bonfanti, 2021, AppFM@FM.

Uncertainty-aware Exploration in Model-based Testing

Angelo Gargantini, Catia Trubiani, Patrizia Scandurra, 2021, 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).

Design principles , implementation guidelines , evaluation criteria for system openness and flexibility and use case implementations

Angelo Gargantini, Patrizia Scandurra, Marco Pedroni, 2010 .

Runtime monitoring of Java programs by Abstract State Machines

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, 2011 .