| Nome |
# |
|
Achieving change requirements of feature models by an evolutionary approach, file e40f7b88-ebdd-afca-e053-6605fe0aeaf2
|
685
|
|
Integrating formal methods into medical software development: The ASM approach, file e40f7b87-2731-afca-e053-6605fe0aeaf2
|
133
|
|
Formal design and verification of self-adaptive systems with decentralized control, file e40f7b8a-1c35-afca-e053-6605fe0aeaf2
|
118
|
|
Achieving change requirements of feature models by an evolutionary approach, file e40f7b88-ea87-afca-e053-6605fe0aeaf2
|
87
|
|
Decomposition-Based Approach for Model-Based Test Generation, file e40f7b8a-19f4-afca-e053-6605fe0aeaf2
|
75
|
|
Rigorous development process of a safety-critical system: from ASM models to Java code, file e40f7b8a-3384-afca-e053-6605fe0aeaf2
|
37
|
|
A novel use of equivalent mutants for static anomaly detection in software artifacts, file e40f7b8a-42b5-afca-e053-6605fe0aeaf2
|
37
|
|
Modeling and analyzing using ASMs: the landing gear system case study, file e40f7b84-5020-afca-e053-6605fe0aeaf2
|
4
|
|
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation, file e40f7b85-0a25-afca-e053-6605fe0aeaf2
|
4
|
|
A DSL for MAPE patterns representation in self-adapting systems, file e40f7b88-3165-afca-e053-6605fe0aeaf2
|
4
|
|
Using SMT for dealing with nondeterminism in ASM-based runtime verification, file e40f7b84-4f5d-afca-e053-6605fe0aeaf2
|
3
|
|
Rigorous development process of a safety-critical system: from ASM models to Java code, file e40f7b84-d871-afca-e053-6605fe0aeaf2
|
3
|
|
Automatic Detection and Removal of Conformance Faults in Feature Models, file e40f7b85-a693-afca-e053-6605fe0aeaf2
|
3
|
|
Formal design and verification of self-adaptive systems with decentralized control, file e40f7b85-ee3e-afca-e053-6605fe0aeaf2
|
3
|
|
Test generation for sequential nets of Abstract State Machines with information passing, file e40f7b84-45b5-afca-e053-6605fe0aeaf2
|
2
|
|
Using mutation to assess fault detection capability of model review, file e40f7b84-46ac-afca-e053-6605fe0aeaf2
|
2
|
|
Offline model-based testing and runtime monitoring of the sensor voting module, file e40f7b84-4dcf-afca-e053-6605fe0aeaf2
|
2
|
|
Validation of Models and Tests for Constrained Combinatorial Interaction Testing, file e40f7b84-4f56-afca-e053-6605fe0aeaf2
|
2
|
|
An abstraction technique for testing decomposable systems by model checking, file e40f7b84-502a-afca-e053-6605fe0aeaf2
|
2
|
|
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts, file e40f7b84-d401-afca-e053-6605fe0aeaf2
|
2
|
|
Modeling and validating self-adaptive service-oriented applications, file e40f7b85-13fa-afca-e053-6605fe0aeaf2
|
2
|
|
Unified syntax for abstract state machines, file e40f7b85-ac3f-afca-e053-6605fe0aeaf2
|
2
|
|
Visual Notation and Patterns for Abstract State Machines, file e40f7b85-b494-afca-e053-6605fe0aeaf2
|
2
|
|
Repairing Timed Automata Clock Guards through Abstraction and Testing, file e40f7b88-daf4-afca-e053-6605fe0aeaf2
|
2
|
|
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems, file e40f7b89-0ab3-afca-e053-6605fe0aeaf2
|
2
|
|
Addressing usability in a formal development environment, file e40f7b89-3e62-afca-e053-6605fe0aeaf2
|
2
|
|
The ASMETA Approach to Safety Assurance of Software Systems, file e40f7b8a-186c-afca-e053-6605fe0aeaf2
|
2
|
|
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018), file e40f7b8a-7100-afca-e053-6605fe0aeaf2
|
2
|
|
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation, file e40f7b8b-8c05-afca-e053-6605fe0aeaf2
|
2
|
|
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources, file 6f5cab79-2f3b-417f-9625-83133ee52bbb
|
1
|
|
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions, file e40f7b84-daff-afca-e053-6605fe0aeaf2
|
1
|
|
Generating Tests for Detecting Faults in Feature Models, file e40f7b84-ddfa-afca-e053-6605fe0aeaf2
|
1
|
|
How to assure correctness and safety of medical software: The hemodialysis machine case study, file e40f7b85-a6c2-afca-e053-6605fe0aeaf2
|
1
|
|
SMT-based automatic Proof of ASM model refinement, file e40f7b85-ac34-afca-e053-6605fe0aeaf2
|
1
|
|
A model advisor for NuSMV specifications, file e40f7b85-ad90-afca-e053-6605fe0aeaf2
|
1
|
|
A model-driven process for engineering a toolset for a formal method, file e40f7b85-aecc-afca-e053-6605fe0aeaf2
|
1
|
|
A novel use of equivalent mutants for static anomaly detection in software artifacts, file e40f7b86-9334-afca-e053-6605fe0aeaf2
|
1
|
|
Automated repairing of variability models, file e40f7b87-0c0a-afca-e053-6605fe0aeaf2
|
1
|
|
NuSeen: A Tool Framework for the NuSMV Model Checker, file e40f7b87-5d03-afca-e053-6605fe0aeaf2
|
1
|
|
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions, file e40f7b87-6116-afca-e053-6605fe0aeaf2
|
1
|
|
An evolutionary process for product-driven updates of feature models, file e40f7b88-335f-afca-e053-6605fe0aeaf2
|
1
|
|
Fault-based test generation for regular expressions by mutation, file e40f7b88-aef1-afca-e053-6605fe0aeaf2
|
1
|
|
Achieving change requirements of feature models by an evolutionary approach, file e40f7b88-ce39-afca-e053-6605fe0aeaf2
|
1
|
|
A process for fault-driven repair of constraints among features, file e40f7b88-d396-afca-e053-6605fe0aeaf2
|
1
|
|
Efficient and guaranteed detection of t-Way failure-inducing combinations, file e40f7b88-f253-afca-e053-6605fe0aeaf2
|
1
|
|
Regular Expression Learning with Evolutionary Testing and Repair, file e40f7b89-22cc-afca-e053-6605fe0aeaf2
|
1
|
|
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA, file e40f7b89-886d-afca-e053-6605fe0aeaf2
|
1
|
|
Dealing with Robustness of Convolutional Neural Networks for Image Classification, file e40f7b89-886f-afca-e053-6605fe0aeaf2
|
1
|
|
Intelligent Autonomous Systems, file e40f7b89-a170-afca-e053-6605fe0aeaf2
|
1
|
|
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers, file e40f7b8a-52bc-afca-e053-6605fe0aeaf2
|
1
|
|
Efficient Computation of Robustness of Convolutional Neural Networks, file e40f7b8a-b2be-afca-e053-6605fe0aeaf2
|
1
|
| Totale |
1.248 |