Gargantini, Angelo: search on Z-Library

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

Don't use scam websites

1

A model advisor for NuSMV specifications

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

Journal:

Innovations in Systems and Software Engineering

Year:

2011

Language:

english

File:

PDF, 224 KB

english, 2011

2

[ACM Press the 12th International Workshop - Madrid, Spain (2018.02.07-2018.02.09)] Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems - VAMOS 2018 - An evolutionary process for product-driven updates of feature models

Arcaini, Paolo, Gargantini, Angelo, Radavelli, Marco

Year:

2018

Language:

english

File:

PDF, 726 KB

english, 2018

3

Modelâbased hypothesis testing of uncertain software systems

Camilli, Matteo, Gargantini, Angelo, Scandurra, Patrizia

Journal:

Software Testing, Verification and Reliability

Year:

2020

File:

PDF, 2.17 MB

2020

4

A model-driven process for engineering a toolset for a formal method

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 296 KB

english, 2011

5

A semantic framework for metamodel-based languages

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Journal:

Automated Software Engineering

Year:

2009

Language:

english

File:

PDF, 888 KB

english, 2009

6

Rigorous development process of a safety-critical system: from ASM models to Java code

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 2.65 MB

english, 2017

7

Integrating Formal Methods into Medical Software Development: The ASM approach

Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif, Riccobene, Elvinia

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 899 KB

english, 2017

8

[IEEE 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Migrating Combinatorial Interaction Test Modeling and Generation to the Web

Gargantini, Angelo, Radavelli, Marco

Year:

2018

Language:

english

File:

PDF, 1016 KB

english, 2018

9

[IEEE 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Vasteras (2018.4.9-2018.4.13)] 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Generation of C++ Unit Tests from Abstract State Machines Specifications

Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif

Year:

2018

Language:

english

File:

PDF, 204 KB

english, 2018

10

[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 Automated Testing Framework For Smart TV apps Based on Model Separation

Ahmed, Bestoun S., Gargantini, Angelo, Bures, Miroslav

Year:

2020

File:

PDF, 1.10 MB

2020

11

A theory of implementation and refinement in timed Petri nets

Miguel Felder, Angelo Gargantini, Angelo Morzenti

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 2.34 MB

english, 1998

12

A Formal Logic Approach to Constrained Combinatorial Testing

Andrea Calvagna, Angelo Gargantini

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 627 KB

english, 2010

13

T-wise combinatorial interaction test suites construction based on coverage inheritance

Andrea Calvagna, Angelo Gargantini

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 570 KB

english, 2012

14

Dealing with Zero-Time Transitions in Axiom Systems

Angelo Gargantini, Dino Mandrioli, Angelo Morzenti

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 223 KB

english, 1999

15

Generating minimal fault detecting test suites for general Boolean specifications

Angelo Gargantini, Gordon Fraser

Journal:

Information and Software Technology

Year:

2011

Language:

english

File:

PDF, 469 KB

english, 2011

16

On the order of test goals in specification-based testing

Gordon Fraser, Angelo Gargantini, Franz Wotawa

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 239 KB

english, 2009

17

Guest editor’s introduction to the special section on tests and proofs

Gordon Fraser, Angelo Gargantini

Journal:

Software Quality Journal

Year:

2013

Language:

english

File:

PDF, 85 KB

english, 2013

18

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Combinatorial Testing for Feature Models Using CitLab

Calvagna, Andrea, Gargantini, Angelo, Vavassori, Paolo

Year:

2013

Language:

english

File:

PDF, 2.12 MB

english, 2013

19

Test generation for sequential nets of Abstract State Machines with information passing

Arcaini, Paolo, Gargantini, Angelo

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 846 KB

english, 2014

20

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 473 KB

english, 2003

21

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - An Evaluation of Model Checkers for Specification Based Test Case Generation

Fraser, Gordon, Gargantini, Angelo

Year:

2009

Language:

english

File:

PDF, 280 KB

english, 2009

22

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Dealing with Constraints in Boolean Expression Testing

Gargantini, Angelo

Year:

2011

Language:

english

File:

PDF, 179 KB

english, 2011

23

[IEEE 2013 International Conference on Virtual Rehabilitation (ICVR) - Philadelphia, PA, USA (2013.08.26-2013.08.29)] 2013 International Conference on Virtual Rehabilitation (ICVR) - An environment for contrast-based treatment of amblyopia using 3D technology

Vitali, Andrea, Facoetti, Giancarlo, Gargantini, Angelo

Year:

2013

Language:

english

File:

PDF, 422 KB

english, 2013

24

[IEEE 2011 International Conference on Virtual Rehabilitation (ICVR) - Zurich, Switzerland (2011.06.27-2011.06.29)] 2011 International Conference on Virtual Rehabilitation - Using 3D for rebalancing the visual system of amblyopic children

Gargantini, Angelo, Bana, Mariella, Fabiani, Flavia

Year:

2011

Language:

english

File:

PDF, 279 KB

english, 2011

25

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Year:

2013

Language:

english

File:

PDF, 345 KB

english, 2013

26

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - Validation of Models and Tests for Constrained Combinatorial Interaction Testing

Arcaini, Paolo, Gargantini, Angelo, Vavassori, Paolo

Year:

2014

Language:

english

File:

PDF, 318 KB

english, 2014

27

[IEEE 2009 International Conference on Software Testing, Verification, and Validation Workshops - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing, Verification, and Validation Workshops - IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays

Calvagna, Andrea, Gargantini, Angelo

Year:

2009

Language:

english

File:

PDF, 252 KB

english, 2009

28

[IEEE 2008 The Third International Conference on Software Engineering Advances (ICSEA) - Sliema, Malta (2008.10.26-2008.10.31)] 2008 The Third International Conference on Software Engineering Advances - Model-Driven Language Engineering: The ASMETA Case Study

Gargantini, Angelo, Riccobene, Elvinia, Scandurra, Patrizia

Year:

2008

Language:

english

File:

PDF, 323 KB

english, 2008

29

[IEEE 2009 ICSE Workshop on Automation of Software Test (AST) - Vancouver, BC, Canada (2009.05.18-2009.05.19)] 2009 ICSE Workshop on Automation of Software Test - Experiments on the test case length in specification based test case generation

Fraser, Gordon, Gargantini, Angelo

Year:

2009

Language:

english

File:

PDF, 235 KB

english, 2009

30

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - AURORA: AUtomatic RObustness coveRage Analysis Tool

Gargantini, Angelo, Guarnieri, Marco, Magri, Eros

Year:

2013

Language:

english

File:

PDF, 354 KB

english, 2013

31

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - CITLAB: A Laboratory for Combinatorial Interaction Testing

Gargantini, Angelo, Vavassori, Paolo

Year:

2012

Language:

english

File:

PDF, 353 KB

english, 2012

32

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Year:

2011

Language:

english

File:

PDF, 817 KB

english, 2011

33

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Generating Minimal Fault Detecting Test Suites for Boolean Expressions

Fraser, Gordon, Gargantini, Angelo

Year:

2010

Language:

english

File:

PDF, 324 KB

english, 2010

34

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Combinatorial Interaction Testing with CITLAB

Calvagna, Andrea, Gargantini, Angelo, Vavassori, Paolo

Year:

2013

Language:

english

File:

PDF, 373 KB

english, 2013

35

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Experiments with Test Case Generation and Runtime Analysis

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 263 KB

english, 2003

36

[IEEE 2009 Fourth International Conference on Software Engineering Advances (ICSEA) - Porto, Portugal (2009.09.20-2009.09.25)] 2009 Fourth International Conference on Software Engineering Advances - Integrating Formal Methods with Model-Driven Engineering

Gargantini, Angelo, Riccobene, Elvinia, Scandurra, Patrizia

Year:

2009

Language:

english

File:

PDF, 466 KB

english, 2009

37

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - An Evaluation of Specification Based Test Generation Techniques Using Model Checkers

Fraser, Gordon, Gargantini, Angelo

Year:

2009

Language:

english

File:

PDF, 257 KB

english, 2009

38

Using model checking to generate tests from requirements specifications

Gargantini, Angelo, Heitmeyer, Constance

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 1.38 MB

english, 1999

39

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Using ASM Specifications for Compiler Testing

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 38 KB

english, 2003

40

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Using decision trees to aid algorithm selection in combinatorial interaction tests generation

Gargantini, Angelo, Vavassori, Paolo

Year:

2015

Language:

english

File:

PDF, 2.83 MB

english, 2015

41

Automated deductive requirements analysis of critical systems

Gargantini, Angelo, Morzenti, Angelo

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2001

Language:

english

File:

PDF, 277 KB

english, 2001

42

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Formal validation and verification of a medical software critical component

Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif, Riccobene, Elvinia

Year:

2015

Language:

english

File:

PDF, 799 KB

english, 2015

43

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Generating Tests for Detecting Faults in Feature Models

Arcaini, Paolo, Gargantini, Angelo, Vavassori, Paolo

Year:

2015

Language:

english

File:

PDF, 596 KB

english, 2015

44

[IEEE 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) - Gaithersbury, MD, USA (2015.11.2-2015.11.5)] 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) - Specifying and verifying real-time self-adaptive systems

Camilli, Matteo, Gargantini, Angelo, Scandurra, Patrizia

Year:

2015

File:

PDF, 208 KB

2015

45

[IEEE 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) - Gaithersbury, MD, USA (2015.11.2-2015.11.5)] 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) - Specifying and verifying real-time self-adaptive systems

Camilli, Matteo, Gargantini, Angelo, Scandurra, Patrizia

Year:

2015

Language:

english

File:

PDF, 208 KB

english, 2015

46

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Improving model-based test generation by model decomposition

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Year:

2015

Language:

english

File:

PDF, 849 KB

english, 2015

47

A novel use of equivalent mutants for static anomaly detection in software artifacts

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia, Vavassori, Paolo

Journal:

Information and Software Technology

Year:

2016

Language:

english

File:

PDF, 963 KB

english, 2016

48

[ACM Press the 3rd 2015 Workshop - Lisbon, Portugal (2015.10.01-2015.10.02)] Proceedings of the 3rd 2015 Workshop on ICTs for improving Patients Rehabilitation Research Techniques - REHAB '15 - A Low-cost Virtual Reality Game for Amblyopia Rehabilitation

Gargantini, Angelo, Terzi, Fabio, Zambelli, Matteo, Bonfanti, Silvia

Year:

2015

Language:

english

File:

PDF, 1018 KB

english, 2015

49

Using mutation to assess fault detection capability of model review

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 896 KB

english, 2015

50

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Combinatorial Testing: From Algorithms to Applications

Gargantini, Angelo, Tzoref-Brill, Rachel

Year:

2016

Language:

english

File:

PDF, 204 KB

english, 2016