Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDAngelo Gargantini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c112]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- [c111]Andrea Bombarda, Angelo Gargantini:
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. ICST Workshops 2022: 74-81 - [c110]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
- [c109]Paolo Arcaini
, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Efficient Computation of Robustness of Convolutional Neural Networks. AITest 2021: 21-28 - [c108]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Extending ASMETA with Time Features. ABZ 2021: 105-111 - [c107]Silvia Bonfanti, Angelo Gargantini:
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study. HEALTHINF 2021: 78-86 - [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]