Gargantini, Angelo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Automatic Detection and Removal of Conformance Faults in Feature Models

Arcaini, Paolo, Gargantini, Angelo, Vavassori, Paolo

Year:

2016

Language:

english

File:

PDF, 8.70 MB

english, 2016

52

[ACM Press the 17th international doctoral symposium - Bertinoro, Italy (2012.06.25-2012.06.28)] Proceedings of the 17th international doctoral symposium on Components and Architecture - WCOP '12 - Components monitoring through formal specifications

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 1.03 MB

english, 2012

53

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Year:

2017

Language:

english

File:

PDF, 385 KB

english, 2017

54

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Combinatorial Interaction Testing for Automated Constraint Repair

Gargantini, Angelo, Petke, Justyna, Radavelli, Marco

Year:

2017

Language:

english

File:

PDF, 999 KB

english, 2017

55

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - NuSeen: A Tool Framework for the NuSMV Model Checker

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Year:

2017

Language:

english

File:

PDF, 473 KB

english, 2017

56

[ACM Press the 21st International Systems and Software Product Line Conference - Volume A - Sevilla, Spain (2017.09.25-2017.09.29)] Proceedings of the 21st International Systems and Software Product Line Conference - Volume A on - SPLC '17 - Automated Repairing of Variability Models

Arcaini, Paolo, Gargantini, Angelo, Vavassori, Paolo

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

57

Decomposition-Based Approach for Model-Based Test Generation

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

58

A systematic literature review of the use of formal methods in medical software systems

Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif

Journal:

Journal of Software Evolution and Process

Year:

2018

Language:

english

File:

PDF, 1.27 MB

english, 2018

59

Fault-based test generation for regular expressions by mutation

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Journal:

Software Testing, Verification and Reliability

Year:

2018

Language:

english

File:

PDF, 7.87 MB

english, 2018

60

[IEEE 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) - Memphis, TN (2018.10.15-2018.10.18)] 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) - Online Model-Based Testing under Uncertainty

Camilli, Matteo, Bellettini, Carlo, Gargantini, Angelo, Scandurra, Patrizia

Year:

2018

Language:

english

File:

PDF, 44 KB

english, 2018

61

[IEEE 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Xi'an, China (2019.4.22-2019.4.23)] 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations

Arcaini, Paolo, Gargantini, Angelo, Radavelli, Marco

Year:

2019

Language:

english

File:

PDF, 321 KB

english, 2019

62

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19 - A process for fault-driven repair of constraints among features

Arcaini, Paolo, Gargantini, Angelo, Radavelli, Marco

Year:

2019

Language:

english

File:

PDF, 1.28 MB

english, 2019

63

[ACM Press the 13th European Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 13th European Conference on Software Architecture - ECSA '19 - volume 2 - A formal design of the hybrid European rail traffic management system

Gaspari, Paolo, Riccobene, Elvinia, Gargantini, Angelo

Year:

2019

Language:

english

File:

PDF, 3.16 MB

english, 2019

64

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19 - A process for fault-driven repair of constraints among features

Arcaini, Paolo, Gargantini, Angelo, Radavelli, Marco

Year:

2019

File:

PDF, 1.28 MB

2019

65

[ACM Press the 13th European Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 13th European Conference on Software Architecture - ECSA '19 - volume 2 - A formal design of the hybrid European rail traffic management system

Gaspari, Paolo, Riccobene, Elvinia, Gargantini, Angelo

Year:

2019

File:

PDF, 3.16 MB

2019

66

Design and validation of a C++ code generator from Abstract State Machines specifications

Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif

Journal:

Journal of Software Evolution and Process

Year:

2019

Language:

english

File:

PDF, 5.57 MB

english, 2019

67

Code-aware combinatorial interaction testing

Ahmed, Bestoun S., Gargantini, Angelo, Zamli, Kamal Z., Yilmaz, Cemal, Bures, Miroslav, Szeles, Marek

Journal:

Year:

2019

Language:

english

File:

PDF, 1.27 MB

english, 2019

68

[IEEE 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Oxford, United Kingdom (2020.8.3-2020.8.6)] 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Dealing with Robustness of Convolutional Neural Networks for Image Classification

Arcaini, Paolo, Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo

Year:

2020

File:

PDF, 865 KB

2020

69

[IEEE 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines

Bombarda, Andrea, Gargantini, Angelo

Year:

2020

File:

PDF, 221 KB

2020

70

Intelligent Autonomous Systems

Mashkoor, Atif, Arcaini, Paolo, Gargantini, Angelo

Journal:

Year:

2020

File:

PDF, 846 KB

2020