Paolo Arcaini

Huihui Zhang

Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

Adaptive Search-based Repair of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2023

Online Causation Monitoring of Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

ARCH-COMP23 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Online Reset for Signal Temporal Logic Monitoring.

[BibT_eX]

[DOI]

Xuan Xie

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Editorial to theme section on open environmental software systems modeling.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Mutation-based analysis of queueing network performance models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Quantum Software Testing: Challenges, Early Achievements, and Opportunities.

[BibT_eX]

[DOI]

ERCIM News, 2022

Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report.

[BibT_eX]

[DOI]

CoRR, 2022

JSIMutate: understanding performance results through mutations.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

FreneticV at the SBST 2022 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

Explaining the Behaviour of Game Agents Using Differential Comparison.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing.

[BibT_eX]

[DOI]

Eñaut Mendiluze Usandizaga

Xiao-Yi Zhang

Fuyuki Ishikawa

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 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

QuSBT: Search-Based Testing of Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Mutation-based test generation for quantum programs with multi-objective search.

[BibT_eX]

[DOI]

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Boston, Massachusetts, USA, July 9, 2022

Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022).

[BibT_eX]

[DOI]

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22).

[BibT_eX]

[DOI]

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

[BibT_eX]

[DOI]

Mohammad Mahdi Mahboob

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Quito: a Coverage-Guided Test Generator for Quantum Programs.

[BibT_eX]

[DOI]

Dataset, August, 2021

Muskit: A Mutation Analysis Tool for Quantum Software Testing.

[BibT_eX]

[DOI]

Dataset, August, 2021

Generating Failing Test Suites for Quantum Programs With Search.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021

Frenetic at the SBST 2021 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

KNN-Averaging for Noisy Multi-objective Optimisation.

[BibT_eX]

[DOI]

Stefan Klikovits

Proceedings of the Quality of Information and Communications Technology, 2021

Application of Combinatorial Testing to Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems.

[BibT_eX]

[DOI]

Ezequiel Castellano

Ahmet Cetinkaya

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems.

[BibT_eX]

[DOI]

Stefan Klikovits

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

On the Need for Multi-Level ADS Scenarios.

[BibT_eX]

[DOI]

Stefan Klikovits

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Quito: a Coverage-Guided Test Generator for Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Muskit: A Mutation Analysis Tool for Quantum Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Parameter-Based Testing and Debugging of Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium Workshops, 2021

What to Blame? On the Granularity of Fault Localization for Deep Neural Networks.

[BibT_eX]

[DOI]

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

Improving Mobile User Interface Testing with Model Driven Monkey Search.

[BibT_eX]

[DOI]

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

Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems.

[BibT_eX]

[DOI]

Xiao-Yi Zhang

Fuyuki Ishikawa

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 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

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs.

[BibT_eX]

[DOI]

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

Analyzing the impact of product configuration variations on advanced driver assistance systems with search.

[BibT_eX]

[DOI]

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021).

[BibT_eX]

[DOI]

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021).

[BibT_eX]

[DOI]

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Gaussian Process-Based Confidence Estimation for Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

The ASMETA Approach to Safety Assurance of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 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

Quality Indicators in Search-based Software Engineering: An Empirical Evaluation.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Validation of the Hybrid ERTMS/ETCS Level 3 using Spin.

[BibT_eX]

[DOI]

Jan Kofron

Pavel Jezek

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

MSL: A pattern language for engineering self-adaptive systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Automated model-based performance analysis of software product lines under uncertainty.

[BibT_eX]

[DOI]

Omar Inverso

Catia Trubiani

Inf. Softw. Technol., 2020

Intelligent Autonomous Systems.

[BibT_eX]

[DOI]

Atif Mashkoor

Computer, 2020

Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering?

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Smart home platform supporting decentralized adaptive automation control.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems.

[BibT_eX]

[DOI]

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

Model-Based Testing for MAPE-K adaptation control loops.

[BibT_eX]

[DOI]

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

Leveraging test logs for building a self-adaptive path planner.

[BibT_eX]

[DOI]

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems.

[BibT_eX]

[DOI]

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

A Search-Based Approach to Identifying Jamming Attacks and Defense Policies in Wireless Networked Control.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 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

ARCH-COMP 2020 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 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

Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 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

Regular Expression Learning with Evolutionary Testing and Repair.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

Automatic Refinement of ASM Abstract Test Cases.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 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

A Pattern-Oriented Design Framework for Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Assessing the Relation Between Hazards and Variability in Automotive Systems.

[BibT_eX]

[DOI]

Xiao-Yi Zhang

Fuyuki Ishikawa

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Stability analysis for safety of automotive multi-product lines: a search-based approach.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

Addressing Usability in a Formal Development Environment.

[BibT_eX]

[DOI]

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

ARCH-COMP 2019 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Geotemporal Querying of Social Networks and Summarization.

[BibT_eX]

[DOI]

Gloria Bordogna

Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

AsmetaF: A Flattener for the ASMETA Framework.

[BibT_eX]

[DOI]

Riccardo Melioli

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 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

Interactive Testing and Repairing of Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

A DSL for MAPE Patterns Representation in Self-adapting Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, 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

Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.

[BibT_eX]

[DOI]

Pavel Jezek

Jan Kofron

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

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

A Geo-Spatial Data Infrastructure for Flexible Discovery, Retrieval and Fusion of Scenario Maps in Preparedness of Emergency.

[BibT_eX]

[DOI]

Proceedings of the Granular, Soft and Fuzzy Approaches for Intelligent Systems, 2017

Formal Design and Verification of Self-Adaptive Systems with Decentralized Control.

[BibT_eX]

[DOI]

Patrizia Scandurra

ACM Trans. Auton. Adapt. Syst., 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

Collaborative development of feature models and evaluation of performance bounds.

[BibT_eX]

[DOI]

Catia Trubiani

Proceedings of the Symposium on Applied Computing, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Automated Formal Methods, 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

Message from the A-MOST 2017 Chairs.

[BibT_eX]

[DOI]

Xavier Devroey

Shuai Wang

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

2016

User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks.

[BibT_eX]

[DOI]

Inf. Sci., 2016

ASM-based formal design of an adaptivity component for a Cloud system.

[BibT_eX]

[DOI]

Roxana-Maria Holom

Formal Aspects Comput., 2016

Visual Notation and Patterns for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

SMT-Based Automatic Proof of ASM Model Refinement.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 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

Modeling and Formal Analysis of a Client-Server Application for Cloud Services.

[BibT_eX]

[DOI]

Roxana-Maria Holom

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 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

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

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

Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation.

[BibT_eX]

[DOI]

Patrizia Scandurra

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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

Validation of Models and Tests for Constrained Combinatorial Interaction Testing.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 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

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

Wildfire Susceptibility Maps Flexible Querying and Answering.

[BibT_eX]

[DOI]

Gloria Bordogna

Simone Sterlacchini

Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

Flexible Querying of Volunteered Geographic Information for Risk Management.

[BibT_eX]

[DOI]

Gloria Bordogna

Simone Sterlacchini

Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

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

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

2010

Automatic Review of Abstract State Machines by Meta Property Verification.

[BibT_eX]

Proceedings of the Second NASA Formal Methods Symposium, 2010

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

[BibT_eX]

[DOI]