Angelo Gargantini

193 papers A* 1A 13B 8C 30Misc 1Journal 51Unranked 85

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract). CoRR Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
2026	J	`jnl`	My feature model has changed... What should I do with my tests? J. Syst. Softw. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2026	J	`jnl`	Quantum Computing for Healthcare Digital Twin Systems. CoRR Asma Taheri Monfared, Andrea Bombarda, Angelo Gargantini, Majid Haghparast
2025	J	`jnl`	'Forensic-DataFusion-Tool': A Python-based application for exploratory forensic data analysis using merged datasets from analytical sensors. Softw. Impacts Giorgio Felizzato, Michele Verdi, Angelo Gargantini, Nico Pellegrinelli, Francesco Saverio Romolo
2025	J	`jnl`	A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. Formal Aspects Comput. Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2025	—	`conf`	A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models. ICSTW Paolo Arcaini, Andrea Bombarda, Angelo Gargantini
2025	J	`jnl`	Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems. Quantum Inf. Process. Asma Taheri Monfared, Andrea Bombarda, Angelo Gargantini, Majid Haghparast
2025	—	`conf`	Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications. NFM Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
2025	J	`jnl`	Genetic algorithm for path-based testing of component outage situations in IoT system processes. Appl. Soft Comput. Matej Klima, Miroslav Bures, Bestoun S. Ahmed, Hanan Hindy, Xavier J. A. Bellekens, Angelo Gargantini
2025	C	`conf`	Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
2025	J	`jnl`	On the Completion of Partial Combinatorial Test Suites. SN Comput. Sci. Andrea Bombarda, Angelo Gargantini
2025	—	`conf`	QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations. SEAA (3) Fabio Pievani, Asma Taheri Monfared, Andrea Bombarda, Angelo Gargantini
2025	J	`jnl`	SIMSPIRE: A Simulator of the Respiratory System. IEEE Access Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2025	C	`conf`	Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected]. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli, Patrizia Scandurra
2025	J	`jnl`	Search-based Testing of Simulink Models with Requirements Tables. CoRR Federico Formica, Chris George, Shayda Rahmatyan, Vera Pantelic, Mark Lawford, Angelo Gargantini, Claudio Menghi
2025	J	`jnl`	Test Case Generation for Simulink Models: An Experience from the E-Bike Domain. CoRR Michael Marzella, Andrea Bombarda, Marcello Minervini, Nunzio Marco Bisceglia, Angelo Gargantini, Claudio Menghi
2025	—	`conf`	Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. SIGSOFT FSE Companion Aurora Francesca Zanenga, Nunzio Marco Bisceglia, Benedetta Ippoliti, Andrea Bombarda, Angelo Gargantini, Akshay Rajhans, Claudio Menghi
2024	—	`conf`	A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers. DeepTest@ICSE Wasim Essbai, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2024	J	`jnl`	A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024	—	`conf`	ASMETA Tool Set for Rigorous System Design. FM (2) Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024	—	`conf`	An Android App for Training New Doctors in Mechanical Ventilation. BIOSTEC (2) Andrea Bombarda, Sara Noto Millefiori, Michela Penzo, Luca Novelli, Angelo Gargantini
2024	J	`jnl`	Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. J. Syst. Softw. Andrea Bombarda, Angelo Gargantini
2024	J	`jnl`	Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2024	C	`conf`	From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2024	—	`conf`	Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing. ICSTW Andrea Bombarda, Angelo Gargantini
2024	—	`conf`	On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models. SPLC (A) Andrea Bombarda, Angelo Gargantini
2024	C	`ed.`	Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings ABZ Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
2024	J	`jnl`	State of the CArt: evaluating covering array generators at scale. Int. J. Softw. Tools Technol. Transf. Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos
2024	—	`conf`	Testing the Evolution of Feature Models with Specific Combinatorial Tests. ICSTW Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2024	C	`conf`	The Mechanical Lung Ventilator Case Study. ABZ Silvia Bonfanti, Angelo Gargantini
2023	—	`conf`	A Mobile Application for Milano Ventilatore Meccanico: A First Prototype. HEALTHINF Silvia Bonfanti, Angelo Gargantini, Luca Novelli
2023	J	`jnl`	Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. CoRR Andrea Bombarda, Angelo Gargantini
2023	—	`conf`	Incremental generation of combinatorial test suites starting from existing seed tests. ICSTW Andrea Bombarda, Angelo Gargantini
2023	Misc	`conf`	Multi-thread Combinatorial Test Generation with SMT solvers. SAC Andrea Bombarda, Angelo Gargantini, Andrea Calvagna
2023	—	`conf`	On the Reuse of Existing Configurations for Testing Evolving Feature Models. SPLC (B) Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2023	—	`ed.`	Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023 SPLC (A) Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki
2023	J	`jnl`	RATE: A model-based testing approach that combines model refinement and test execution. Softw. Test. Verification Reliab. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan
2023	—	`—`	Software Quality Assurance per Sistemi Medici. Angelo Gargantini
2023	C	`ed.`	Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings ICTSS Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
2023	C	`conf`	formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2022	—	`conf`	Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2022	—	`conf`	Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. ECSA (Tracks and Workshops) Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2022	J	`jnl`	Guidelines for the development of a critical software under emergency. Inf. Softw. Technol. Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
2022	—	`conf`	Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. ICST Workshops Andrea Bombarda, Angelo Gargantini
2022	A	`conf`	Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
2022	—	`conf`	Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra
2022	—	`conf`	Towards an Evaluation Framework for Autonomous Systems. ACSOS-C Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2021	—	`conf`	An environment for benchmarking combinatorial test suite generators. ICST Workshops Andrea Bombarda, Edoardo Crippa, Angelo Gargantini
2021	C	`conf`	Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study. HEALTHINF Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2021	—	`conf`	Efficient Computation of Robustness of Convolutional Neural Networks. AITest Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications. BIOSTEC (Selected Papers) Silvia Bonfanti, Angelo Gargantini
2021	C	`conf`	Extending ASMETA with Time Features. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2021	A	`conf`	Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
2021	A	`conf`	ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2021	A	`conf`	Uncertainty-aware Exploration in Model-based Testing. ICST Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani
2020	—	`conf`	An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. ICST Workshops Andrea Bombarda, Angelo Gargantini
2020	—	`conf`	An Automated Testing Framework For Smart TV apps Based on Model Separation. ICST Workshops Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures
2020	J	`jnl`	An Automated Testing Framework For Smart TV apps Based on Model Separation. CoRR Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures
2020	—	`conf`	Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2020	J	`jnl`	Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2020	J	`jnl`	Intelligent Autonomous Systems. Computer Atif Mashkoor, Paolo Arcaini, Angelo Gargantini
2020	J	`jnl`	Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2020	C	`conf`	Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2019	C	`conf`	A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection. IEA/AIE Bernhard Garn, Marco Radavelli, Angelo Gargantini, Manuel Leithner, Dimitris E. Simos
2019	—	`conf`	A formal design of the hybrid European rail traffic management system. ECSA (Companion) Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini
2019	—	`conf`	A process for fault-driven repair of constraints among features. SPLC (B) Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	—	`conf`	Achieving change requirements of feature models by an evolutionary approach. SPLC (A) Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	J	`jnl`	Achieving change requirements of feature models by an evolutionary approach. J. Syst. Softw. Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	—	`conf`	Addressing Usability in a Formal Development Environment. FM Workshops (1) Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2019	J	`jnl`	Code-Aware Combinatorial Interaction Testing. CoRR Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles
2019	J	`jnl`	Code-aware combinatorial interaction testing. IET Softw. Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles
2019	C	`conf`	Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
2019	J	`jnl`	Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2019	—	`conf`	Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. TOOLS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2019	—	`conf`	Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. ICST Workshops Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	J	`jnl`	Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2019	B	`conf`	HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. IFM Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra
2019	C	`conf`	Regular Expression Learning with Evolutionary Testing and Repair. ICTSS Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2019	—	`conf`	Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	J	`jnl`	Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2018	J	`jnl`	A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	—	`conf`	An evolutionary process for product-driven updates of feature models. VaMoS Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2018	C	`conf`	AsmetaA: Animator for Abstract State Machines. ABZ Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	—	`conf`	Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2018	—	`conf`	Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. MEDI Workshops Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	—	`conf`	Generation of C++ Unit Tests from Abstract State Machines Specifications. ICST Workshops Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	J	`jnl`	Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
2018	C	`conf`	Interactive Testing and Repairing of Regular Expressions. ICTSS Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2018	—	`conf`	Migrating Combinatorial Interaction Test Modeling and Generation to the Web. ICST Workshops Angelo Gargantini, Marco Radavelli
2018	A	`conf`	Online Model-Based Testing under Uncertainty. ISSRE Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra
2018	B	`conf`	Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. SAFECOMP Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini
2018	C	`conf`	Validation of Transformation from Abstract State Machine Models to C++ Code. ICTSS Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	J	`jnl`	Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2017	J	`jnl`	A novel use of equivalent mutants for static anomaly detection in software artifacts. Inf. Softw. Technol. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
2017	—	`conf`	Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. NFM Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor
2017	—	`conf`	Automated Repairing of Variability Models. SPLC (A) Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2017	—	`conf`	Combinatorial Interaction Testing for Automated Constraint Repair. ICST Workshops Angelo Gargantini, Justyna Petke, Marco Radavelli
2017	—	`conf`	Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
2017	—	`conf`	MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	A	`conf`	NuSeen: A Tool Framework for the NuSMV Model Checker. ICST Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	J	`jnl`	Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	—	`conf`	SMT for state-based formal methods: the ASM case study. AFM@NFM Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	B	`conf`	Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
2016	A	`conf`	Automatic Detection and Removal of Conformance Faults in Feature Models. ICST Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2016	—	`conf`	Combinatorial Testing: From Algorithms to Applications. ICST Workshops Angelo Gargantini, Rachel Tzoref-Brill
2016	C	`conf`	How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2016	B	`conf`	SMT-Based Automatic Proof of ASM Model Refinement. SEFM Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2016	C	`conf`	Unified Syntax for Abstract State Machines. ABZ Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
2016	B	`conf`	Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing. SSBSE Angelo Gargantini, Justyna Petke, Marco Radavelli, Paolo Vavassori
2016	—	`conf`	Visual Notation and Patterns for Abstract State Machines. STAF Workshops Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2015	—	`conf`	A Low-cost Virtual Reality Game for Amblyopia Rehabilitation. REHAB Angelo Gargantini, Fabio Terzi, Matteo Zambelli, Silvia Bonfanti
2015	—	`conf`	A Mobile Application for the Stereoacuity Test. HCI (17) Silvia Bonfanti, Angelo Gargantini, Andrea Vitali
2015	—	`conf`	Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors. REHAB (Revised Selected Papers) Silvia Bonfanti, Angelo Gargantini
2015	C	`conf`	Formal validation and verification of a medical software critical component. MEMOCODE Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
2015	A	`conf`	Generating Tests for Detecting Faults in Feature Models. ICST Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2015	J	`jnl`	How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. Comput. J. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2015	—	`conf`	Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2015	—	`conf`	Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
2015	A	`conf`	Specifying and verifying real-time self-adaptive systems. ISSRE Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2015	—	`conf`	Using decision trees to aid algorithm selection in combinatorial interaction tests generation. ICST Workshops Angelo Gargantini, Paolo Vavassori
2015	J	`jnl`	Using mutation to assess fault detection capability of model review. Softw. Test. Verification Reliab. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	A random dot stereoacuity test based on 3D technology. PervasiveHealth Angelo Gargantini, Giancarlo Facoetti, Andrea Vitali
2014	—	`conf`	An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	An Environment for Domestic Supervised Amblyopia Treatment. HCI (20) Giancarlo Facoetti, Angelo Gargantini, Andrea Vitali
2014	—	`conf`	Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams. Haifa Verification Conference Angelo Gargantini, Paolo Vavassori
2014	—	`conf`	Measuring Stereoacuity by 3D Technology. REHAB Angelo Gargantini, Giancarlo Facoetti, Andrea Vitali
2014	—	`conf`	Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	J	`jnl`	Test generation for sequential nets of Abstract State Machines with information passing. Sci. Comput. Program. Paolo Arcaini, Angelo Gargantini
2014	J	`jnl`	Using SMT for dealing with nondeterminism in ASM-based runtime verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	Validation of Models and Tests for Constrained Combinatorial Interaction Testing. ICST Workshops Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2013	A	`conf`	AURORA: AUtomatic RObustness coveRage Analysis Tool. ICST Angelo Gargantini, Marco Guarnieri, Eros Magri
2013	A	`conf`	Combinatorial Interaction Testing with CITLAB. ICST Andrea Calvagna, Angelo Gargantini, Paolo Vavassori
2013	—	`conf`	Combinatorial Testing for Feature Models Using CitLab. ICST Workshops Andrea Calvagna, Angelo Gargantini, Paolo Vavassori
2013	—	`conf`	Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. ICST Workshops Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2013	J	`jnl`	Guest editor's introduction to the special section on tests and proofs. Softw. Qual. J. Gordon Fraser, Angelo Gargantini
2013	—	`conf`	Online Testing of LTL Properties for Java Code. Haifa Verification Conference Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2012	A	`conf`	CITLAB: A Laboratory for Combinatorial Interaction Testing. ICST Angelo Gargantini, Paolo Vavassori
2012	B	`conf`	Evolutionary Testing of PHP Web Applications with WETT. SSBSE Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri
2012	C	`conf`	Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. ICTSS Angelo Gargantini, Marco Guarnieri, Eros Magri
2012	—	`conf`	Model-Driven Testing for Web Applications Using Abstract State Machines. ICWE Workshops Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto
2012	J	`jnl`	T-wise combinatorial interaction test suites construction based on coverage inheritance. Softw. Test. Verification Reliab. Andrea Calvagna, Angelo Gargantini
2012	C	`conf`	Test Generation for Sequential Nets of Abstract State Machines. ABZ Paolo Arcaini, Francesco Bolis, Angelo Gargantini
2011	J	`jnl`	A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2011	J	`jnl`	A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2011	B	`conf`	CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2011	—	`conf`	Dealing with Constraints in Boolean Expression Testing. ICST Workshops Angelo Gargantini
2011	J	`jnl`	Generating minimal fault detecting test suites for general Boolean specifications. Inf. Softw. Technol. Angelo Gargantini, Gordon Fraser
2011	A*	`conf`	Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2011	—	`conf`	Using 3D Vision for the Diagnosis and Treatment of Amblyopia in Young Children. HEALTHINF Angelo Gargantini
2011	J	`jnl`	Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children CoRR Angelo Gargantini
2010	J	`jnl`	A Formal Logic Approach to Constrained Combinatorial Testing. J. Autom. Reason. Andrea Calvagna, Angelo Gargantini
2010	—	`conf`	AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2010	—	`conf`	Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2010	—	`conf`	Generating Minimal Fault Detecting Test Suites for Boolean Expressions. ICST Workshops Gordon Fraser, Angelo Gargantini
2010	—	`ed.`	Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings TAP@TOOLS Gordon Fraser, Angelo Gargantini
2009	J	`jnl`	A semantic framework for metamodel-based languages. Autom. Softw. Eng. Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2009	A	`conf`	An Evaluation of Model Checkers for Specification Based Test Case Generation. ICST Gordon Fraser, Angelo Gargantini
2009	C	`conf`	Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing. WETICE Andrea Calvagna, Angelo Gargantini, Emiliano Tramontana
2009	—	`conf`	Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. TAP@TOOLS Andrea Calvagna, Angelo Gargantini
2009	—	`conf`	Experiments on the Test Case Length in Specification Based Test Case Generation. AST@ICSE Gordon Fraser, Angelo Gargantini
2009	—	`conf`	IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays. ICST Workshops Andrea Calvagna, Angelo Gargantini
2009	C	`conf`	Integrating Formal Methods with Model-Driven Engineering. ICSEA Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2009	J	`jnl`	On the order of test goals in specification-based testing. J. Log. Algebraic Methods Program. Gordon Fraser, Angelo Gargantini, Franz Wotawa
2009	—	`conf`	Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	C	`conf`	A Logic-Based Approach to Combinatorial Testing with Constraints. TAP Andrea Calvagna, Angelo Gargantini
2008	J	`jnl`	A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. Univers. Comput. Sci. Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	C	`conf`	A Scenario-Based Validation Language for ASMs. ABZ Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	—	`conf`	A model-driven validation & verification environment for embedded systems. SIES Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	C	`conf`	Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	C	`conf`	Model-Driven Language Engineering: The ASMETA Case Study. ICSEA Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	—	`conf`	Model-Driven System Validation by Scenarios. FDL (Selected Papers) Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	C	`conf`	Scenario-based Validation of Embedded Systems. FDL Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni
2007	—	`conf`	Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2007	C	`conf`	Using Model Checking to Generate Fault Detecting Tests. TAP Angelo Gargantini
2006	C	`conf`	Automated Verification of Continuous Time Systems by Discrete Temporal Induction. TIME Angelo Gargantini, Angelo Morzenti
2005	—	`conf`	A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene
2005	—	`conf`	ViBBA: A Toolbox for Automatic Model Driven Animation. SimVis Angelo Gargantini, Elvinia Riccobene
2004	—	`conf`	Conformance Testing. Model-Based Testing of Reactive Systems Angelo Gargantini
2003	—	`ed.`	Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings Abstract State Machines Egon Börger, Angelo Gargantini, Elvinia Riccobene
2003	B	`conf`	Automatic Model Driven Animation of SCR Specifications. FASE Angelo Gargantini, Elvinia Riccobene
2003	—	`conf`	Using Spin to Generate Testsfrom ASM Specifications. Abstract State Machines Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo
2001	J	`jnl`	ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. Univers. Comput. Sci. Angelo Gargantini, Elvinia Riccobene
2001	J	`jnl`	Automated deductive requirements analysis of critical systems. ACM Trans. Softw. Eng. Methodol. Angelo Gargantini, Angelo Morzenti
2000	—	`conf`	Encoding Abstract State Machines in PVS. Abstract State Machines Angelo Gargantini, Elvinia Riccobene
1999	J	`jnl`	Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. Angelo Gargantini, Dino Mandrioli, Angelo Morzenti
1999	—	`conf`	Using Model Checking to Generate Tests from Requirements Specifications. ESEC / SIGSOFT FSE Angelo Gargantini, Constance L. Heitmeyer
1998	J	`jnl`	A Theory of Implementation and Refinement in Timed Petri Nets. Theor. Comput. Sci. Miguel Felder, Angelo Gargantini, Angelo Morzenti
1997	—	`conf`	Providing Automated Support to Deductive Analysis of Time Critical Systems. ESEC / SIGSOFT FSE Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti
1995	—	`conf`	TRIO Specification of a Steam Boiler Controller. Formal Methods for Industrial Applications Angelo Gargantini, Angelo Morzenti