Publication list by type My publication list by type.

Journals

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, and Paolo Vavassori
A novel use of equivalent mutants for static anomaly detection in software artifacts
in Information and Software Technology, vol. MT (2016): -
[abstract] [download the pdf file] [DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, and Elvinia Riccobene
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions
in The Computer Journal, vol. 58, n. 11 (2015): 2900-2920
[abstract] [download the pdf file] [DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Rigorous development process of a safety-critical system: from ASM models to Java code
in International Journal on Software Tools for Technology TransferSpringer Berlin Heidelberg (2015): 1-23
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Using mutation to assess fault detection capability of model review
in Software Testing, Verification and ReliabilityJohn Wiley & Sons, Ltd, vol. 25, n. 5-7 (2015): 629--652
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Paolo Arcaini, and Angelo Gargantini
Test generation for sequential nets of abstract state machines with information passing
in Science of Computer ProgrammingElsevier, vol. 94, Part 2, n. 0 (2014): 93 - 108
[abstract] [read the copyright and download the pdf file] [DOI] [url] [Abstract State Machines, Alloy, B, VDM, and Z Selected and extended papers from \ABZ\ 2012]
Fraser, Gordon, and Gargantini, Angelo
Guest editor's introduction to the special section on tests and proofs
in Software Quality JournalSpringer US, vol. 21, n. 1 (2013): 99-100
[DOI] [url]
Gargantini, Angelo, and Fraser, Gordon
Generating Minimal Fault Detecting Test Suites for General Boolean Specifications
in Information and Software Technology, Elsevier, vol. 53 (2011): 1263-1273
[abstract] [read the copyright and download the pdf file] [DOI]
Calvagna, Andrea, and Gargantini, Angelo
T-wise combinatorial interaction test suites construction based on coverage inheritance
in Software Testing, Verification and ReliabilityJohn Wiley & Sons, Ltd, vol. 22, n. 7 (2011): 507--526
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
A Model Advisor for NuSMV Specifications
in Innovations in Systems and Software EngineeringSpringer London, vol. 7 (2011): 97-107
[abstract] [download the pdf file] [DOI]
Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
A model-driven process for engineering a toolset for a formal method
in Software: Practice and ExperienceJohn Wiley & Sons, Ltd., vol. 41, n. 2 (2011): 155--166
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Calvagna, Andrea, and Gargantini, Angelo
A Formal Logic Approach to Constrained Combinatorial Testing
in Journal of Automated ReasoningSpringer Netherlands, vol. 45, n. 4 (2010): 331-358
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis
in International Journal On Advances in Software, vol. 1&2 (2010): 1--18
[abstract] [download the pdf file]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
A semantic framework for metamodel-based languages
in Journal of Automated Software Engineering, vol. 16, n. 3-4 (2009): 415-454
[abstract] [read the copyright and download the pdf file] [DOI]
Fraser, Gordon, Gargantini, Angelo, and Franz Wotawa
On the Order of Test Goals in Specification-Based Testing
in Journal of Logic and Algebraic Programming, vol. 78, n. 6 (2009): 472-490
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
in Journal of Universal Computer Science (JUCS), vol. 14, n. 12 (2008): 1949--1983
[abstract] [download the pdf file]
Gargantini, Angelo, and Riccobene, Elvinia
ASM-based Testing: Coverage Criteria and Automatic Test Sequence Generation
in JUCS - Journal of Universal Computer Science, vol. 7, n. 11 (2001): 1050--1067
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, and Morzenti, Angelo
Automated Deductive Requirements Analysis of Critical Systems
in ACM Transactions on Software Engineering and Methodology, vol. 10, n. 3 (2001): 255--307
[abstract] [read the copyright and download the pdf file] [DOI]
Gargantini, Angelo, Dino Mandrioli, and Morzenti, Angelo
Dealing with zero-time transitions in axiom systems
in Information and Computation, vol. 150, n. 2 (1999): 119-131
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, and Heitmeyer, Constance
Using model checking to generate tests from requirements specifications
in SIGSOFT Softw. Eng. NotesACM, vol. 24 (1999): 146--162
[DOI] [url]
Miguel Felder Felder, Gargantini, Angelo, and Morzenti, Angelo
A Theory of Implementation and Refinement in Timed Petri Nets
in Theoretical Computer Science 202, vol. 202, n. 1-2 (1998): 127-161
[abstract] [download the pdf file] [DOI]

Proceedings

Fraser, Gordon and Gargantini, Angelo (Editors)
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings
Springer, Lecture Notes in Computer Science, vol. 6143 (2010)
[DOI]
Gargantini, Angelo (Editors)
Proceedings of Eclipse IT 2009 - 4th Italian worshop on eclipse technologies
(2009) ISBN 978-88-904388-0-6
[download the pdf file]
Börger, Egon and Gargantini, Angelo and Riccobene, Elvinia (Editors)
Abstract State Machines - Advances in Theory and Applications 10th International Workshop, ASM 2003 - Taormina, Italy, March 2003. Proceedings
Springer Verlag, Germany, Lecture Notes in Computer Science, vol. 2589 (2003) ISBN 3-540-00624-9

Chapters of book

Camilli, Matteo, Gargantini, Angelo, Scandurra, Patrizia, and Bellettini, Carlo
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
in NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Eds. Barrett, Clark and Davies, Misty and Kahsai, Temesghen) Springer International Publishing (2017): 115--130 ISBN 978-3-319-57288-8
[abstract] [download the pdf file] [DOI] [url]
Bonfanti, Silvia, Carissoni, Marco, Gargantini, Angelo, and Mashkoor, Atif
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
in NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Eds. Barrett, Clark and Davies, Misty and Kahsai, Temesghen) Springer International Publishing (2017): 295--301 ISBN 978-3-319-57288-8
[abstract] [download the pdf file] [DOI] [url] [presentation]
Gargantini, Angelo, Facoetti, Giancarlo, and Vitali, Andrea
Measuring Stereoacuity by 3D Technology
in ICTs for Improving Patients Rehabilitation Research Techniques: Second International Workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014, Revised Selected Papers (Eds. Fardoun, Habib M. and R. Penichet, Victor M and Alghazzawi, Daniyal M.) Springer Berlin Heidelberg, Communications in Computer and Information Science, vol. 515 (2015): 155--167 ISBN 978-3-662-48645-0
[abstract] [download the pdf file] [DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia, and Patrizia Scandurra
8. Formal semantics for Metamodel-based Domain Specific Languages
in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments (Eds. Mernik, Marjan) IGI Global (2013)
[DOI]
Andrea Calvagna, and Gargantini, Angelo
Generation of Fault Detecting Tests from Formal Specifications by Model Checking
in Fault Detection: Theory, Methods and Systems (Eds. L\'ea M. Simon) NovaScience (2010) ISBN 978-1-61728-291-1
A. Carioni, Gargantini, Angelo, Riccobene, Elvinia, and Patrizia Scandurra
Model-driven system validation by scenarios
in Languages for Embedded Systems and their Applications. (Eds. Martin Radetzki) Springer Verlag, Lecture Notes in Electrical Engineering (LNEE) (2009): 57--69
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Model-driven design and ASM-based analysis of embedded systems
in Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Eds. L. Gomes and J. M. Fernandes) IGI Global (2009)
[DOI]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Ten reasons to metamodel ASMs
in Rigorous Methods for Software Construction and Analysis - Essays Dedicated to Egon Boerger on the Occasion of His 60th Birthday (Eds. Abrial, Jean-Raymond and Glässer, Uwe) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 5115 (2009): 33-49 ISBN 978-3-642-11446-5
[abstract] [read the copyright and download the pdf file] [DOI]
Börger, Egon, Gargantini, Angelo, and Riccobene, Elvinia
ASM
in Software Specification Methods, An Overview Using a Case Study (Eds. Henri Habrias and France Marc Frappier) Wiley (2006): 103--119 ISBN 978-1905209347
[abstract] [read the copyright and download the pdf file]
Gargantini, Angelo
Conformance Testing
in Model-Based Testing of Reactive Systems (Eds. Broy, M. and Jonsson, B. and Katoen, J.-P. and Leucker, M. and Pretschner, A.) Springer, Lecture Notes in Computer Science, Vol. 3472 (2005): 87--111 ISBN 3-540-26278-4
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, Morzenti, Angelo, Gargantini, Angelo, and Morzenti, Angelo
TRIO Specification of a Steam Boiler Controller
in Formal Methods for Industrial Applications (Eds. Jean-Raymond Abrial, Egon Boerger, Hans Langmaack and Abrial, Jean-Raymond and Boerger, Egon and Langmaack, Hans) Springer Verlag, Lecture Notes in Computer Science, vol. 1165 (1996): 218-232 ISBN 978-3-540-61929-1
[abstract] [download the pdf file] [DOI] [url]

In proceedings

Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene
MutRex: a mutation-based generator of fault detecting strings for regular expressions
in The 12th International Workshop on Mutation Analysis - 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2017): 87-96
[abstract] [download the pdf file] [DOI] [This paper won the **best paper award**. The tool is available at http://cs.unibg.it/mutrex/]
Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene
NuSeen: a tool framework for the NuSMV model checker
in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) - Testing Tools Papers Track (2017)
[abstract] [download the pdf file] [The tool is available at http://nuseen.sourceforge.net//]
Angelo Gargantini, Justyna Petke, and Marco Radavelli
Combinatorial Interaction Testing for Automated Constraint Repair
in 6th International Workshop on Combinatorial Testing (IWCT 2017) -2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2017): 239-248
[abstract] [download the pdf file] [DOI]
Paolo Arcaini, Angelo Gargantini, and Paolo Vavassori
Automated Repairing of Variability Models
in 21st International Systems and Software Product Line Conference (SPLC 2017) (2017)
Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene
SMT for state-based formal methods: the ASM case study
in Automated Formal Methods (AFM) 2017 (2017)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, and Carlo Bellettini
Towards Inverse Uncertainty Quantification in Software Development (short paper)
in International Conference on Software Engineering and Formal Methods (2017)
Paolo Arcaini, Angelo Gargantini, and Paolo Vavassori
Automatic Detection and Removal of Conformance Faults in Feature Models
in 9th IEEE International Conference on Software Testing, Verification and Validation (ICST 2016), Chicago, USA, April 10-15 (2016): 102-112
[abstract] [download the pdf file] [DOI]
Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, and Riccobene, Elvinia
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study
in Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Eds. Butler, Michael and Schewe, Klaus-Dieter and Mashkoor, Atif and Biro, Miklos) Springer International Publishing (2016): 344--359 ISBN 978-3-319-33600-8
[abstract] [download the pdf file] [DOI]
Arcaini, Paolo, Bonfanti, Silvia, Dausend, Marcel, Gargantini, Angelo, Mashkoor, Atif, Raschke, Alexander, Riccobene, Elvinia, Scandurra, Patrizia, and Stegmaier, Michael
Unified Syntax for Abstract State Machines
in Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Eds. Butler, Michael and Schewe, Klaus-Dieter and Mashkoor, Atif and Biro, Miklos) Springer International Publishing (2016): 231--236 ISBN 978-3-319-33600-8
[download the pdf file] [DOI]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
SMT-Based Automatic Proof of ASM Model Refinement
in Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Eds. De Nicola, Rocco and Kühn, Eva) Springer International Publishing (2016): 253--269 ISBN 978-3-319-41591-8
[abstract] [download the pdf file] [DOI]
Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, and Riccobene, Elvinia
Visual notation and patterns for Abstract State Machines
in in Software Technologies: Applications and Foundations, STAF 2016, Post-Proceedings (Eds. Poalo Milazzo and alt.) Springer, Lecture Notes in Computer Science, vol. 9946 (2016): 1--16 ISBN 978-3-319-33599-5
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, Petke, Justyna, Radavelli, Marco, and Vavassori, Paolo
Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing
in Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings (Eds. Sarro, Federica and Deb, Kalyanmoy) Springer International Publishing (2016): 49--63 ISBN 978-3-319-47106-8
[abstract] [download the pdf file] [DOI]
Gargantini, A., and Tzoref-Brill, R.
Combinatorial Testing: From Algorithms to Applications
in Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016 (2016): 17-18
[DOI]
Paolo Arcaini, Elvinia Riccobene, and Angelo Gargantini
Model-based offline and online testing for medical software
in 23rd EuroAsiaSPI Conference, Graz, Austria, 14-16.09.2016, Proceedings (2016): 11.11-11.20 ISBN 978-87-998116-6-3
Bonfanti, Silvia, Gargantini, Angelo, and Mashkoor, Atif
A preliminary systematic literature review of the use of formal methods in medical software systems
in 23rd EuroAsiaSPI Conference, Graz, Austria, 14-16.09.2016, Proceedings (2016) ISBN 978-87-998116-6-3
[abstract] [download the pdf file]
Bonfanti, Silvia, Gargantini, Angelo, and Vitali, Andrea
A mobile application for the stereo acuity test
in Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II (Eds. Vincent G. Duffy) Springer, Lecture Notes in Computer Science, vol. 9185 (2015): 315--326
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, and Vavassori, Paolo
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation
in IWCT - International Workshop on Combinatorial Testing (2015): 1-10
[abstract] [read the copyright and download the pdf file] [DOI]
Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia, and Vavassori, Paolo
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts
in Mutation 2015 - Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on (2015): 1-6
[abstract] [read the copyright and download the pdf file] [DOI] [presentation]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Improving Model-based Test Generation by Model Decomposition
in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, Bergamo, Italy — August 30 - September 04, 2015ACM, ESEC/FSE 2015 (2015): 119--130 ISBN 978-1-4503-3675-8
[abstract] [download the pdf file] [DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, and Vavassori, Paolo
Generating Tests for Detecting Faults in Feature Models
in ICST 2015 8th IEEE International Conference on Software Testing, Verification and Validation (2015): 1-10
[abstract] [read the copyright and download the pdf file] [DOI] [presentation]
Camilli, Matteo, Gargantini, Angelo, and Scandurra, Patrizia
Specifying and verifying real-time self-adaptive systems
in The 26th IEEE International Symposium on Software Reliability Engineering ISSRE (2015): 303-313
[abstract] [download the pdf file] [DOI]
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, and Elvinia Riccobene
Formal validation and verification of a medical software critical component
in Formal Methods and Models for Codesign (MEMOCODE), 2015 ACM/IEEE International Conference on (2015): 80--89
[download the pdf file] [DOI]
Gargantini, Angelo, Terzi, Fabio, Zambelli, Matteo, and Bonfanti, Silvia
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation
in Proceedings of REHAB, the 3rd 2015 Workshop on ICTs for Improving Patients Rehabilitation Research TechniquesACM, REHAB '15 (2015): 81--84 ISBN 978-1-4503-3898-1
[abstract] [download the pdf file] [DOI] [url]
Gargantini, Angelo; Czerwonka, Jacek; Kacker, Raghu; Kuhn, Richard; Lei, Yu; Segall, Itai
General message from the IWCT workshop organizers
in 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2015): 1-2
[DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
in ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings (Eds. Boniol, Frédéric and Wiels, Virginie and Ait Ameur, Yamine and Schewe, Klaus-Dieter) Springer International Publishing, Communications in Computer and Information Science, vol. 433 (2014): 36-51 ISBN 978-3-319-07511-2
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Using SMT for dealing with nondeterminism in ASM-based runtime verification
in ECEASSTProceedings of Automated Verification of Critical Systems 2014, vol. 70 (2014)
[abstract] [download the pdf file] [url]
Facoetti, Giancarlo, Gargantini, Angelo, and Vitali, Andrea
An Environment for Domestic Supervised Amblyopia Treatment
in Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management (Eds. Duffy, VincentG.) Springer International Publishing, Lecture Notes in Computer Science, vol. 8529 (2014): 340-350 ISBN 978-3-319-07724-6
[abstract] [download the pdf file] [DOI] [url]
Gargantini, Angelo, and Vavassori, Paolo
Efficient Combinatorial Test Generation based on Multivalued Decision Diagrams
in Hardware and Software: Verification and Testing, Haifa Verification Conference HVC 2014 (Eds. Yahav, Eran) Springer International Publishing, Lecture Notes in Computer Science, vol. 8855 (2014): 220-235 ISBN 978-3-319-13337-9
[abstract] [read the copyright and download the pdf file] [DOI] [presentation] [The tool is available at https://github.com/garganti/medici]
Paolo Arcaini, Angelo Gargantini, and Paolo Vavassori
Validation of Models and Tests for Constrained Combinatorial Interaction Testing
in The 3rd International Workshop on Combinatorial Testing (IWCT 2014) In conjunction with IEEE International Conference on Software Testing (ICST 2014, March 31 - April 4) (2014): 98-107
[abstract] [download the pdf file] [DOI] [presentation]
Gargantini, Angelo, Facoetti, Giancarlo, and Vitali, Andrea
A Random Dot Stereoacuity Test based on 3D Technology
in Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare - 2nd Patient Rehabilitation Research Techniques WorkshopICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), PervasiveHealth '14 (2014): 358--361 ISBN 978-1-63190-011-2
[abstract] [download the pdf file] [DOI] [url] [presentation]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
in ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings (Eds. Boniol, Frédéric and Wiels, Virginie and Ait Ameur, Yamine and Schewe, Klaus-Dieter) Springer International Publishing, Communications in Computer and Information Science, vol. 433 (2014): 95-109 ISBN 978-3-319-07511-2
[abstract] [read the copyright and download the pdf file] [DOI] [url] [presentation]
Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene
An Abstraction Technique for Testing Decomposable Systems by Model Checking
in 8th International Conference on Tests & Proofs, July 24 - July 25, 2014, York, UK (Eds. Seidl, Martina and Tillmann, Nikolai) Springer International Publishing, Lecture Notes in Computer Science, vol. 8570 (2014): 36-52
[abstract] [read the copyright and download the pdf file] [DOI] [url] [presentation]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
in The 9th Workshop on Advances in Model Based Testing (A-MOST 2013) - EEE Sixth International Conference on Software Testing, Verification and Validation Workshops, LuxembourgIEEE Computer Society, ICSTW '13 (2013): 178--187 ISBN 978-0-7695-4993-4
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Gargantini, Angelo, Guarnieri, Marco, and Eros Magri
AURORA: AUtomatic RObustness coveRage Analysis Tool
in Sixth IEEE International Conference on Software Testing, Verification and Validation - Testing Tool trackIEEE Computer Society, ICST '13 (2013): 463--470 ISBN 978-0-7695-4968-2
[read the copyright and download the pdf file] [DOI] [url]
Calvagna, Andrea, Gargantini, Angelo, and Vavassori, Paolo
Combinatorial Interaction Testing with CITLAB
in Sixth IEEE International Conference on Software Testing, Verification and Validation - Testing Tool trackIEEE Computer Society, ICST '13 (2013): 376--382 ISBN 978-0-7695-4968-2
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, and Vavassori, Paolo
NuSeen: an eclipse-based environment for the NuSMV model checker
in Eclipse-IT 2013 - VIII Workshop della Comunita' Italiana di Eclipse (2013) ISBN 978-88-904388-4-4
[abstract] [download the pdf file] [url]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Online testing of LTL properties for Java code
in Hardware and Software: Verification and Testing, Haifa Verification Conference HVC 2013 (Eds. Bertacco, Valeria and Legay, Axel) Springer Berlin / Heidelberg, LNCS-Lecture Notes in Computer Science, vol. 8244 (2013): 95--111 ISBN 978-3-319-03076-0
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Vitali, Andrea, Facoetti, Giancarlo, and Gargantini, Angelo
An Environment for Contrast-Based Treatment of Amblyopia Using 3D Technology
in International Conference on Virtual Rehabilitation 2013 - August 26-29, 2013 in Philadelphia, PA, U.S.A. (2013)
[abstract] [download the pdf file]
Calvagna, Andrea, Gargantini, Angelo, and Vavassori, Paolo.
Combinatorial Testing for Feature Models Using CitLab
in The 2nd International Workshop on Combinatorial Testing (IWCT 2013) In conjunction with International Conference on Software Testing (ICST 2013, March 18-22) LuxembourgIEEE Computer Society, ICSTW '13 (2013): 338--347 ISBN 978-0-7695-4993-4
[abstract] [read the copyright and download the pdf file] [DOI] [url] [presentation]
Arcaini, Paolo, Bolis, Francesco, and Gargantini, Angelo
Test Generation for Sequential Nets of Abstract State Machines
in Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Eds. Derrick, John and Fitzgerald, John and Gnesi, Stefania and Khurshid, Sarfraz and Leuschel, Michael and Reeves, Steve and Riccobene, Elvinia) Springer Berlin / Heidelberg, LNCS-Lecture Notes in Computer Science, vol. 7316 (2012): 36-50 ISBN 978-3-642-30884-0
[abstract] [read the copyright and download the pdf file] [DOI]
P. Arcaini, A. Gargantini, E. Riccobene, and P. Scandurra
The ASMETA framework
in Proceedings of the Posters & Tool demos Session iFM 2012 & ABZ 2012 (Eds. Mazzanti, F. and Trentanni, G.) CNR-ISTI (2012): 1--5 ISBN 9788879580083
[download the pdf file]
Gargantini, Angelo, and Vavassori, Paolo
CitLab: a Laboratory for Combinatorial Interaction Testing
in Workshop on Combinatorial Testing (CT) In conjunction with International Conference on Software Testing (ICST 2012, April 17-21)IEEE Computer Society (2012): 559-568 ISBN 978-0-7695-4670-4
[abstract] [read the copyright and download the pdf file] [DOI]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
epop: An Eclipse-based Extensible Research Evaluator
in eclipse-IT 12, the VII Workshop of the Italian Eclipse Community (Eds. Paolo Maresca and Lidia Stanganelli) (2012) ISBN 978-88-904388-3-7
[abstract] [download the pdf file]
Gargantini, Angelo, Guarnieri, Marco, and Eros Magri
Extending Coverage Criteria by Evaluating their Robustness to Code Structure Changes
in Testing Software and Systems, 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings (Eds. Brian Nielsen and Carsten Weise and Nielsen, Brian and Weise, Carsten) Springer, Lecture Notes in Computer Science, vol. 7641 (2012): 168-183 ISBN 978-3-642-34690-3
[abstract] [read the copyright and download the pdf file] [DOI] [url] [presentation]
Bolis, Francesco, Gargantini, Angelo, Guarnieri, Marco, Magri, Eros, and Musto, Lorenzo
Model-Driven Testing for Web Applications using Abstract State Machines
in Current Trends in Web Engineering - Model-Driven Web Engineering workshop (MDWE 2012) - workshop of the 12th International Conference on Web Engineering ICWE 2012 (Eds. M. Grossniklaus and M. Wimmer and Grossniklaus, Michael and Wimmer, Manuel) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 7703 (2012): 71 ISBN 978-3-642-35622-3
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
CoMA: Conformance Monitoring of Java programs by Abstract State Machines
in 2nd International Conference on Runtime Verification RV 2011, September 27 - September 30, 2011, San Francisco, California (Eds. Sarfraz Khurshid and Koushik Sen) Springer, Lecture Notes in Computer Science, vol. 7186 (2012) ISBN 978-3-642-29859-2
[abstract] [read the copyright and download the pdf file] [DOI]
Bolis, Francesco, Gargantini, Angelo, Guarnieri, Marco, and Magri, Eros
Evolutionary Testing of PHP Web Applications with WETT
in Search Based Software Engineering - 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings (Eds. Fraser, Gordon and Jerffeson Teixeira de Souza) Springer, Lecture Notes in Computer Science, vol. 7515 (2012): 285-291 ISBN 978-3-642-33118-3
[abstract] [read the copyright and download the pdf file] [DOI]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Components monitoring through formal specifications
in WCOP '12 - Proceedings of the 17th international doctoral symposium on Components and ArchitectureACM, WCOP '12 (2012): 25--30 ISBN 978-1-4503-1348-3
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Gargantini, Angelo
Using 3D Vision for the diagnosis and treatment of amblyopia in young children
in HEALTHINF 2011 - Proceedings of the International Conference on Health Informatics, Rome, Italy, 26-29 January, 2011 (Eds. Vicente Traver and Ana L. N. Fred and Joaquim Filipe and Hugo Gamboa) SciTePress (2011): 472-476 ISBN 978-989-8425-34-8
[abstract] [download the pdf file]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions
in 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA (Eds. Perry Alexander and Corina S. Pasareanu and John G. Hosking) IEEE (2011): 388 -391 ISBN 978-1-4577-1638-6
[abstract] [download the pdf file] [DOI] [Try the tool at http://fmse.di.unimi.it/atgtBoolean.html]
Gargantini, Angelo
Dealing with Constraints in Boolean Expression Testing
in CSTVA 2011- 3rd Workshop on Constraints in Software Testing, Verification, and Analysis, Berlin, March 25, 2011 (2011): 322 -327
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, Guarnieri, Marco, and Eros Magri
An eclipse-based environment for conformance testing by FSMs
in The Sixth Workshop of the Italian Eclipse Community (eclipse-it) (2011) ISBN 9788890438820
[abstract] [download the pdf file]
Gargantini, Angelo, Bana, Mariella, and Fabiani, Flavia
Using 3D for Rebalancing the Visual System of Amblyopic Children
in Virtual Rehabilitation (ICVR), 2011 International Conference on, June 27 - July 1, 2011, Zurich (2011): 1 -7
[abstract] [download the pdf file] [DOI] [presentation]
Fraser, Gordon, and Gargantini, Angelo
Generating minimal fault detecting test suites for Boolean expressions
in 6th Workshop on Advances in Model Based Testing A-MOST 2010, Third International Conference on Software Testing, Verification, and Validation Workshops, ParisIEEE Computer Society (2010) ISBN 978-0-7695-4050-4
[abstract] [download the pdf file] [DOI] [See also http://cs.unibg.it/gargantini/research/abstracts/ase2011.html and the supporting tool http://fmse.di.unimi.it/atgtBoolean.html]
Fraser, Gordon, and Gargantini, Angelo
Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform
in The 5th Italian Workshop on Eclipse Technologies (Eclipse-IT 2010), 30 Sept. and Oct. 1, 2010, Savona, Italy. (2010) ISBN 9788890438813
[abstract] [download the pdf file]
Gargantini, Angelo, Salvaneschi, Guido, and Scandurra, Patrizia
On the downscaling of the Jazz platform
in The 5th Italian Workshop on Eclipse Technologies (Eclipse-IT 2010) (2010) ISBN 9788890438813
[abstract] [download the pdf file]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Automatic review of Abstract State Machines by Meta Property Verification
in Proceedings of the Second NASA Formal Methods Symposium (NFM 2010) (Eds. C\'esar Mu\ noz) , n. NASA/CP-2010-216215 (2010)
[abstract] [download the pdf file]
Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
in Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings (Eds. Marc Frappier and Uwe Glässer and Sarfraz Khurshid and R\'egine Laleau and Steve Reeves) Springer Berlin / Heidelberg, Lecture Notes in Computer Science, vol. 5977 (2010): 61--74 ISBN 978-3-642-11810-4
[abstract] [read the copyright and download the pdf file] [DOI]
Arcaini, Paolo, Alessandro Carioni, Gargantini, Angelo, Elvinia Riccobene, and Scandurra, Patrizia
A model-driven process for engineering a tool set for a formal method
in Workshop on Tool Building in Formal Methods, WS-TBFM 2010 (Eds. Fr\'ed\'eric Gervais and Beno\^\it Fraikin) (2010)
[abstract]
Calvagna, Andrea, and Gargantini, Angelo
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays
in 5th Workshop on Advances in Model Based Testing (A-MOST 2009), Proceedings - International Conference on Software Testing, Verification, and Validation Workshops, Denver, CO (2009)
[abstract] [read the copyright and download the pdf file] [DOI]
Fraser, Gordon, and Gargantini, Angelo
Experiments on the Test Case Length in Specification Based Test Case Generation
in Fourth International Workshop on the Automation of Software Test (AST09) - ICSE (2009)
[abstract] [download the pdf file]
Andrea Calvagna, Gargantini, Angelo, and Emiliano Tramontana
Building T-wise Combinatorial Interaction Test Suites by means of Grid computing
in Fifth Workshop on Emerging Technologies for Next generation GRID (ETNGRID-2009) part of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2009) June 29 - July 1, 2009, Groningen (The Netherlands). (2009)
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Integrating Formal Methods with Model-driven Engineering
in The Fourth International Conference on Software Engineering Advances ICSEA 2009 - September 20-25, 2009 - Porto, Portugal (Eds. Kenneth Boness and Jo\ ao M. Fernandes and Jon G. Hall and Ricardo Jorge Machado and Roy Oberhauser) IEEE Computer Society (2009): 86-92 ISBN 978-0-7695-3777-1
[abstract] [download the pdf file] [DOI]
Fraser, Gordon, and Gargantini, Angelo
An Evaluation of Model Checkers for Specification Based Test Case Generation
in 2009 International Conference on Software Testing Verification and Validation (ICST), Denver, CO, 2009 (2009): 41-50
[abstract] [read the copyright and download the pdf file] [DOI]
Fraser, Gordon, and Gargantini, Angelo
An Evaluation of Specification Based Test Generation Techniques using Model Checkers
in Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART) (2009)
[abstract] [download the pdf file] [DOI]
Calvagna, Andrea, and Gargantini, Angelo
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing
in Third International Conference on Tests And Proofs (TAP) (Eds. Dubois, Catherine) Springer-Verlag, Lecture Notes in Computer Science, vol. 5668 (2009): 27--42 ISBN 978-3-642-02948-6
[abstract] [download the pdf file] [DOI]
Alessandro Carioni, Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
A scenario-based validation language for ASMs
in ABZ Conference, September 16-18, 2008, London, UK (Eds. Egon Börger and Michael Butler and Jonathan P. Bowen and Paul Boca) Springer, Lecture Notes in Computer Science, vol. 5238 (2008): 71-84 ISBN 978-3-540-87602-1
[abstract] [read the copyright and download the pdf file] [DOI]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Exploiting the ASM method for Validation and Verification of Embedded Systems
in Abstract State Machines, B and Z, September 16-18, 2008, London, UK (Eds. Boerger, Egon and Butler, Michael and Bowen, JonathanP. and Boca, Paul) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 5238 (2008): 348-348 ISBN 978-3-540-87602-1
[DOI] [url]
Andrea Calvagna, and Gargantini, Angelo
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints
in Proceedings of AFM Automated Formal Methods - workshop of CAV, 14 July 2008, Princeton, New Jersey, USA (Eds. John Rushby and Natarajan Shankar) (2008)
[abstract] [download the pdf file]
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, and Alessandro Carioni
Scenario-based Validation of Embedded Systems
in Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, ProceedingsIEEE (2008): 191-196 ISBN 978-1-4244-2265-4
[download the pdf file] [DOI]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Model-driven Language Engineering: the ASMETA case study
in Third International Conference on Software Engineering Advances (ICSEA), October 26-31, 2008 - Sliema, MaltaIEEE Computer Society (2008): 373--378 ISBN 978-0-7695-3372-8
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
A Model-driven Validation and Verification Environment for Embedded Systems
in IEEE Symposium on Industrial Embedded Systems (SIES), La Grande Motte, France, June 11-13, 2008 (2008): 241-244 ISBN 978-1-4244-1994-4 (print)
[download the pdf file] [DOI]
Andrea Calvagna, and Gargantini, Angelo
A Logic-Based Approach to Combinatorial Testing with Constraints
in Tests and Proofs, Second International Conference, TAP, Prato, Italy, April 9-11, 2008. Proceedings (Eds. Bernhard Beckert and Reiner Hähnle) Springer, Lecture Notes in Computer Science, vol. 4966 (2008): 66-83 ISBN 978-3-540-79123-2
[abstract] [read the copyright and download the pdf file] [DOI]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Integrating formal methods with model-driven development techniques
in WADT2008 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, June 13-16, 2008 (2008)
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
A Metamodel-based Simulator for ASMs
in The 14th International ASM Workshop, Grimstad, Norwegen, May 2008 (Eds. Andreas Prinz) (2007) ISBN 978-82-7117-627-3
[abstract] [download the pdf file]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines
in First International Conference on Eclipse Technologies ECLIPSE-IT 2007Cuzzolin Editore (2007) ISBN 8887998795
[abstract] [download the pdf file]
Gargantini, Angelo
Using Model Checking to Generate Fault Detecting Tests
in International Conference on Tests And Proofs (TAP), Zurich, Switzerland on 12-13 February 2007, Lecture Notes in Computer Science (LNCS), n. 4454 (2007): 189--206 ISBN 978-3-540-73769-8
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware
in 3M4MDA 2006 - European Workshop on Milestones, Models and Mappings for Model-Driven Architecture - European Conference on Model Driven Architecture, in Bilbao, Spain from July 10th-13th 2006. (2006)
[abstract] [download the pdf file]
Gargantini, Angelo, and Morzenti, Angelo
Automated Verification of Continuous Time Systems by Discrete Temporal Induction
in International Symposium on Temporal Representation and Reasoning TIME 2006, Budapest, Hungary June 15 - 17, 2006 (2006): 19 -26 ISBN 0-7695-2617-9
[abstract] [read the copyright and download the pdf file] [DOI]
Gargantini, Angelo, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene, and Scandurra, Patrizia
A Concrete Syntax derived from the Abstract State Machine Metamodel
in Proc. of ASM 2005 12th International Workshop on Abstract State Machines March 8-11, 2005, Paris, France (2005)
[download the pdf file]
Gargantini, Angelo, and Riccobene, Elvinia
ViBBA: A Toolbox for Automatic Model Driven Animation
in Proc. of SIMVIS 2005, Simulation and Visualization 2005, 16th Conference, Otto-von-Guericke University of Magdeburg, March 2005 in Magdeburg, Germany (Eds. Thomas Schulze and Graham Horton and Bernhard Preim and Stefan Schlechtweg) SCS Publishing House e.V. (2005): 101-114 ISBN 3-936150-40-0
[abstract] [download the pdf file]
Gargantini, Angelo, Riccobene, Elvinia, and Rinzivillo, Salvatore
Using Spin to Generate Tests from ASM Specifications
in ASM 2003 - Taormina, Italy, March 2003. Proceedings, LNCS 2589 (Eds. Boerger, Egon and Gargantini, Angelo and Riccobene, Elvinia) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 2589 (2003): 263-277 ISBN 978-3-540-00624-4
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Gargantini, Angelo, and Riccobene, Elvinia
Automatic Model Driven Animation of SCR Specifications
in Fundamental Approaches to Software Engineering - FASE 2003 - Main conference of ETAPS 2003, Warsaw, Poland, April 7-11 (Eds. Pezze', Mauro) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 2621 (2003): 294-309 ISBN 978-3-540-00899-6
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Gargantini, Angelo, Morzenti, Angelo, and Riccobene, Elvinia
Using Counters to Model Temporal Relationships Among Events
in Proc. of ST.EVE, Satellite Workshop of FM 03, September 2003, Pisa, Italy (2003)
[abstract] [download the pdf file]
Gargantini, Angelo, and Riccobene, Elvinia
ASM-based Testing: Coverage criteria and Automatic tests Generation
in ASM 2001, EUROCAST 2001, Casa de Col\'on, Las Palmas de Gran Canaria, Spain, Feb. 19-23 2001 (2001)
[abstract]
Gargantini, Angelo, and Riccobene, Elvinia
Encoding Abstract State Machines in PVS
in Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verita', Switzerland, March 19-24, 2000, Proceedings. (Eds. Gurevich, Yuri and Kutter, PhilippW. and Odersky, Martin and Thiele, Lothar) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 1912 (2000): 303-322 ISBN 978-3-540-67959-2
[abstract] [download the pdf file] [DOI] [url]
Gargantini, Angelo, and Heitmeyer, Constance
Using Model Checking to Generate Tests from Requirements Specifications
in Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999 (Eds. Nierstrasz, Oscar and Lemoine, Michel) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 1687 (1999): 146-162 ISBN 978-3-540-66538-0
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Alborghetti, Andrea, Gargantini, Angelo, and Morzenti, Angelo
Providing automated support to deductive analysis of time critical systems
in Software Engineering - ESEC/FSE'97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering Zurich, Switzerland, September 22–25, 1997 Proceedings (Eds. Jazayeri, Mehdi and Schauer, Helmut) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 1301 (1997): 211-226 ISBN 978-3-540-63531-4
[read the copyright and download the pdf file] [DOI] [url]
Gargantini, Angelo, Liberati, Liliana, Morzenti, Angelo, and Zacchetti, Cristiano
Specifying, Validating, and testing a Traffic Management System in the TRIO environment
in Proc. of COMPASS 96, 11th Annual Conference on Computer Assurance, June 1996, Gaitersburg, MaryLand, United States (1996): 65--76 ISBN 0-7803-3390-X
[abstract] [download the pdf file] [DOI]

Technical reports

Gargantini, Angelo
Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children
in Technical report of arXiv, n. 1109.6288 (2011)
[url]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
LEMP: a Language Engineering Model-driven Process
in Technical report of DTI Dept., University of Milan, n. 124 (2009)
[download the pdf file]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia.
A precise and executable semantics of the SystemC UML profile by the meta-hooking approach
in Technical report of DTI Dept., University of Milan, n. 110 (2008)
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Exploiting the ASM method within the Model-driven Engineering paradigm
in Technical report of Dagstuhl Seminar Proceedings 06191 - Rigorous Methods for Software Construction and Analysis (Jean-Raymond Abrial and Uwe Glaesser, eds.) 2006. ISSN 1862-4405. (2006)
[url]
Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia
Metamodelling a Formal Method: Applying MDE to Abstract State Machines. Technical Report n. 97
in Technical report of DTI Dept., University of Milan (2006)
Gargantini, Angelo, Riccobene, Elvinia
ASM-based Testing: Coverage Criteria and Automatic Test Sequence Generation
in Technical report of International Conference And Research Center For Computer Science, Schloss Dagstuhl, Germania, n. Report 336-2002 (2002)
Gargantini, Angelo
Requirements Capture, Documentation, and Validation using TRIO
in Technical report of Dagstuhl Seminar Proceedings 99241, Requirements Capture, Documentation, and Validation June, 13-18 1999 E. Boerger, B. Horger, D.L. Parnas, H.D. Rombach (1999)
[url]
Gargantini, Angelo
Analysis and Verification of Authentication Protocols using ASM and PVS
in Technical report of Politecnico di Milano, Dipartimento di Elettronica e Informazione, n. Tech. Report 99-070 (1999)
Gargantini, Angelo, and Morzenti, Angelo
Automated Deductive Analysis of Time Critical Systems Based on Methodical Formal Specification
in Technical report of Politecnico di Milano, Dipartimento di Elettronica e Informazione, n. Tech. Report 99-050, (1999)
Gargantini, Angelo
Using Model Checking to Generate Tests from Requirements Specification
in Technical report of Politecnico di Milano, Dipartimento di Elettronica e Informazione, n. Tech. Report 99-069 (1999)
Gargantini, Angelo, and Morzenti, Angelo
TRIO specification of a Steam Boiler Controller
in Technical report of Politecnico di Milano, Dipartimento di Elettronica e Informazione, n. Tech. Report 96-002 (1996)
Felder, Miguel, Gargantini, Angelo, and Morzenti, Angelo
A Theory of Implementation and Refinement in Timed Petri Nets
in Technical report of Politecnico di Milano, Dipartimento di Elettronica e Informazione, n. Tech. Report 95-044 (1995)

Generated by BITOSITE

My sw links