| 2026 | FORTE | AsmetaComp: A Tool for Runtime Contract Checking with I/O Abstract State Machines. | Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2026 | ICST | CTWedgeV: SMT-Based Validation of Combinatorial Test Suites. | Andrea Bombarda, Angelo Gargantini |
| 2026 | ICST | Generation of Constrained Combinatorial Tests for Multi-Label Classifiers. | Keigo Teruya, Tatsuhiro Tsuchiya, Andrea Bombarda, Angelo Gargantini |
| 2025 | ICST | A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models. | Paolo Arcaini, Andrea Bombarda, Angelo Gargantini |
| 2025 | SSBSE | 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 |
| 2024 | FM | ASMETA Tool Set for Rigorous System Design. | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2024 | ICST | Testing the Evolution of Feature Models with Specific Combinatorial Tests. | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
| 2024 | ICST | Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing. | Andrea Bombarda, Angelo Gargantini |
| 2024 | SPLC | On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models. | Andrea Bombarda, Angelo Gargantini |
| 2023 | ICST | Incremental generation of combinatorial test suites starting from existing seed tests. | Andrea Bombarda, Angelo Gargantini |
| 2023 | SAC | Multi-thread Combinatorial Test Generation with SMT solvers. | Andrea Bombarda, Angelo Gargantini, Andrea Calvagna |
| 2023 | SPLC | On the Reuse of Existing Configurations for Testing Evolving Feature Models. | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
| 2022 | ECSA | Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. | Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2022 | ICSA | 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 |
| 2022 | ICST | 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 |
| 2022 | ICST | Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. | Andrea Bombarda, Angelo Gargantini |
| 2021 | ICST | ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
| 2021 | ICST | An environment for benchmarking combinatorial test suite generators. | Andrea Bombarda, Edoardo Crippa, Angelo Gargantini |
| 2021 | ICST | Uncertainty-aware Exploration in Model-based Testing. | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani |
| 2021 | ISSRE | 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 |
| 2020 | ICST | An Automated Testing Framework For Smart TV apps Based on Model Separation. | Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures |
| 2020 | ICST | An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. | Andrea Bombarda, Angelo Gargantini |
| 2019 | ECSA | A formal design of the hybrid European rail traffic management system. | Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini |
| 2019 | FM | Addressing Usability in a Formal Development Environment. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2019 | ICST | Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. | Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2019 | IFM | HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. | Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra |
| 2019 | SPLC | Achieving change requirements of feature models by an evolutionary approach. | Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2019 | SPLC | A process for fault-driven repair of constraints among features. | Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2019 | TAP | Repairing Timed Automata Clock Guards through Abstraction and Testing. | tienne Andr, Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2018 | ICST | Generation of C++ Unit Tests from Abstract State Machines Specifications. | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
| 2018 | ICST | Migrating Combinatorial Interaction Test Modeling and Generation to the Web. | Angelo Gargantini, Marco Radavelli |
| 2018 | ISSRE | Online Model-Based Testing under Uncertainty. | Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra |
| 2018 | MEDI | Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
| 2018 | SAFECOMP | Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. | Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini |
| 2017 | ICST | MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2017 | ICST | NuSeen: A Tool Framework for the NuSMV Model Checker. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2017 | ICST | Combinatorial Interaction Testing for Automated Constraint Repair. | Angelo Gargantini, Justyna Petke, Marco Radavelli |
| 2017 | SEFM | Towards Inverse Uncertainty Quantification in Software Development (Short Paper). | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini |
| 2017 | SPLC | Automated Repairing of Variability Models. | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2016 | ICST | Automatic Detection and Removal of Conformance Faults in Feature Models. | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2016 | ICST | Combinatorial Testing: From Algorithms to Applications. | Angelo Gargantini, Rachel Tzoref-Brill |
| 2016 | SEFM | SMT-Based Automatic Proof of ASM Model Refinement. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2016 | SSBSE | Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing. | Angelo Gargantini, Justyna Petke, Marco Radavelli, Paolo Vavassori |
| 2015 | HCI | A Mobile Application for the Stereoacuity Test. | Silvia Bonfanti, Angelo Gargantini, Andrea Vitali |
| 2015 | ICST | Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori |
| 2015 | ICST | Generating Tests for Detecting Faults in Feature Models. | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2015 | ICST | Using decision trees to aid algorithm selection in combinatorial interaction tests generation. | Angelo Gargantini, Paolo Vavassori |
| 2015 | ISSRE | Specifying and verifying real-time self-adaptive systems. | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra |
| 2015 | MEMOCODE | Formal validation and verification of a medical software critical component. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene |
| 2014 | HCI | An Environment for Domestic Supervised Amblyopia Treatment. | Giancarlo Facoetti, Angelo Gargantini, Andrea Vitali |
| 2014 | ICST | Validation of Models and Tests for Constrained Combinatorial Interaction Testing. | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2014 | TAP | An Abstraction Technique for Testing Decomposable Systems by Model Checking. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2013 | ICST | Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2013 | ICST | Combinatorial Interaction Testing with CITLAB. | Andrea Calvagna, Angelo Gargantini, Paolo Vavassori |
| 2013 | ICST | Combinatorial Testing for Feature Models Using CitLab. | Andrea Calvagna, Angelo Gargantini, Paolo Vavassori |
| 2013 | ICST | AURORA: AUtomatic RObustness coveRage Analysis Tool. | Angelo Gargantini, Marco Guarnieri, Eros Magri |
| 2012 | ICST | CITLAB: A Laboratory for Combinatorial Interaction Testing. | Angelo Gargantini, Paolo Vavassori |
| 2012 | ICWE | Model-Driven Testing for Web Applications Using Abstract State Machines. | Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto |
| 2012 | SSBSE | Evolutionary Testing of PHP Web Applications with WETT. | Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri |
| 2011 | ICST | Dealing with Constraints in Boolean Expression Testing. | Angelo Gargantini |
| 2011 | RV | CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2010 | ICST | Generating Minimal Fault Detecting Test Suites for Boolean Expressions. | Gordon Fraser, Angelo Gargantini |
| 2009 | ICSE | Experiments on the Test Case Length in Specification Based Test Case Generation. | Gordon Fraser, Angelo Gargantini |
| 2009 | ICSEA | Integrating Formal Methods with Model-Driven Engineering. | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2009 | ICST | IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays. | Andrea Calvagna, Angelo Gargantini |
| 2009 | ICST | An Evaluation of Model Checkers for Specification Based Test Case Generation. | Gordon Fraser, Angelo Gargantini |
| 2009 | WETICE | Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing. | Andrea Calvagna, Angelo Gargantini, Emiliano Tramontana |
| 2009 | TAP | Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. | Andrea Calvagna, Angelo Gargantini |
| 2008 | FDL | Model-Driven System Validation by Scenarios. | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2008 | FDL | Scenario-based Validation of Embedded Systems. | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni |
| 2008 | ICSEA | Model-Driven Language Engineering: The ASMETA Case Study. | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2008 | TAP | A Logic-Based Approach to Combinatorial Testing with Constraints. | Andrea Calvagna, Angelo Gargantini |
| 2007 | TAP | Using Model Checking to Generate Fault Detecting Tests. | Angelo Gargantini |
| 2006 | TIME | Automated Verification of Continuous Time Systems by Discrete Temporal Induction. | Angelo Gargantini, Angelo Morzenti |
| 2003 | FASE | Automatic Model Driven Animation of SCR Specifications. | Angelo Gargantini, Elvinia Riccobene |