Angelo Gargantini

J. Syst. Softw., March, 2024

The Mechanical Lung Ventilator Case Study.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

Testing the Evolution of Feature Models with Specific Combinatorial Tests.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2024

ASMETA Tool Set for Rigorous System Design.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

An Android App for Training New Doctors in Mechanical Ventilation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024

2023

RATE: A model-based testing approach that combines model refinement and test execution.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., March, 2023

formal MVC: A Pattern for the Integration of ASM Specifications in UI Development.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

On the Reuse of Existing Configurations for Testing Evolving Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Multi-thread Combinatorial Test Generation with SMT solvers.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Incremental generation of combinatorial test suites starting from existing seed tests.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

A Mobile Application for Milano Ventilatore Meccanico: A First Prototype.

[BibT_eX]

[DOI]

Luca Novelli

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2022

Guidelines for the development of a critical software under emergency.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2022

Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Robustness assessment and improvement of a neural network for blood oxygen pressure estimation.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Towards Trust-preserving Continuous Co-evolution of Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Compositional Simulation of Abstract State Machines for Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Towards an Evaluation Framework for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2021

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Uncertainty-aware Exploration in Model-based Testing.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

An environment for benchmarking combinatorial test suite generators.

[BibT_eX]

[DOI]

Edoardo Crippa

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

The ASMETA Approach to Safety Assurance of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2021

Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study.

[BibT_eX]

[DOI]

Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

Extending ASMETA with Time Features.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Efficient Computation of Robustness of Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

Model-based hypothesis testing of uncertain software systems.

[BibT_eX]

[DOI]

Matteo Camilli

Softw. Test. Verification Reliab., 2020

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

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2020

Intelligent Autonomous Systems.

[BibT_eX]

[DOI]

Computer, 2020

An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

An Automated Testing Framework For Smart TV apps Based on Model Separation.

[BibT_eX]

[DOI]

Bestoun S. Ahmed

Miroslav Bures

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Dealing with Robustness of Convolutional Neural Networks for Image Classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Decomposition-Based Approach for Model-Based Test Generation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Fault-based test generation for regular expressions by mutation.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2019

Achieving change requirements of feature models by an evolutionary approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

Code-aware combinatorial interaction testing.

[BibT_eX]

[DOI]

IET Softw., 2019

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study.

[BibT_eX]

[DOI]

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Repairing Timed Automata Clock Guards through Abstraction and Testing.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 13th International Conference, 2019

A process for fault-driven repair of constraints among features.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

Regular Expression Learning with Evolutionary Testing and Repair.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Addressing Usability in a Formal Development Environment.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

A formal design of the hybrid European rail traffic management system.

[BibT_eX]

[DOI]

Paolo Gaspari

Proceedings of the 13th European Conference on Software Architecture, 2019

2018

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

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2018

Zone-based formal specification and timing analysis of real-time self-adaptive systems.

[BibT_eX]

[DOI]

Matteo Camilli

Sci. Comput. Program., 2018

Integrating formal methods into medical software development: The ASM approach.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

An evolutionary process for product-driven updates of feature models.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

Validation of Transformation from Abstract State Machine Models to C++ Code.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

Interactive Testing and Repairing of Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2018

Online Model-Based Testing under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Migrating Combinatorial Interaction Test Modeling and Generation to the Web.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Generation of C++ Unit Tests from Abstract State Machines Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Closing the gap between the specification and the implementation: the ASMETA way.

[BibT_eX]

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

AsmetaA: Animator for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

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

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

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

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2017

Automated Repairing of Variability Models.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Towards Inverse Uncertainty Quantification in Software Development (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

SMT for state-based formal methods: the ASM case study.

[BibT_eX]

[DOI]

Proceedings of the Automated Formal Methods, 2017

Combinatorial Interaction Testing for Automated Constraint Repair.

[BibT_eX]

[DOI]

Justyna Petke

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

NuSeen: A Tool Framework for the NuSMV Model Checker.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Visual Notation and Patterns for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016

SMT-Based Automatic Proof of ASM Model Refinement.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Combinatorial Testing: From Algorithms to Applications.

[BibT_eX]

[DOI]

Rachel Tzoref-Brill

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Automatic Detection and Removal of Conformance Faults in Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Unified Syntax for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Using mutation to assess fault detection capability of model review.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions.

[BibT_eX]

[DOI]

Comput. J., 2015

Improving model-based test generation by model decomposition.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

A Low-cost Virtual Reality Game for Amblyopia Rehabilitation.

[BibT_eX]

[DOI]

Proceedings of the 3rd 2015 Workshop on ICTs for improving Patients Rehabilitation Research Techniques, 2015

Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors.

[BibT_eX]

[DOI]

Proceedings of the ICTs for Improving Patients Rehabilitation Research Techniques, 2015

Formal validation and verification of a medical software critical component.

[BibT_eX]

[DOI]

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Specifying and verifying real-time self-adaptive systems.

[BibT_eX]

[DOI]

Matteo Camilli

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Using decision trees to aid algorithm selection in combinatorial interaction tests generation.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Generating Tests for Detecting Faults in Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A Mobile Application for the Stereoacuity Test.

[BibT_eX]

[DOI]

Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

2014

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Using SMT for dealing with nondeterminism in ASM-based runtime verification.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

An Abstraction Technique for Testing Decomposable Systems by Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Measuring Stereoacuity by 3D Technology.

[BibT_eX]

[DOI]

Giancarlo Facoetti

Proceedings of the ICTs for Improving Patients Rehabilitation Research Techniques, 2014

A random dot stereoacuity test based on 3D technology.

[BibT_eX]

[DOI]

Giancarlo Facoetti

Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, 2014

Validation of Models and Tests for Constrained Combinatorial Interaction Testing.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2014

An Environment for Domestic Supervised Amblyopia Treatment.

[BibT_eX]

[DOI]

Giancarlo Facoetti

Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014

Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module.

[BibT_eX]

[DOI]

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study.

[BibT_eX]

[DOI]

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2013

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

[BibT_eX]

[DOI]

Softw. Qual. J., 2013

AURORA: AUtomatic RObustness coveRage Analysis Tool.

[BibT_eX]

[DOI]

Marco Guarnieri

Eros Magri

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Combinatorial Testing for Feature Models Using CitLab.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Combinatorial Interaction Testing with CITLAB.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Online Testing of LTL Properties for Java Code.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

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

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2012

Evolutionary Testing of PHP Web Applications with WETT.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes.

[BibT_eX]

[DOI]

Marco Guarnieri

Eros Magri

Proceedings of the Testing Software and Systems, 2012

Model-Driven Testing for Web Applications Using Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2012

CITLAB: A Laboratory for Combinatorial Interaction Testing.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Test Generation for Sequential Nets of Abstract State Machines.

[BibT_eX]

[DOI]

Francesco Bolis

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

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

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

A model advisor for NuSMV specifications.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2011

Generating minimal fault detecting test suites for general Boolean specifications.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children

[BibT_eX]

[DOI]

CoRR, 2011

CoMA: Conformance Monitoring of Java Programs by Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Dealing with Constraints in Boolean Expression Testing.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Using 3D Vision for the Diagnosis and Treatment of Amblyopia in Young Children.

[BibT_eX]

Proceedings of the HEALTHINF 2011, 2011

2010

A Formal Logic Approach to Constrained Combinatorial Testing.

[BibT_eX]

[DOI]

J. Autom. Reason., 2010

Automatic Review of Abstract State Machines by Meta Property Verification.

[BibT_eX]

Proceedings of the Second NASA Formal Methods Symposium, 2010

Generating Minimal Fault Detecting Test Suites for Boolean Expressions.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

2009

On the order of test goals in specification-based testing.

[BibT_eX]

[DOI]

Franz Wotawa

J. Log. Algebraic Methods Program., 2009

A semantic framework for metamodel-based languages.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2009

Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing.

[BibT_eX]

[DOI]

Emiliano Tramontana

Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

An Evaluation of Model Checkers for Specification Based Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Integrating Formal Methods with Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Experiments on the Test Case Length in Specification Based Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Ten Reasons to Metamodel ASMs.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

A Metamodel-based Language and a Simulation Engine for Abstract State Machines.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

A Logic-Based Approach to Combinatorial Testing with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

A model-driven validation & verification environment for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Model-Driven Language Engineering: The ASMETA Case Study.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Scenario-based Validation of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

Model-Driven System Validation by Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Languages for Embedded Systems and their Applications, 2008

Exploiting the ASM Method for Validation & Verification of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

A Scenario-Based Validation Language for ASMs.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Using Model Checking to Generate Fault Detecting Tests.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 1st International Conference, 2007

Exploiting the ASM method within the Model-driven Engineering paradigm.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 07.05., 2007

2006

Automated Verification of Continuous Time Systems by Discrete Temporal Induction.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2005

ViBBA: A Toolbox for Automatic Model Driven Animation.

[BibT_eX]

Proceedings of the Simulation und Visualisierung 2005 (SimVis 2005), 2005

A Concrete Syntax Derived From the Abstract State Machine Metamodel.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

Automatic Model Driven Animation of SCR Specifications.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Using Spin to Generate Testsfrom ASM Specifications.

[BibT_eX]

[DOI]

Salvatore Rinzivillo

Proceedings of the Abstract State Machines, 2003

2001

Automated deductive requirements analysis of critical systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2001

ASM-Based Testing: Coverage Criteria and Automatic Test Sequence.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2001

2000

Encoding Abstract State Machines in PVS.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2000

1999

Dealing with Zero-Time Transitions in Axiom Systems.

[BibT_eX]

[DOI]

Dino Mandrioli

Inf. Comput., 1999

Using Model Checking to Generate Tests from Requirements Specifications.

[BibT_eX]

[DOI]

Constance L. Heitmeyer

Proceedings of the Software Engineering, 1999

1998

A Theory of Implementation and Refinement in Timed Petri Nets.

[BibT_eX]

[DOI]

Miguel Felder

Theor. Comput. Sci., 1998

1997

Providing Automated Support to Deductive Analysis of Time Critical Systems.

[BibT_eX]

[DOI]

Andrea Alborghetti

Proceedings of the Software Engineering, 1997

1995

TRIO Specification of a Steam Boiler Controller.

[BibT_eX]

[DOI]