TRIO Specification of a Steam Boiler Controller. - Angelo Gargantini; Angelo Morzenti (Formal Methods for Industrial Applications, 1995)

Providing Automated Support to Deductive Analysis of Time Critical Systems. - Andrea Alborghetti; Angelo Gargantini; Angelo Morzenti (ESEC / SIGSOFT FSE, 1997)

A Theory of Implementation and Refinement in Timed Petri Nets. - Miguel Felder; Angelo Gargantini; Angelo Morzenti (Theor. Comput. Sci., 1998)

Using Model Checking to Generate Tests from Requirements Specifications. - Angelo Gargantini; Constance L. Heitmeyer (ESEC / SIGSOFT FSE, 1999)

Dealing with Zero-Time Transitions in Axiom Systems. - Angelo Gargantini; Dino Mandrioli; Angelo Morzenti (Inf. Comput., 1999)

Encoding Abstract State Machines in PVS. - Angelo Gargantini; Elvinia Riccobene (Abstract State Machines, 2000)

ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. - Angelo Gargantini; Elvinia Riccobene (J. Univers. Comput. Sci., 2001)

Automated deductive requirements analysis of critical systems. - Angelo Gargantini; Angelo Morzenti (ACM Trans. Softw. Eng. Methodol., 2001)

Using Spin to Generate Testsfrom ASM Specifications. - Angelo Gargantini; Elvinia Riccobene; Salvatore Rinzivillo (Abstract State Machines, 2003)

Automatic Model Driven Animation of SCR Specifications. - Angelo Gargantini; Elvinia Riccobene (FASE, 2003)

Conformance Testing. - Angelo Gargantini (Model-Based Testing of Reactive Systems, 2004)

A Concrete Syntax Derived From the Abstract State Machine Metamodel. - Patrizia Scandurra; Angelo Gargantini; Claudia Genovese; Tiziana Genovese; Elvinia Riccobene (Abstract State Machines, 2005)

ViBBA: A Toolbox for Automatic Model Driven Animation. - Angelo Gargantini; Elvinia Riccobene (SimVis, 2005)

Automated Verification of Continuous Time Systems by Discrete Temporal Induction. - Angelo Gargantini; Angelo Morzenti (TIME, 2006)

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

Using Model Checking to Generate Fault Detecting Tests. - Angelo Gargantini (TAP, 2007)

A Scenario-Based Validation Language for ASMs. - Alessandro Carioni; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2008)

Exploiting the ASM Method for Validation & Verification of Embedded Systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2008)

Model-Driven System Validation by Scenarios. - Alessandro Carioni; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FDL (Selected Papers), 2008)

Scenario-based Validation of Embedded Systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra; Alessandro Carioni (FDL, 2008)

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

A model-driven validation & verification environment for embedded systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (SIES, 2008)

A Logic-Based Approach to Combinatorial Testing with Constraints. - Andrea Calvagna; Angelo Gargantini (TAP, 2008)

A Metamodel-based Language and a Simulation Engine for Abstract State Machines. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (J. Univers. Comput. Sci., 2008)

Ten Reasons to Metamodel ASMs. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Rigorous Methods for Software Construction and Analysis, 2009)

Experiments on the Test Case Length in Specification Based Test Case Generation. - Gordon Fraser 001; Angelo Gargantini (AST, 2009)

Integrating Formal Methods with Model-Driven Engineering. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ICSEA, 2009)

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

An Evaluation of Model Checkers for Specification Based Test Case Generation. - Gordon Fraser 001; Angelo Gargantini (ICST, 2009)

Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. - Andrea Calvagna; Angelo Gargantini (TAP@TOOLS, 2009)

Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing. - Andrea Calvagna; Angelo Gargantini; Emiliano Tramontana (WETICE, 2009)

A semantic framework for metamodel-based languages. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Autom. Softw. Eng., 2009)

On the order of test goals in specification-based testing. - Gordon Fraser 001; Angelo Gargantini; Franz Wotawa (J. Log. Algebraic Methods Program., 2009)

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

Generating Minimal Fault Detecting Test Suites for Boolean Expressions. - Gordon Fraser 001; Angelo Gargantini (ICST Workshops, 2010)

Automatic Review of Abstract State Machines by Meta Property Verification. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (NASA Formal Methods, 2010)

A Formal Logic Approach to Constrained Combinatorial Testing. - Andrea Calvagna; Angelo Gargantini (J. Autom. Reason., 2010)

Using 3D Vision for the Diagnosis and Treatment of Amblyopia in Young Children. - Angelo Gargantini (HEALTHINF, 2011)

Dealing with Constraints in Boolean Expression Testing. - Angelo Gargantini (ICST Workshops, 2011)

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

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

Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children - Angelo Gargantini (CoRR, 2011)

Generating minimal fault detecting test suites for general Boolean specifications. - Angelo Gargantini; Gordon Fraser 001 (Inf. Softw. Technol., 2011)

A model advisor for NuSMV specifications. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Innov. Syst. Softw. Eng., 2011)

A model-driven process for engineering a toolset for a formal method. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Softw. Pract. Exp., 2011)

Test Generation for Sequential Nets of Abstract State Machines. - Paolo Arcaini; Francesco Bolis; Angelo Gargantini (ABZ, 2012)

CITLAB: A Laboratory for Combinatorial Interaction Testing. - Angelo Gargantini; Paolo Vavassori (ICST, 2012)

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

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. - Angelo Gargantini; Marco Guarnieri; Eros Magri (ICTSS, 2012)

Evolutionary Testing of PHP Web Applications with WETT. - Francesco Bolis; Angelo Gargantini; Marco Guarnieri; Eros Magri (SSBSE, 2012)

T-wise combinatorial interaction test suites construction based on coverage inheritance. - Andrea Calvagna; Angelo Gargantini (Softw. Test. Verification Reliab., 2012)

Online Testing of LTL Properties for Java Code. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Haifa Verification Conference, 2013)

Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICST Workshops, 2013)

Combinatorial Interaction Testing with CITLAB. - Andrea Calvagna; Angelo Gargantini; Paolo Vavassori (ICST, 2013)

Combinatorial Testing for Feature Models Using CitLab. - Andrea Calvagna; Angelo Gargantini; Paolo Vavassori (ICST Workshops, 2013)

AURORA: AUtomatic RObustness coveRage Analysis Tool. - Angelo Gargantini; Marco Guarnieri; Eros Magri (ICST, 2013)

Guest editor's introduction to the special section on tests and proofs. - Gordon Fraser 001; Angelo Gargantini (Softw. Qual. J., 2013)

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ABZ (Case Study), 2014)

Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ABZ (Case Study), 2014)

An Environment for Domestic Supervised Amblyopia Treatment. - Giancarlo Facoetti; Angelo Gargantini; Andrea Vitali (HCI (20), 2014)

Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams. - Angelo Gargantini; Paolo Vavassori (Haifa Verification Conference, 2014)

Validation of Models and Tests for Constrained Combinatorial Interaction Testing. - Paolo Arcaini; Angelo Gargantini; Paolo Vavassori (ICST Workshops, 2014)

A random dot stereoacuity test based on 3D technology. - Angelo Gargantini; Giancarlo Facoetti; Andrea Vitali (PervasiveHealth, 2014)

Measuring Stereoacuity by 3D Technology. - Angelo Gargantini; Giancarlo Facoetti; Andrea Vitali (REHAB, 2014)

An Abstraction Technique for Testing Decomposable Systems by Model Checking. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (TAP@STAF, 2014)

Using SMT for dealing with nondeterminism in ASM-based runtime verification. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Test generation for sequential nets of Abstract State Machines with information passing. - Paolo Arcaini; Angelo Gargantini (Sci. Comput. Program., 2014)

A Mobile Application for the Stereoacuity Test. - Silvia Bonfanti; Angelo Gargantini; Andrea Vitali (HCI (17), 2015)

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene; Paolo Vavassori (ICST Workshops, 2015)

Generating Tests for Detecting Faults in Feature Models. - Paolo Arcaini; Angelo Gargantini; Paolo Vavassori (ICST, 2015)

Using decision trees to aid algorithm selection in combinatorial interaction tests generation. - Angelo Gargantini; Paolo Vavassori (ICST Workshops, 2015)

Specifying and verifying real-time self-adaptive systems. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra (ISSRE, 2015)

Formal validation and verification of a medical software critical component. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor; Elvinia Riccobene (MEMOCODE, 2015)

Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors. - Silvia Bonfanti; Angelo Gargantini (REHAB (Revised Selected Papers), 2015)

A Low-cost Virtual Reality Game for Amblyopia Rehabilitation. - Angelo Gargantini; Fabio Terzi; Matteo Zambelli; Silvia Bonfanti (REHAB, 2015)

Improving model-based test generation by model decomposition. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ESEC/SIGSOFT FSE, 2015)

How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Comput. J., 2015)

Using mutation to assess fault detection capability of model review. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Softw. Test. Verification Reliab., 2015)

Unified Syntax for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Marcel Dausend; Angelo Gargantini; Atif Mashkoor; Alexander Raschke; Elvinia Riccobene; Patrizia Scandurra; Michael Stegmaier (ABZ, 2016)

How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (ABZ, 2016)

Automatic Detection and Removal of Conformance Faults in Feature Models. - Paolo Arcaini; Angelo Gargantini; Paolo Vavassori (ICST, 2016)

Combinatorial Testing: From Algorithms to Applications. - Angelo Gargantini; Rachel Tzoref-Brill (ICST Workshops, 2016)

SMT-Based Automatic Proof of ASM Model Refinement. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (SEFM, 2016)

Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing. - Angelo Gargantini; Justyna Petke; Marco Radavelli; Paolo Vavassori (SSBSE, 2016)

Visual Notation and Patterns for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (STAF Workshops, 2016)

MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICST Workshops, 2017)

NuSeen: A Tool Framework for the NuSMV Model Checker. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICST, 2017)

Combinatorial Interaction Testing for Automated Constraint Repair. - Angelo Gargantini; Justyna Petke; Marco Radavelli (ICST Workshops, 2017)

SMT for state-based formal methods: the ASM case study. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (AFM@NFM, 2017)

Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. - Silvia Bonfanti; Marco Carissoni; Angelo Gargantini; Atif Mashkoor (NFM, 2017)

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Carlo Bellettini (NFM, 2017)

Towards Inverse Uncertainty Quantification in Software Development (Short Paper). - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Carlo Bellettini (SEFM, 2017)

Automated Repairing of Variability Models. - Paolo Arcaini; Angelo Gargantini; Paolo Vavassori (SPLC (A), 2017)

A novel use of equivalent mutants for static anomaly detection in software artifacts. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene; Paolo Vavassori (Inf. Softw. Technol., 2017)

Rigorous development process of a safety-critical system: from ASM models to Java code. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Int. J. Softw. Tools Technol. Transf., 2017)

AsmetaA: Animator for Abstract State Machines. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (ABZ, 2018)

Closing the gap between the specification and the implementation: the ASMETA way. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

Generation of C++ Unit Tests from Abstract State Machines Specifications. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (ICST Workshops, 2018)

Migrating Combinatorial Interaction Test Modeling and Generation to the Web. - Angelo Gargantini; Marco Radavelli (ICST Workshops, 2018)

Online Model-Based Testing under Uncertainty. - Matteo Camilli; Carlo Bellettini; Angelo Gargantini; Patrizia Scandurra (ISSRE, 2018)

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (MEDI Workshops, 2018)

Interactive Testing and Repairing of Regular Expressions. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICTSS, 2018)

Validation of Transformation from Abstract State Machine Models to C++ Code. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (ICTSS, 2018)

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. - Takashi Kitamura 001; Quentin Maissonneuve; Eun-Hye Choi; Cyrille Artho; Angelo Gargantini (SAFECOMP, 2018)

An evolutionary process for product-driven updates of feature models. - Paolo Arcaini; Angelo Gargantini; Marco Radavelli (VaMoS, 2018)

Integrating formal methods into medical software development: The ASM approach. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor; Elvinia Riccobene (Sci. Comput. Program., 2018)

Zone-based formal specification and timing analysis of real-time self-adaptive systems. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra (Sci. Comput. Program., 2018)

A systematic literature review of the use of formal methods in medical software systems. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (J. Softw. Evol. Process., 2018)

A formal design of the hybrid European rail traffic management system. - Paolo Gaspari; Elvinia Riccobene; Angelo Gargantini (ECSA (Companion), 2019)

Addressing Usability in a Formal Development Environment. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FM Workshops (1), 2019)

Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. - Paolo Arcaini; Angelo Gargantini; Marco Radavelli (ICST Workshops, 2019)

A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection. - Bernhard Garn; Marco Radavelli; Angelo Gargantini; Manuel Leithner; Dimitris E. Simos (IEA/AIE, 2019)

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. - Matteo Camilli; Angelo Gargantini; Rosario Madaudo; Patrizia Scandurra (IFM, 2019)

Regular Expression Learning with Evolutionary Testing and Repair. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICTSS, 2019)

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Marco Radavelli; Feng Duan; Yu Lei 001 (ICTSS, 2019)

A process for fault-driven repair of constraints among features. - Paolo Arcaini; Angelo Gargantini; Marco Radavelli (SPLC (B), 2019)

Repairing Timed Automata Clock Guards through Abstraction and Testing. - Étienne André; Paolo Arcaini; Angelo Gargantini; Marco Radavelli (TAP@FM, 2019)

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (TOOLS, 2019)

Code-aware combinatorial interaction testing. - Bestoun S. Ahmed; Angelo Gargantini; Kamal Z. Zamli; Cemal Yilmaz 001; Miroslav Bures; Marek Szeles (IET Softw., 2019)

Achieving change requirements of feature models by an evolutionary approach. - Paolo Arcaini; Angelo Gargantini; Marco Radavelli (J. Syst. Softw., 2019)

Fault-based test generation for regular expressions by mutation. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Softw. Test. Verification Reliab., 2019)

Decomposition-Based Approach for Model-Based Test Generation. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (IEEE Trans. Software Eng., 2019)

Dealing with Robustness of Convolutional Neural Networks for Image Classification. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (AITest, 2020)

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2020)

An Automated Testing Framework For Smart TV apps Based on Model Separation. - Bestoun S. Ahmed; Angelo Gargantini; Miroslav Bures (ICST Workshops, 2020)

An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. - Andrea Bombarda; Angelo Gargantini (ICST Workshops, 2020)

Intelligent Autonomous Systems. - Atif Mashkoor; Paolo Arcaini; Angelo Gargantini (Computer, 2020)

Design and validation of a C++ code generator from Abstract State Machines specifications. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (J. Softw. Evol. Process., 2020)

Model-based hypothesis testing of uncertain software systems. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra (Softw. Test. Verification Reliab., 2020)

Efficient Computation of Robustness of Convolutional Neural Networks. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (AITest, 2021)

Extending ASMETA with Time Features. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (ABZ, 2021)

Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study. - Silvia Bonfanti; Angelo Gargantini (HEALTHINF, 2021)

Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications. - Silvia Bonfanti; Angelo Gargantini (BIOSTEC (Selected Papers), 2021)

The ASMETA Approach to Safety Assurance of Software Systems. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Logic, Computation and Rigorous Methods, 2021)

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ICST, 2021)

An environment for benchmarking combinatorial test suite generators. - Andrea Bombarda; Edoardo Crippa; Angelo Gargantini (ICST Workshops, 2021)

Uncertainty-aware Exploration in Model-based Testing. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Catia Trubiani (ICST, 2021)

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. - Andrea Bombarda; Silvia Bonfanti; Cristiano Galbiati; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Masayuki Wada (ISSRE, 2021)

Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ICTSS, 2021)

Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (AppFM@FM, 2021)

Towards an Evaluation Framework for Autonomous Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (ACSOS-C, 2022)

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. - Marcello M. Bersani; Chiara Braghin; Angelo Gargantini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ECSA (Tracks and Workshops), 2022)

Compositional Simulation of Abstract State Machines for Safety Critical Systems. - Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FACS, 2022)

Towards Trust-preserving Continuous Co-evolution of Digital Twins. - Marcello M. Bersani; Chiara Braghin; Vittorio Cortellessa; Angelo Gargantini; Vincenzo Grassi; F. Lo Presti; Raffaela Mirandola; Alfonso Pierantonio; Elvinia Riccobene; Patrizia Scandurra (ICSA Companion, 2022)

Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Daniele Gamba; Rita Pedercini (ICST, 2022)

Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. - Andrea Bombarda; Angelo Gargantini (ICST Workshops, 2022)

Guidelines for the development of a critical software under emergency. - Andrea Bombarda; Silvia Bonfanti; Cristiano Galbiati; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Masayuki Wada (Inf. Softw. Technol., 2022)

A Mobile Application for Milano Ventilatore Meccanico: A First Prototype. - Silvia Bonfanti; Angelo Gargantini; Luca Novelli (HEALTHINF, 2023)

Incremental generation of combinatorial test suites starting from existing seed tests. - Andrea Bombarda; Angelo Gargantini (ICSTW, 2023)

Multi-thread Combinatorial Test Generation with SMT solvers. - Andrea Bombarda; Angelo Gargantini; Andrea Calvagna (SAC, 2023)

On the Reuse of Existing Configurations for Testing Evolving Feature Models. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (SPLC (B), 2023)

formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ABZ, 2023)

RATE: A model-based testing approach that combines model refinement and test execution. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Yu Lei 001; Feng Duan (Softw. Test. Verification Reliab., 2023)

An Android App for Training New Doctors in Mechanical Ventilation. - Andrea Bombarda; Sara Noto Millefiori; Michela Penzo; Luca Novelli; Angelo Gargantini (BIOSTEC (2), 2024)

ASMETA Tool Set for Rigorous System Design. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FM (2), 2024)

A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers. - Wasim Essbai; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (DeepTest@ICSE, 2024)

Testing the Evolution of Feature Models with Specific Combinatorial Tests. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ICSTW, 2024)

Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing. - Andrea Bombarda; Angelo Gargantini (ICSTW, 2024)

On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models. - Andrea Bombarda; Angelo Gargantini (SPLC (A), 2024)

From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ABZ, 2024)

The Mechanical Lung Ventilator Case Study. - Silvia Bonfanti; Angelo Gargantini (ABZ, 2024)

Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. - Andrea Bombarda; Angelo Gargantini (J. Syst. Softw., 2024)

Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (IEEE Trans. Software Eng., 2024)

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Int. J. Softw. Tools Technol. Transf., 2024)

State of the CArt: evaluating covering array generators at scale. - Manuel Leithner; Andrea Bombarda; Michael Wagner 026; Angelo Gargantini; Dimitris E. Simos (Int. J. Softw. Tools Technol. Transf., 2024)

A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models. - Paolo Arcaini; Andrea Bombarda; Angelo Gargantini (ICSTW, 2025)

Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Nico Pellegrinelli (NFM, 2025)

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. - Aurora Francesca Zanenga; Nunzio Marco Bisceglia; Benedetta Ippoliti; Andrea Bombarda; Angelo Gargantini; Akshay Rajhans; Claudio Menghi (SIGSOFT FSE Companion, 2025)

Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Nico Pellegrinelli; Patrizia Scandurra (ABZ, 2025)

SIMSPIRE: A Simulator of the Respiratory System. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (IEEE Access, 2025)

Search-based Testing of Simulink Models with Requirements Tables. - Federico Formica; Chris George; Shayda Rahmatyan; Vera Pantelic; Mark Lawford; Angelo Gargantini; Claudio Menghi (CoRR, 2025)

Test Case Generation for Simulink Models: An Experience from the E-Bike Domain. - Michael Marzella; Andrea Bombarda; Marcello Minervini; Nunzio Marco Bisceglia; Angelo Gargantini; Claudio Menghi (CoRR, 2025)

On the Completion of Partial Combinatorial Test Suites. - Andrea Bombarda; Angelo Gargantini (SN Comput. Sci., 2025)

A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. - Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Formal Aspects Comput., 2025)