default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAngelo Gargantini
Person information
- affiliation: University of Bergamo, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j37]Silvia Bonfanti
, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. Formal Aspects Comput. 37(2): 13:1-13:26 (2025)- [j36]Andrea Bombarda, Angelo Gargantini:
On the Completion of Partial Combinatorial Test Suites. SN Comput. Sci. 6(4): 383 (2025) - [c131]Paolo Arcaini, Andrea Bombarda, Angelo Gargantini:
A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models. ICSTW 2025: 278-287 - [c130]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli:
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications. NFM 2025: 100-115 - [i8]Federico Formica, Chris George, Shayda Rahmatyan, Vera Pantelic, Mark Lawford, Angelo Gargantini, Claudio Menghi:
Search-based Testing of Simulink Models with Requirements Tables. CoRR abs/2501.05412 (2025) - [i7]Michael Marzella, Andrea Bombarda, Marcello Minervini, Nunzio Marco Bisceglia, Angelo Gargantini, Claudio Menghi:
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain. CoRR abs/2501.05792 (2025) - 2024
- [j35]Andrea Bombarda, Angelo Gargantini:
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. J. Syst. Softw. 209: 111920 (2024) - [j34]Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos:
State of the CArt: evaluating covering array generators at scale. Int. J. Softw. Tools Technol. Transf. 26(3): 301-326 (2024) - [j33]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. 26(3): 379-401 (2024) - [j32]Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra:
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. 50(4): 995-1014 (2024) - [c129]Andrea Bombarda, Sara Noto Millefiori, Michela Penzo, Luca Novelli, Angelo Gargantini:
An Android App for Training New Doctors in Mechanical Ventilation. BIOSTEC (2) 2024: 362-369 - [c128]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
ASMETA Tool Set for Rigorous System Design. FM (2) 2024: 492-517 - [c127]Wasim Essbai, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers. DeepTest@ICSE 2024 - [c126]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Testing the Evolution of Feature Models with Specific Combinatorial Tests. ICSTW 2024: 1-10 - [c125]Andrea Bombarda, Angelo Gargantini:
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing. ICSTW 2024: 197-206 - [c124]Andrea Bombarda, Angelo Gargantini:
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models. SPLC (A) 2024: 96-106 - [c123]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. ABZ 2024: 160-178 - [c122]Silvia Bonfanti, Angelo Gargantini:
The Mechanical Lung Ventilator Case Study. ABZ 2024: 281-288 - [e5]Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra:
Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings. Lecture Notes in Computer Science 14759, Springer 2024, ISBN 978-3-031-63789-6 [contents] - 2023
- [j31]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan:
RATE: A model-based testing approach that combines model refinement and test execution. Softw. Test. Verification Reliab. 33(2) (2023) - [c121]Silvia Bonfanti, Angelo Gargantini, Luca Novelli:
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype. HEALTHINF 2023: 314-321 - [c120]Andrea Bombarda, Angelo Gargantini:
Incremental generation of combinatorial test suites starting from existing seed tests. ICSTW 2023: 197-205 - [c119]Andrea Bombarda, Angelo Gargantini, Andrea Calvagna:
Multi-thread Combinatorial Test Generation with SMT solvers. SAC 2023: 1698-1705 - [c118]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
On the Reuse of Existing Configurations for Testing Evolving Feature Models. SPLC (B) 2023: 67-76 - [c117]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. ABZ 2023: 340-357 - [e4]Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi:
Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings. Lecture Notes in Computer Science 14131, Springer 2023, ISBN 978-3-031-43239-2 [contents] - [e3]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:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [i6]Andrea Bombarda, Angelo Gargantini:
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools. CoRR abs/2311.03016 (2023) - 2022
- [j30]Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada:
Guidelines for the development of a critical software under emergency. Inf. Softw. Technol. 152: 107061 (2022) - [c116]Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra:
Towards an Evaluation Framework for Autonomous Systems. ACSOS-C 2022: 43-48 - [c115]Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. ECSA (Tracks and Workshops) 2022: 467-482 - [c114]Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS 2022: 3-19 - [c113]Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra:
Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion 2022: 96-99 - [c112]Andrea Bombarda, Angelo Gargantini:
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. ICST Workshops 2022: 74-81 - [c111]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini:
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST 2022: 312-322 - 2021
- [c110]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Efficient Computation of Robustness of Convolutional Neural Networks. AITest 2021: 21-28 - [c109]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Extending ASMETA with Time Features. ABZ 2021: 105-111 - [c108]Silvia Bonfanti, Angelo Gargantini:
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study. HEALTHINF 2021: 78-86 - [c107]Silvia Bonfanti, Angelo Gargantini:
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications. BIOSTEC (Selected Papers) 2021: 139-157 - [c106]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods 2021: 215-238 - [c105]Andrea Bombarda, Edoardo Crippa, Angelo Gargantini:
An environment for benchmarking combinatorial test suite generators. ICST Workshops 2021: 48-56 - [c104]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani:
Uncertainty-aware Exploration in Model-based Testing. ICST 2021: 71-81 - [c103]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST 2021: 442-447 - [c102]Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada:
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE 2021: 24-35 - [c101]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. ICTSS 2021: 65-72 - [c100]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM 2021: 13-29 - 2020
- [j29]Atif Mashkoor, Paolo Arcaini, Angelo Gargantini:
Intelligent Autonomous Systems. Computer 53(12): 20-23 (2020) - [j28]Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process. 32(2) (2020) - [j27]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra:
Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. 30(2) (2020) - [c99]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest 2020: 7-14 - [c98]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ 2020: 302-317 - [c97]Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures:
An Automated Testing Framework For Smart TV apps Based on Model Separation. ICST Workshops 2020: 62-73 - [c96]Andrea Bombarda, Angelo Gargantini:
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. ICST Workshops 2020: 157-166 - [i5]Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures:
An Automated Testing Framework For Smart TV apps Based on Model Separation. CoRR abs/2002.00404 (2020)
2010 – 2019
- 2019
- [j26]Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles:
Code-aware combinatorial interaction testing. IET Softw. 13(6): 600-609 (2019) - [j25]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Achieving change requirements of feature models by an evolutionary approach. J. Syst. Softw. 150: 64-76 (2019) - [j24]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. 29(1-2) (2019) - [j23]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. 45(5): 507-520 (2019) - [c95]Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini:
A formal design of the hybrid European rail traffic management system. ECSA (Companion) 2019: 156-162 - [c94]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Addressing Usability in a Formal Development Environment. FM Workshops (1) 2019: 61-76 - [c93]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. ICST Workshops 2019: 200-209 - [c92]Bernhard Garn, Marco Radavelli, Angelo Gargantini, Manuel Leithner, Dimitris E. Simos:
A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection. IEA/AIE 2019: 207-215 - [c91]Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra:
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. IFM 2019: 495-503 - [c90]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Regular Expression Learning with Evolutionary Testing and Repair. ICTSS 2019: 22-40 - [c89]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei:
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ICTSS 2019: 67-85 - [c88]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Achieving change requirements of feature models by an evolutionary approach. SPLC (A) 2019: 35:1 - [c87]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
A process for fault-driven repair of constraints among features. SPLC (B) 2019: 71:1-71:9 - [c86]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM 2019: 129-146 - [c85]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. TOOLS 2019: 89-103 - [i4]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR abs/1907.02133 (2019) - [i3]Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles:
Code-Aware Combinatorial Interaction Testing. CoRR abs/1907.09029 (2019) - 2018
- [j22]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158: 148-167 (2018) - [j21]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra:
Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. 159: 28-57 (2018) - [j20]Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process. 30(5) (2018) - [c84]Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
AsmetaA: Animator for Abstract State Machines. ABZ 2018: 369-373 - [c83]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 242-263 - [c82]Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Generation of C++ Unit Tests from Abstract State Machines Specifications. ICST Workshops 2018: 185-193 - [c81]Angelo Gargantini, Marco Radavelli:
Migrating Combinatorial Interaction Test Modeling and Generation to the Web. ICST Workshops 2018: 308-317 - [c80]Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra:
Online Model-Based Testing under Uncertainty. ISSRE 2018: 36-46 - [c79]Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. MEDI Workshops 2018: 146-152 - [c78]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Interactive Testing and Repairing of Regular Expressions. ICTSS 2018: 1-16 - [c77]Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Validation of Transformation from Abstract State Machine Models to C++ Code. ICTSS 2018: 17-32 - [c76]Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini:
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. SAFECOMP 2018: 123-138 - [c75]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
An evolutionary process for product-driven updates of feature models. VaMoS 2018: 67-74 - 2017
- [j19]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
A novel use of equivalent mutants for static anomaly detection in software artifacts. Inf. Softw. Technol. 81: 52-64 (2017) - [j18]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. 19(2): 247-269 (2017) - [c74]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops 2017: 87-96 - [c73]Angelo Gargantini, Justyna Petke, Marco Radavelli:
Combinatorial Interaction Testing for Automated Constraint Repair. ICST Workshops 2017: 239-248 - [c72]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker. ICST 2017: 476-483 - [c71]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT for state-based formal methods: the ASM case study. AFM@NFM 2017: 1-18 - [c70]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini:
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM 2017: 115-130 - [c69]Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor:
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. NFM 2017: 295-301 - [c68]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini:
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM 2017: 375-381 - [c67]Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Automated Repairing of Variability Models. SPLC (A) 2017: 9-18 - 2016
- [c66]Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier:
Unified Syntax for Abstract State Machines. ABZ 2016: 231-236 - [c65]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ 2016: 344-359 - [c64]Angelo Gargantini, Rachel Tzoref-Brill:
Combinatorial Testing: From Algorithms to Applications. ICST Workshops 2016: 17-18 - [c63]Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Automatic Detection and Removal of Conformance Faults in Feature Models. ICST 2016: 102-112 - [c62]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT-Based Automatic Proof of ASM Model Refinement. SEFM 2016: 253-269 - [c61]Angelo Gargantini, Justyna Petke, Marco Radavelli, Paolo Vavassori:
Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing. SSBSE 2016: 49-63 - [c60]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Visual Notation and Patterns for Abstract State Machines. STAF Workshops 2016: 163-178 - 2015
- [j17]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. Comput. J. 58(11): 2900-2920 (2015) - [j16]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using mutation to assess fault detection capability of model review. Softw. Test. Verification Reliab. 25(5-7): 629-652 (2015) - [c59]Silvia Bonfanti, Angelo Gargantini, Andrea Vitali:
A Mobile Application for the Stereoacuity Test. HCI (17) 2015: 315-326 - [c58]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops 2015: 1-6 - [c57]Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Generating Tests for Detecting Faults in Feature Models. ICST 2015: 1-10 - [c56]Angelo Gargantini, Paolo Vavassori:
Using decision trees to aid algorithm selection in combinatorial interaction tests generation. ICST Workshops 2015: 1-10 - [c55]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra:
Specifying and verifying real-time self-adaptive systems. ISSRE 2015: 303-313 - [c54]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Formal validation and verification of a medical software critical component. MEMOCODE 2015: 80-89 - [c53]Angelo Gargantini, Fabio Terzi, Matteo Zambelli, Silvia Bonfanti:
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation. REHAB 2015: 81-84 - [c52]Silvia Bonfanti, Angelo Gargantini:
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors. REHAB (Revised Selected Papers) 2015: 116-125 - [c51]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE 2015: 119-130 - 2014
- [j15]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using SMT for dealing with nondeterminism in ASM-based runtime verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j14]Paolo Arcaini, Angelo Gargantini:
Test generation for sequential nets of Abstract State Machines with information passing. Sci. Comput. Program. 94: 93-108 (2014) - [c50]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) 2014: 36-51 - [c49]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) 2014: 95-109 - [c48]Giancarlo Facoetti, Angelo Gargantini, Andrea Vitali:
An Environment for Domestic Supervised Amblyopia Treatment. HCI (20) 2014: 340-350 - [c47]Angelo Gargantini, Paolo Vavassori:
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams. Haifa Verification Conference 2014: 220-235 - [c46]Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Validation of Models and Tests for Constrained Combinatorial Interaction Testing. ICST Workshops 2014: 98-107 - [c45]Angelo Gargantini, Giancarlo Facoetti, Andrea Vitali:
A random dot stereoacuity test based on 3D technology. PervasiveHealth 2014: 358-361 - [c44]Angelo Gargantini, Giancarlo Facoetti, Andrea Vitali:
Measuring Stereoacuity by 3D Technology. REHAB 2014: 155-167 - [c43]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF 2014: 36-52 - 2013
- [j13]Gordon Fraser, Angelo Gargantini:
Guest editor's introduction to the special section on tests and proofs. Softw. Qual. J. 21(1): 99-100 (2013) - [c42]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Online Testing of LTL Properties for Java Code. Haifa Verification Conference 2013: 95-111 - [c41]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. ICST Workshops 2013: 178-187 - [c40]Andrea Calvagna, Angelo Gargantini, Paolo Vavassori:
Combinatorial Testing for Feature Models Using CitLab. ICST Workshops 2013: 338-347 - [c39]Andrea Calvagna, Angelo Gargantini, Paolo Vavassori:
Combinatorial Interaction Testing with CITLAB. ICST 2013: 376-382 - [c38]Angelo Gargantini, Marco Guarnieri, Eros Magri:
AURORA: AUtomatic RObustness coveRage Analysis Tool. ICST 2013: 463-470 - 2012
- [j12]Andrea Calvagna, Angelo Gargantini:
T-wise combinatorial interaction test suites construction based on coverage inheritance. Softw. Test. Verification Reliab. 22(7): 507-526 (2012) - [c37]Paolo Arcaini, Francesco Bolis, Angelo Gargantini:
Test Generation for Sequential Nets of Abstract State Machines. ABZ 2012: 36-50 - [c36]Angelo Gargantini, Paolo Vavassori:
CITLAB: A Laboratory for Combinatorial Interaction Testing. ICST 2012: 559-568 - [c35]Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto:
Model-Driven Testing for Web Applications Using Abstract State Machines. ICWE Workshops 2012: 71-78 - [c34]Angelo Gargantini, Marco Guarnieri, Eros Magri:
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. ICTSS 2012: 168-183 - [c33]Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri:
Evolutionary Testing of PHP Web Applications with WETT. SSBSE 2012: 285-291 - 2011
- [j11]Angelo Gargantini, Gordon Fraser:
Generating minimal fault detecting test suites for general Boolean specifications. Inf. Softw. Technol. 53(11): 1263-1273 (2011) - [j10]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. 7(2): 97-107 (2011) - [j9]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41(2): 155-166 (2011) - [c32]Angelo Gargantini:
Using 3D Vision for the Diagnosis and Treatment of Amblyopia in Young Children. HEALTHINF 2011: 472-476 - [c31]Angelo Gargantini:
Dealing with Constraints in Boolean Expression Testing. ICST Workshops 2011: 322-327 - [c30]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE 2011: 388-391 - [c29]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV 2011: 223-238 - [i2]Angelo Gargantini:
Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children. CoRR abs/1109.6288 (2011) - 2010
- [j8]Andrea Calvagna, Angelo Gargantini:
A Formal Logic Approach to Constrained Combinatorial Testing. J. Autom. Reason. 45(4): 331-358 (2010) - [c28]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM 2010: 61-74 - [c27]Gordon Fraser, Angelo Gargantini:
Generating Minimal Fault Detecting Test Suites for Boolean Expressions. ICST Workshops 2010: 37-45 - [c26]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13 - [e2]Gordon Fraser, Angelo Gargantini:
Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6143, Springer 2010, ISBN 978-3-642-13976-5 [contents]
2000 – 2009
- 2009
- [j7]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009) - [j6]Gordon Fraser, Angelo Gargantini, Franz Wotawa:
On the order of test goals in specification-based testing. J. Log. Algebraic Methods Program. 78(6): 472-490 (2009) - [c25]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis 2009: 33-49 - [c24]Gordon Fraser, Angelo Gargantini:
Experiments on the Test Case Length in Specification Based Test Case Generation. AST 2009: 18-26 - [c23]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Integrating Formal Methods with Model-Driven Engineering. ICSEA 2009: 86-92 - [c22]Andrea Calvagna, Angelo Gargantini:
IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays. ICST Workshops 2009: 10-18 - [c21]Gordon Fraser, Angelo Gargantini:
An Evaluation of Model Checkers for Specification Based Test Case Generation. ICST 2009: 41-50 - [c20]Andrea Calvagna, Angelo Gargantini:
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. TAP@TOOLS 2009: 27-42 - [c19]Andrea Calvagna, Angelo Gargantini, Emiliano Tramontana:
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing. WETICE 2009: 213-218 - 2008
- [j5]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. Univers. Comput. Sci. 14(12): 1949-1983 (2008) - [c18]Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84 - [c17]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ 2008: 348 - [c16]Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Model-Driven System Validation by Scenarios. FDL (Selected Papers) 2008: 57-69 - [c15]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni:
Scenario-based Validation of Embedded Systems. FDL 2008: 191-196 - [c14]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Model-Driven Language Engineering: The ASMETA Case Study. ICSEA 2008: 373-378 - [c13]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A model-driven validation & verification environment for embedded systems. SIES 2008: 241-244 - [c12]Andrea Calvagna, Angelo Gargantini:
A Logic-Based Approach to Combinatorial Testing with Constraints. TAP 2008: 66-83 - 2007
- [c11]Angelo Gargantini:
Using Model Checking to Generate Fault Detecting Tests. TAP 2007: 189-206 - [i1]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis 2007 - 2006
- [c10]Angelo Gargantini, Angelo Morzenti:
Automated Verification of Continuous Time Systems by Discrete Temporal Induction. TIME 2006: 19-26 - 2005
- [c9]Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene:
A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines 2005: 345-368 - [c8]Angelo Gargantini, Elvinia Riccobene:
ViBBA: A Toolbox for Automatic Model Driven Animation. SimVis 2005: 101-114 - 2004
- [c7]Angelo Gargantini:
Conformance Testing. Model-Based Testing of Reactive Systems 2004: 87-111 - 2003
- [c6]Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo:
Using Spin to Generate Testsfrom ASM Specifications. Abstract State Machines 2003: 263-277 - [c5]Angelo Gargantini, Elvinia Riccobene:
Automatic Model Driven Animation of SCR Specifications. FASE 2003: 294-309 - [e1]Egon Börger, Angelo Gargantini, Elvinia Riccobene:
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Lecture Notes in Computer Science 2589, Springer 2003, ISBN 3-540-00624-9 [contents] - 2001
- [j4]Angelo Gargantini, Elvinia Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. Univers. Comput. Sci. 7(11): 1050-1067 (2001) - [j3]Angelo Gargantini, Angelo Morzenti:
Automated deductive requirements analysis of critical systems. ACM Trans. Softw. Eng. Methodol. 10(3): 255-307 (2001) - 2000
- [c4]Angelo Gargantini, Elvinia Riccobene:
Encoding Abstract State Machines in PVS. Abstract State Machines 2000: 303-322
1990 – 1999
- 1999
- [j2]Angelo Gargantini, Dino Mandrioli, Angelo Morzenti:
Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. 150(2): 119-131 (1999) - [c3]Angelo Gargantini, Constance L. Heitmeyer:
Using Model Checking to Generate Tests from Requirements Specifications. ESEC / SIGSOFT FSE 1999: 146-162 - 1998
- [j1]Miguel Felder, Angelo Gargantini, Angelo Morzenti:
A Theory of Implementation and Refinement in Timed Petri Nets. Theor. Comput. Sci. 202(1-2): 127-161 (1998) - 1997
- [c2]Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti:
Providing Automated Support to Deductive Analysis of Time Critical Systems. ESEC / SIGSOFT FSE 1997: 211-226 - 1995
- [c1]Angelo Gargantini, Angelo Morzenti:
TRIO Specification of a Steam Boiler Controller. Formal Methods for Industrial Applications 1995: 218-232
Coauthor Index
[c131] [j33] [e3] [c111] [c110] [c106] [c103] [j29] [c99] [c98] [j25] [j24] [j23] [c94] [c93] [c90] [c88] [c87] [c86] [i4] [j22] [c83] [c78] [c75] [j19] [j18] [c74] [c72] [c71] [c67] [c66] [c65] [c63] [c62] [c60] [j17] [j16] [c58] [c57] [c54] [c51] [j15] [j14] [c50] [c49] [c46] [c43] [c42] [c41] [c37] [j10] [j9] [c30] [c29] [c28] [c26]
[j37] [c130] [j33] [j32] [c128] [c127] [c126] [c123] [c122] [e5] [j31] [c121] [c118] [c117] [e4] [j30] [c116] [c114] [c111] [c110] [c109] [c108] [c107] [c106] [c103] [c102] [c101] [c100] [j28] [c99] [c98] [c94] [c89] [c85] [j22] [j20] [c84] [c82] [c79] [c77] [c69] [c66] [c65] [c60] [c59] [c54] [c53] [c52]
[j37] [j33] [j32] [c128] [e5] [j30] [c116] [c115] [c114] [c113] [c109] [c106] [c102] [c100] [c98] [j24] [j23] [c95] [c94] [c90] [j22] [c83] [c78] [j19] [j18] [c74] [c72] [c71] [c66] [c65] [c62] [c60] [j17] [j16] [c58] [c54] [c51] [j15] [c50] [c49] [c43] [c42] [c41] [j10] [j9] [c30] [c29] [c28] [c26] [j7] [c25] [c23] [j5] [c18] [c17] [c16] [c15] [c14] [c13] [i1] [c9] [c8] [c6] [c5] [e1] [j4] [c4]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-07 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
