2024 |
|
| Andrea Bombarda, and Angelo Gargantini Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools in Journal of Systems and Software, Elsevier BV, vol. 209 (2024): 111920 [abstract] [DOI] [url] |
|
| Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia A compositional simulation framework for Abstract State Machine models of Discrete Event Systems in Formal Aspects of Computing, Association for Computing Machinery (ACM) (2024) [abstract] [DOI] [url] [Just Accepted] |
|
| Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia A journey with ASMETA from requirements to code: application to an automotive system with adaptive features in International Journal on Software Tools for Technology Transfer, Springer Science and Business Media LLC (2024) [DOI] |
|
| Leithner, Manuel, Bombarda, Andrea, Wagner, Michael, Gargantini, Angelo, and Simos, Dimitris E. State of the CArt: evaluating covering array generators at scale in International Journal on Software Tools for Technology Transfer, Springer Science and Business Media LLC, vol. 26, n. 3 (2024): 301--326 [DOI] |
|
| Bombarda, Andrea, Bonfanti, Silvia, De Sanctis, Martina, Gargantini, Angelo, Pelliccione, Patrizio, Riccobene, Elvinia, and Scandurra, Patrizia Evaluation framework for autonomous systems: the case of Programmable Electronic Medical Systems in IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), vol. 50, n. 4 (2024): 1-21 [DOI] |
|
| Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia ASMETA Tool Set for Rigorous System Design in Formal Methods, Springer Nature Switzerland (2024): 492--517 ISBN 9783031711770 [DOI] |
|
| Bombarda, Andrea, and Gargantini, Angelo On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models in 28th ACM International Systems and Software Product Line Conference, ACM, SPLC ’24 (2024): 96--106 [DOI] |
|
| Bombarda, Andrea, Bonfanti, Silvia, and Gargantini, Angelo From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code in Rigorous State-Based Methods, Springer Nature Switzerland (2024): 160--178 ISBN 9783031637902 [DOI] |
|
| Bonfanti, Silvia, and Gargantini, Angelo The Mechanical Lung Ventilator Case Study in Rigorous State-Based Methods, Springer Nature Switzerland (2024): 281--288 ISBN 9783031637902 [DOI] |
|
| Bombarda, Andrea, Bonfanti, Silvia, and Gargantini, Angelo Testing the Evolution of Feature Models with Specific Combinatorial Tests in 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE (2024): 1--10 [DOI] |
|
| Bombarda, Andrea, and Gargantini, Angelo Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing in 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE, vol. 27 (2024): 197--206 [DOI] |
|
| Essbai, Wasim, Bombarda, Andrea, Bonfanti, Silvia, and Gargantini, Angelo A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers in Proceedings of the 5th IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, ACM, DeepTest ’24 (2024): 25--32 [abstract] [DOI] |
|
2023 |
|
| Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, and Feng Duan RATE: A model-based testing approach that combines model refinement and test execution in Software Testing, Verification and Reliability, Wiley, vol. 33, n. 2 (2023) [download the pdf file] [DOI] |
|
| Andrea Bombarda, Silvia Bonfanti, and Angelo Gargantini formal MVC: a pattern for the integration of ASM specifications in UI development in ABZ 2023, Springer Nature Switzerland (2023): 340--357 ISBN 9783031331633 [abstract] [download the pdf file] [DOI] |
|
| Andrea Bombarda, Angelo Gargantini, and Andrea Calvagna Multi-Thread Combinatorial TestGeneration with SMT Solvers in Proceedings of the 38th ACM/SIGAPP Symposium On Applied Computing - Tallinn Estonia March 27 - March 31, 2023, ACM (2023) [download the pdf file] [DOI] |
|
| Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, and Patrizia Scandurra Engineering of Trust Analysis-Driven Digital Twins for a Medical Device in Post proceedings of the 1st International Workshop on Digital Twin Architecture (TwinArch) - co-located 16th European Conference on Software Architecture (ECSA), Springer International Publishing (2023): 467--482 ISBN 9783031368899 [abstract] [download the pdf file] [DOI] |
|
| Andrea Bombarda, and Angelo Gargantini Incremental generation of combinatorial test suites starting from existing seed tests in 12th International Workshop on Combinatorial Testing - colocated with 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023, IEEE (2023) [abstract] [download the pdf file] [DOI] |
|
| Andrea Bombarda, Silvia Bonfanti, and Angelo Gargantini On the Reuse of Existing Configurations for Testing Evolving Feature Models in VariVolution 2023 - 6th International Workshop on Variability and Evolutionof Software-Intensive SystemsCo-located with SPLC 2023, August 28 - September 1, 2023, Tokyo, Japan, ACM, SPLC ’23 (2023) [abstract] [download the pdf file] [DOI] |
|
| Bonfanti, Silvia, Gargantini, Angelo Michele, and Novelli, Luca A Mobile Application for Milano Ventilatore Meccanico: A First Prototype in Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF, SCITEPRESS - Science and Technology Publications (2023): 314-321 [DOI] |
|
2022 |
|
| Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, and Rita Pedercini Robustness assessment and improvement of a neural network for blood oxygen pressure estimation in 15th IEEE International Conference on Software Testing, Verification and Validation (ICST2022), IEEE (2022) [download the pdf file] [DOI] |
|
| Andrea Bombarda, Silvia Bonfanti, and Angelo Gargantini Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller in The 33rd IFIP International Conference on Testing Software and Systems (ICTSS), Springer (2022): 65--72 [download the pdf file] [DOI] |
|
| Marcello Maria Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, and Patrizia Scandurra. Towards Trust-preserving Continuous Co-evolution of Digital Twins in 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), IEEE (2022) [download the pdf file] [DOI] |
|
| A. Bombarda, and A. Gargantini Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams in 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE Computer Society (2022): 74-81 [abstract] [download the pdf file] [DOI] |
|
| Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, and Masayuki Wada Guidelines for the development of a critical software under emergency in Information and Software Technology, Elsevier BV, vol. 152 (2022): 107061 [abstract] [download the pdf file] [DOI] [url] |
|
| Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, and Patrizia Scandurra Towards an Evaluation Framework for Autonomous Systems in 3rd IEEE International Conference on Autonomic Computing and Self-Organizing Systems - ACSOS 2022, IEEE (2022) [download the pdf file] [DOI] |
|
| Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra Compositional Simulation of Abstract State Machines for Safety Critical Systems in 18th International Conference on Formal Aspects of Component Software, Springer International Publishing (2022): 3--19 [download the pdf file] [DOI] |
|
| Silvia Bonfanti, and Angelo Gargantini Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications in Biomedical Engineering Systems and Technologies, Springer International Publishing (2022): 139--157 ISBN 9783031206641 [download the pdf file] [DOI] |
|
2021 |
|
| Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, and Catia Trubiani Uncertainty-aware Exploration in Model-based Testing in 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE (2021) [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, and Angelo Gargantini ROBY: a Tool for Robustness Analysis of Neural Network Classifiers in IEEE International Conference on Software Testing, Verification and Validation (ICST) 2021 - testing tools track, IEEE (2021) [abstract] [download the pdf file] [DOI] [The tool is available at https://github.com/fmselab/roby] |
|
| Silvia Bonfanti, and Angelo Gargantini Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study in Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies - HEALTHINF, SCITEPRESS - Science and Technology Publications (2021) [abstract] [download the pdf file] [DOI] |
|
| A. Abba, and alt. The novel Mechanical Ventilator Milano for the COVID-19 pandemic in Physics of Fluids, AIP Publishing, vol. 33, n. 3 (2021): 037122 [abstract] [download the pdf file] [DOI] |
|
| Andrea Bombarda, Edoardo Crippa, and Angelo Gargantini An environment for benchmarking combinatorial test suite generators in IWCT 2021- 10th International Workshop on Combinatorial TestingApril, 2021 (co-located with ICST), IEEE (2021) [abstract] [download the pdf file] [DOI] |
|
| Silvia Bonfanti, Angelo Gargantini, Gabriele Esposito, Alessio Facchin, Marta Maffioletti, and Silvio Maffioletti Evaluation of Stereoacuity with a digital mobile application in Graefe's Archive for Clinical and Experimental Ophthalmology, Springer Science and Business Media LLC, vol. 259, n. 9 (2021): 2843--2848 [abstract] [download the pdf file] [DOI] |
|
| Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, and Elvinia Riccobene Extending ASMETA with time features in ABZ 2021 - 8th International Conference onRigorous State Based Methods, Springer International Publishing (2021): 105--111 [abstract] [download the pdf file] [DOI] |
|
| Walter Bonivento, Angelo Gargantini, Reiner Krücken, and Alessandro Razeto The Mechanical Ventilator Milano in Nuclear Physics News, Informa UK Limited, vol. 31, n. 3 (2021): 30--33 [DOI] |
|
| Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, and Masayuki Wada Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 in 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), IEEE (2021) [download the pdf file] [DOI] [This paper was nominated as one of three **best papers**] |
|
| Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, and Angelo Gargantini Efficient Computation of Robustness of Convolutional Neural Networks in 2021 IEEE International Conference on Artificial Intelligence Testing (AITest), IEEE (2021) [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra The ASMETA Approach to Safety Assurance of Software Systems in Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Eds. Alexander Raschke and Elvinia Riccobene and Klaus-Dieter Schewe) , Springer, Lecture Notes in Computer Science, vol. 12750 (2021): 215--238 [abstract] [download the pdf file] [DOI] [url] |
|
| Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, and Elvinia Riccobene Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA in Proceedings First Workshop on Applicable Formal Methods AppFM (Eds. Mario Gleirscher and Jaco van de Pol and Jim Woodcock) , EPTCS, vol. 349 (2021): 13--29 [abstract] [download the pdf file] [DOI] |
|
| Silvia Bonfanti, Andrea Bombarda, Angelo Gargantini, Patrizio Pelliccione, and Elvinia Riccobene Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare in IL GIORNALE DELL'INGEGNERE, n. 5 (2021): 13 [download the pdf file] |
|
2020 |
|
| Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra Addressing Usability in a Formal Development Environment in AFFORD 2019 - Workshop on Practical Formal Verification for Software Dependability - workshop of FM 19, Springer International Publishing (2020): 61--76 [abstract] [download the pdf file] [DOI] |
|
| Matteo Camilli, Angelo Gargantini, and Patrizia Scandurra Model-based Hypothesis Testing of Uncertain Software Systems in Software Testing, Verification and Reliability, Wiley, vol. 30, n. 2 (2020) [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, and Angelo Gargantini Dealing with Robustness of Convolutional Neural Networks for Image Classification in 2020 IEEE International Conference On Artificial Intelligence Testing (AITest), IEEE (2020) [abstract] [download the pdf file] [DOI] [This paper won the **best paper award**] |
|
| Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra Modelling an automotive software-intensive system with adaptive features using Asmeta in 7th International Conference onRigorous State Based Methods (ABZ 2020) (2020) [abstract] [download the pdf file] [DOI] |
|
| Andrea Bombarda, and Angelo Gargantini An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines in IWCT 2020 - 9th International Workshop on Combinatorial Testing - ICST workshop ICSTW, IEEE (2020) [abstract] [download the pdf file] [DOI] |
|
| Bestoun S. Ahmed, Angelo Gargantini, and Miroslav Bures An Automated Testing Framework For Smart TV apps Based on Model Separation in INTUITESTBEDS (International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software) - 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020:, IEEE (2020): 62--73 [abstract] [download the pdf file] [DOI] |
|
| Bestoun S. Ahmed, Angelo Gargantini, and Miroslav Bures An Automated Testing Framework For Smart TV apps Based on Model Separation in Technical report of arXiv, vol. abs/2002.00404 (2020) [url] |
|
| Atif Mashkoor, Paolo Arcaini, and Angelo Gargantini Intelligent Autonomous Systems in Computer, Institute of Electrical and Electronics Engineers (IEEE), vol. 53, n. 12 (2020): 20--23 [download the pdf file] [DOI] |
|
2019 |
|
| Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene Decomposition-Based Approach for Model-Based Test Generation in IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), vol. 45, n. 5 (2019): 507--520 [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Angelo Gargantini, and Marco Radavelli Achieving change requirements of feature models by an evolutionary approach in Journal of Systems and Software, Elsevier BV, vol. 150 (2019): 64--76 [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Angelo Gargantini, and Marco Radavelli Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations in 8th International Workshop on Combinatorial Testing (IWCT 2019) - ICST workshop ICSTW, IEEE (2019) [abstract] [download the pdf file] [DOI] |
|
| Garn, Bernhard, Radavelli, Marco, Gargantini, Angelo, Leithner, Manuel, and Simos, Dimitris E. A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection in Advances and Trends in Artificial Intelligence. From Theory to Practice. Proceeding of the 32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2019) (Eds. Wotawa, Franz and Friedrich, Gerhard and Pill, Ingo and Koitz-Hristov, Roxane and Ali, Moonis) , Springer International Publishing, Lecture Notes in Computer Science, n. 11606 (2019): 207--215 ISBN 978-3-030-22999-3 [abstract] [download the pdf file] [DOI] |
|
| \'Etienne Andr\'e, Paolo Arcaini, Angelo Gargantini, and Marco Radavelli Repairing Timed Automata Clock Guards through Abstraction and Testing in Tests and Proofs TAP 2019, Springer International Publishing, LNCS, n. 11823 (2019): 129--146 [abstract] [download the pdf file] [DOI] |
|
| Andrea Bombarda, Silvia Bonfanti, and Angelo Gargantini Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study in Software Technology: Methods and Tools (Eds. Manuel Mazzara et al.) , Springer International Publishing, LNCS, n. 11771 (2019): 89--103 [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene Regular Expression Learning with Evolutionary Testing and Repair in The 31st Ifip International Conference On Testing Software And Systems ICTSS 2019 - October 15-17, Paris (Eds. C. Gaston et al.) , Springer International Publishing, LNCS, n. 11812 (2019): 22--40 [abstract] [download the pdf file] [DOI] |
|
| Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, and Yu Lei Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines in The 31st Ifip International Conference On Testing Software And Systems ICTSS 2019 - October 15-17, Paris (Eds. C. Gaston et al.) , Springer International Publishing, LNCS, n. 11812 (2019): 67--85 [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Angelo Gargantini, and Marco Radavelli A process for fault-driven repair of constraints among features in VariVolution 2nd Intl. Workshop on Variability and Evolution of Software-Intensive Systems - Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019, ACM Press (2019): 71:1--71:9 [abstract] [download the pdf file] [DOI] |
|
| Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, and Marek Szeles Code-aware combinatorial interaction testing in IET Software, Institution of Engineering and Technology (IET), vol. 13, n. 6 (2019): 600--609 [abstract] [download the pdf file] [DOI] |
|
| Paolo Gaspari, Elvinia Riccobene, and Angelo Gargantini: A formal design of the Hybrid European Rail Traffic Management System in 3rd Workshop on Formal Approaches for Advanced Computing Systems FAACS, ACM Press (2019) [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Angelo Gargantini, and Marco Radavelli Achieving change requirements of feature models by an evolutionary approach in Proceedings of the 23rd International Systems and Software Product Line Conference - volume A - SPLC \textquotesingle19, ACM Press (2019) [DOI] |
|
| Camilli, Matteo, Gargantini, Angelo, Madaudo, Rosario, and Scandurra, Patrizia HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications in 15th International Conference on integrated Formal Methods, 2 - 6 December 2019, Bergen, Norway (Eds. Ahrendt, Wolfgang and Tapia Tarifa, Silvia Lizeth) , Springer International Publishing (2019): 495--503 ISBN 978-3-030-34968-4 [abstract] [download the pdf file] [DOI] |
|
| Silvia Bonfanti, Angelo Gargantini, and Atif Mashkoor Design and validation of a C++ code generator from Abstract State Machines specifications in Journal of Software: Evolution and Process, Wiley, vol. 32, n. 2 (2019) [download the pdf file] [DOI] |
|
2018 |
|
| Angelo Gargantini, and Marco Radavelli Migrating Combinatorial Interaction Test Modeling and Generation to the Web in 7th International Workshop on Combinatorial Testing (IWCT 2018) - ICST workshop, IEEE (2018) [abstract] [download the pdf file] [DOI] [We won the **best application paper award**. The tool is available at http://foselab.unibg.it/ctwedge/] |
|
| Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene Fault-based test generation for regular expressions by mutation in Software Testing, Verification and Reliability, Wiley, vol. 29, n. 1-2 (2018): e1664 [abstract] [download the pdf file] [DOI] |
|
| Bonfanti, Silvia, Gargantini, Angelo, and Mashkoor, Atif Generation of C++ Unit Tests from Abstract State Machines Specifications in 14th Workshop on Advances in Model Based Testing (A-MOST), IEEE (2018) [abstract] [download the pdf file] [DOI] |
|
| Silvia Bonfanti, Angelo Gargantini, and Atif Mashkoor A systematic literature review of the use of formal methods in medical software systems in Journal of Software: Evolution and Process, Wiley-Blackwell, vol. 30 (2018): e1943 [download the pdf file] [DOI] |
|
| Paolo Arcaini, Angelo Gargantini, and Marco Radavelli An evolutionary process for product-driven updates of feature models in Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems - VAMOS 2018, ACM Press (2018) [download the pdf file] [DOI] |
|
| Matteo Camilli, Angelo Gargantini, and Patrizia Scandurra Zone-based Formal Specification and Timing Analysis of Real-time Self-adaptive Systems in Science of Computer Programming, Elsevier BV, vol. 159 (2018): 28--57 [abstract] [download the pdf file] [DOI] |
|
| Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Valentin Artho, and Angelo Gargantini Optimal Test Suite Generation for Modified Condition Decision Coverage using SAT solving in SafeComp 2018 - 37th International Conference on Computer Safety, Reliability, & Security -18-21 September, Västerås, Sweden, Springer International Publishing (2018): 123--138 [download the pdf file] [DOI] |
|
| Silvia Bonfanti, Angelo Gargantini, and Atif Mashkoor Validation of code transformation from Abstract State Machine models to C++ code in ICTSS 2018 - 30th International Conference on Testing Software and Systems, Springer International Publishing (2018): 17--32 [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene Interactive Testing and Repairing of Regular Expressions in ICTSS 2018 - 30th International Conference on Testing Software and Systems, Springer International Publishing (2018): 1--16 [abstract] [download the pdf file] [DOI] |
|
| Bonfanti, Silvia, Gargantini, Angelo, and Mashkoor, Atif Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios in IWCFS 2018 2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2018) in conjunction with 8th International Conference on Model & Data Engineering (MEDI 2018) Marrakesh, Morocco, 24-26 October, 2018, Springer International Publishing (2018): 146--152 [abstract] [download the pdf file] [DOI] |
|
| Camilli, Matteo, Gargantini, Angelo, and Scandurra, Patrizia Online Model-based Testing Under Uncertainty in The 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), October 15-18, 2018 (2018) [abstract] [download the pdf file] [DOI] |
|
| Bonfanti, Silvia, Gargantini, Angelo, and Mashkoor, Atif AsmetaA: Animator for Abstract State Machines in Abstract State Machines, Alloy, B, TLA, VDM, and Z, 6th International Conference, ABZ 2018, Southampton, UK, June 5--8, 2018, Proceedings (Eds. Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl) , Springer, Lecture Notes in Computer Science, vol. 10817 (2018) [abstract] [download the pdf file] [DOI] |
|
| Bonfanti, Silvia, and Gargantini, Angelo Stereo Digital Displays for Diagnosis and Treatment of Amblyopia in Advances in Health and Disease. Volume 8 (Eds. Lowell T. Duncan) , Nova Science Publishers, Inc. (2018): 229--249 |
|
| Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene Closing the gap between the specification and the implementation:the ASMETA way in Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday (Eds. Atif Mashkoor and Qing Wang and Bernhard Thalheim) , College Publications (2018): 242--263 ISBN 978-1-84890-276-3 |
|
2017 |
|
| 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, Elsevier BV, vol. 81 (2017): 52--64 [abstract] [download the pdf file] [DOI] [url] |
|
| 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), IEEE (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, IEEE (2017) [abstract] [download the pdf file] [DOI] [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), IEEE (2017): 239-248 [abstract] [download the pdf file] [DOI] |
|
| 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] |
|
| 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] [presentation] |
|
| Paolo Arcaini, Angelo Gargantini, and Paolo Vavassori Automated Repairing of Variability Models in Proceedings of the 21st International Systems and Software Product Line Conference - Volume A on - SPLC17, ACM Press (2017) [abstract] [download the pdf file] [DOI] |
|
| 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 in International Conference on Software Engineering and Formal Methods, Springer International Publishing (2017): 375--381 [abstract] [download the pdf file] [DOI] |
|
| Silvia Bonfanti, and Angelo Gargantini Amblyopia Rehabilitation by Games for low-cost Virtual Reality Visors in ICTs for Improving Patients Rehabilitation Research Techniques: Third International Workshop, REHAB 2015, Lisbon, Portugal, October 1-2, 2015, Revised Selected Papers (Eds. Fardoun, Habib M. and R. Penichet, Victor M. and Alghazzawi, Daniyal M. and De la Guia, M. Elena) , Springer, Communications in Computer and Information Science, vol. 665 (2017): 116--125 ISBN 978-3-319-69694-2 [abstract] [download the pdf file] [DOI] |
|
| Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, and Elvinia Riccobene Integrating formal methods into medical software development: The ASM approach in Science of Computer Programming, Elsevier BV, vol. 158 (2017): 148--167 [abstract] [download the pdf file] [DOI] |
|
| Gabriele Esposito, Alessio Facchin, Marta Maffioletti, Silvio Maffioletti, Angelo Gargantini, Silvia Bonfanti, Francesco Bonsignore, and Paolo Nucci Behind optical factors in anisometropic aniseikonia in 40th European Conference on Visual Perception, SAGE Journals (2017) [abstract] |
|
2016 |
|
| 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] |
|
2015 |
|
| 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, 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] |
|
| Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia 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] |
|
| 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, 2015, ACM, ESEC/FSE 2015 (2015): 119--130 ISBN 978-1-4503-3675-8 [abstract] [download the pdf file] [DOI] |
|
| 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] |
|
| 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 Transfer, Springer Berlin Heidelberg (2015): 1-23 [abstract] [read the copyright and 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 Techniques, ACM, REHAB '15 (2015): 81--84 ISBN 978-1-4503-3898-1 [abstract] [download the pdf file] [DOI] |
|
| Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia Using mutation to assess fault detection capability of model review in Software Testing, Verification and Reliability, John Wiley & Sons, Ltd, vol. 25, n. 5-7 (2015): 629--652 [abstract] [read the copyright and download the pdf file] [DOI] |
|
| Gargantini, Angelo, Czerwonka, Jacek, Kacker, Raghu, Kuhn, Richard, Lei, Yu, and 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] |
|
2014 |
|
| 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] |
|
| 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] |
|
| 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] |
|
| Paolo Arcaini, and Angelo Gargantini Test generation for sequential nets of abstract state machines with information passing in Science of Computer Programming, Elsevier, 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] |
|
| 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 Workshop, ICST (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] [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] [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] [presentation] |
|
2013 |
|
| 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, Luxembourg, IEEE Computer Society, ICSTW '13 (2013): 178--187 ISBN 978-0-7695-4993-4 [abstract] [read the copyright and download the pdf file] [DOI] |
|
| Gargantini, Angelo, Guarnieri, Marco, and Magri, Eros AURORA: AUtomatic RObustness coveRage Analysis Tool in Sixth IEEE International Conference on Software Testing, Verification and Validation - Testing Tool track, IEEE Computer Society, ICST '13 (2013): 463--470 ISBN 978-0-7695-4968-2 [read the copyright and download the pdf file] [DOI] |
|
| 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 track, IEEE Computer Society, ICST '13 (2013): 376--382 ISBN 978-0-7695-4968-2 [abstract] [read the copyright and download the pdf file] [DOI] |
|
| Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia 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] |
|
| 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] |
|
| Fraser, Gordon, and Gargantini, Angelo Guest editor's introduction to the special section on tests and proofs in Software Quality Journal, Springer US, vol. 21, n. 1 (2013): 99-100 [DOI] |
|
| 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] |
|
| 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) Luxembourg, IEEE Computer Society, ICSTW '13 (2013): 338--347 ISBN 978-0-7695-4993-4 [abstract] [read the copyright and download the pdf file] [DOI] [presentation] |
|
2012 |
|
| 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 Magri, Eros 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] [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] |
|
| 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 Architecture, ACM, WCOP '12 (2012): 25--30 ISBN 978-1-4503-1348-3 [abstract] [read the copyright and download the pdf file] [DOI] |
|
2011 |
|
| 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 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 Magri, Eros 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] |
|
| 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 Reliability, John Wiley & Sons, Ltd, vol. 22, n. 7 (2011): 507--526 [abstract] [read the copyright and download the pdf file] [DOI] |
|
| Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia A Model Advisor for NuSMV Specifications in Innovations in Systems and Software Engineering, Springer 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 Experience, John Wiley & Sons, Ltd., vol. 41, n. 2 (2011): 155--166 [abstract] [read the copyright and download the pdf file] [DOI] |
|
2010 |
|
| 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, Paris, IEEE 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] |
|
| Calvagna, Andrea, and Gargantini, Angelo A Formal Logic Approach to Constrained Combinatorial Testing in Journal of Automated Reasoning, Springer Netherlands, vol. 45, n. 4 (2010): 331-358 [abstract] [read the copyright and download the pdf file] [DOI] |
|
| 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] |
|
| 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] |
|
| Calvagna, Andrea, 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 |
|
| 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] |
|
| 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] |
|
| Arcaini, Paolo, Carioni, Alessandro, Gargantini, Angelo, Riccobene, Elvinia, 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] |
|
| 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] |
|
2009 |
|
| 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] |
|
| 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] |
|
| 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] |
|
| Andrea Calvagna, Angelo Gargantini, 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] |
|
| Carioni, Alessandro, Gargantini, Angelo, Riccobene, Elvinia, and Scandurra, Patrizia 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 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] |
|
| 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] |
|
| Fraser, Gordon, Gargantini, Angelo, and Wotawa, Franz 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] |
|
| 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] |
|
| 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] |
|
| 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] |
|
2008 |
|
| Carioni, Alessandro, 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] |
|
| Andrea Calvagna, and Angelo Gargantini 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] |
|
| 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) |
|
| 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, Proceedings, IEEE (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, Malta, IEEE 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 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, 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 Angelo Gargantini 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) |
|
2007 |
|
| 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 2007, Cuzzolin 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] |
|
2006 |
|
| 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, 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) |
|
| 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, 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] |
|
2005 |
|
| Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene, and Patrizia Scandurra 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 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, 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] |
|
2003 |
|
| 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] |
|
| 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 |
|
| 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] |
|
| 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] |
|
2002 |
|
| Gargantini, Angelo, and 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) |
|
2001 |
|
| 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 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] |
|
2000 |
|
| 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] |
|
1999 |
|
| 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, 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] |
|
| Gargantini, Angelo, Mandrioli, Dino, and Morzenti, Angelo Dealing with Zero-Time Transitions in Axiom Systems in Information and Computation, Elsevier BV, 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. Notes, Association for Computing Machinery (ACM), vol. 24, n. 6 (1999): 146--162 [DOI] |
|
| 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) |
|
1998 |
|
| Felder, Miguel, Gargantini, Angelo, and Morzenti, Angelo A Theory of Implementation and Refinement in Timed Petri Nets in Theoretical Computer Science 202, Elsevier BV, vol. 202, n. 1-2 (1998): 127--161 [abstract] [download the pdf file] [DOI] |
|
1997 |
|
| 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] |
|
1996 |
|
| Gargantini, Angelo, Liberati, Liliana, Morzenti, Angelo, and Zacchetti, Cristiano Specifying, Validating, and testing a Traffic Management System in the TRIO environment in Proceedings of 11th Annual Conference on Computer Assurance. COMPASS \textquotesingle96, IEEE (1996): 65--76 ISBN 0-7803-3390-X [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] |
|
| 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) |
|
1995 |
|
| 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