| Nome |
# |
|
Achieving change requirements of feature models by an evolutionary approach, file e40f7b88-ebdd-afca-e053-6605fe0aeaf2
|
685
|
|
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children, file e40f7b84-1c17-afca-e053-6605fe0aeaf2
|
427
|
|
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis, file e40f7b84-1642-afca-e053-6605fe0aeaf2
|
222
|
|
Zone-based formal specification and timing analysis of real-time self-adaptive systems, file e40f7b88-1448-afca-e053-6605fe0aeaf2
|
218
|
|
Design and validation of a C++ code generator from Abstract State Machines specifications, file e40f7b88-eff8-afca-e053-6605fe0aeaf2
|
210
|
|
Evaluation of stereoacuity with a digital mobile application, file e40f7b89-f562-afca-e053-6605fe0aeaf2
|
154
|
|
Integrating formal methods into medical software development: The ASM approach, file e40f7b87-2731-afca-e053-6605fe0aeaf2
|
133
|
|
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19, file e40f7b8a-e7fb-afca-e053-6605fe0aeaf2
|
129
|
|
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study, file e40f7b89-c7eb-afca-e053-6605fe0aeaf2
|
88
|
|
Achieving change requirements of feature models by an evolutionary approach, file e40f7b88-ea87-afca-e053-6605fe0aeaf2
|
87
|
|
Code-aware combinatorial interaction testing, file e40f7b88-daf2-afca-e053-6605fe0aeaf2
|
81
|
|
A Metamodel-based Language and a Simulation Engine for Abstract State Machines, file e40f7b85-ad49-afca-e053-6605fe0aeaf2
|
80
|
|
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
|
|
A preliminary systematic literature review of the use of formal methods in medical software systems, file e40f7b8a-0b1d-afca-e053-6605fe0aeaf2
|
36
|
|
Compositional Simulation of Abstract State Machines for Safety Critical Systems, file 73d15424-d614-4f04-a2b7-589c201dfef3
|
26
|
|
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications, file a06ec136-a93e-413d-a9ae-a31dd21c007a
|
24
|
|
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools, file feb569bc-d6f7-405e-b9ca-1ddc19820a57
|
21
|
|
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams, file e40f7b84-467a-afca-e053-6605fe0aeaf2
|
6
|
|
27th International Systems and Software Product Line Conference, file b001e81c-1775-4cd5-bfa9-4ccb148e2dc6
|
5
|
|
An environment for domestic supervised amblyopia treatment, file e40f7b84-5c6b-afca-e053-6605fe0aeaf2
|
5
|
|
A mobile application for the stereo acuity test, file e40f7b84-d918-afca-e053-6605fe0aeaf2
|
5
|
|
Modeling and analyzing using ASMs: the landing gear system case study, file e40f7b84-5020-afca-e053-6605fe0aeaf2
|
4
|
|
Improving model-based test generation by model decomposition, file e40f7b84-d400-afca-e053-6605fe0aeaf2
|
4
|
|
Specifying and Verifying Real-Time Self-Adaptive Systems, file e40f7b84-d402-afca-e053-6605fe0aeaf2
|
4
|
|
General Message from the IWCT Chairs, file 0e6da0df-8ecf-49a2-8dba-c2407a5db708
|
3
|
|
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype, file 11ec1b46-0f4d-43a6-ae96-91e2ac380857
|
3
|
|
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development, file c2135fd6-49c4-4b91-af1b-7c00c4aacd10
|
3
|
|
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
|
|
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia, file e40f7b88-1e5a-afca-e053-6605fe0aeaf2
|
3
|
|
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications, file 285f34d2-035d-44b6-8c4b-2b6baeca3c9c
|
2
|
|
On the Reuse of Existing Configurations for Testing Evolving Feature Models, file 35d7f022-8d47-47ff-99a1-89dd0a76c989
|
2
|
|
RATE: A model-based testing approach that combines model refinement and test execution, file 7d0dacd3-1f93-4828-90ac-9973cb08320c
|
2
|
|
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device, file bc50537e-cd07-420c-9b0b-6fd24739df53
|
2
|
|
Towards an Evaluation Framework for Autonomous Systems, file c55ed309-3e19-40f3-95b5-b97787225615
|
2
|
|
Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings], file cfa5b500-26b5-40ef-9202-40d04be0a5ad
|
2
|
|
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
|
|
Formal validation and verification of a medical software critical component, file e40f7b84-d437-afca-e053-6605fe0aeaf2
|
2
|
|
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation, file e40f7b85-037e-afca-e053-6605fe0aeaf2
|
2
|
|
ASM-based testing: Coverage criteria and automatic test sequence generation, file e40f7b85-a9f6-afca-e053-6605fe0aeaf2
|
2
|
|
Automated deductive requirements analysis of critical systems, file e40f7b85-a9fd-afca-e053-6605fe0aeaf2
|
2
|
|
Unified syntax for abstract state machines, file e40f7b85-ac3f-afca-e053-6605fe0aeaf2
|
2
|
|
Validation of constraints among configuration parameters using search-based combinatorial interaction testing, file e40f7b85-aebe-afca-e053-6605fe0aeaf2
|
2
|
|
Dealing with Zero-Time Transitions in Axiom Systems, file e40f7b85-b0d1-afca-e053-6605fe0aeaf2
|
2
|
|
Visual Notation and Patterns for Abstract State Machines, file e40f7b85-b494-afca-e053-6605fe0aeaf2
|
2
|
|
Asm2C++: A tool for code generation from abstract state machines to Arduino, file e40f7b86-6342-afca-e053-6605fe0aeaf2
|
2
|
|
Combinatorial Interaction Testing for Automated Constraint Repair, file e40f7b87-0e69-afca-e053-6605fe0aeaf2
|
2
|
|
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving, file e40f7b88-0be5-afca-e053-6605fe0aeaf2
|
2
|
|
Interactive testing and repairing of regular expressions, file e40f7b88-0be8-afca-e053-6605fe0aeaf2
|
2
|
|
Behind optical factors in anisometropic aniseiconia, file e40f7b88-170e-afca-e053-6605fe0aeaf2
|
2
|
|
Validation of transformation from abstract state machine models to C++ code, file e40f7b88-30f8-afca-e053-6605fe0aeaf2
|
2
|
|
Repairing Timed Automata Clock Guards through Abstraction and Testing, file e40f7b88-daf4-afca-e053-6605fe0aeaf2
|
2
|
|
A formal design of the hybrid European rail traffic management system, file e40f7b88-e071-afca-e053-6605fe0aeaf2
|
2
|
|
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study, file e40f7b88-ee46-afca-e053-6605fe0aeaf2
|
2
|
|
Addressing usability in a formal development environment, file e40f7b89-3e62-afca-e053-6605fe0aeaf2
|
2
|
|
An Automated Testing Framework for Smart TV apps Based on Model Separation, file e40f7b89-a172-afca-e053-6605fe0aeaf2
|
2
|
|
Extending ASMETA with Time Features, file e40f7b8a-1732-afca-e053-6605fe0aeaf2
|
2
|
|
The ASMETA Approach to Safety Assurance of Software Systems, file e40f7b8a-186c-afca-e053-6605fe0aeaf2
|
2
|
|
Towards Trust-preserving continuous co-evolution of Digital Twins, file e40f7b8a-c196-afca-e053-6605fe0aeaf2
|
2
|
|
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare, file e40f7b8a-e206-afca-e053-6605fe0aeaf2
|
2
|
|
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation, file e40f7b8b-8c05-afca-e053-6605fe0aeaf2
|
2
|
|
Guidelines for the development of a critical software under emergency, file 519b3260-5a85-4283-b00f-636f7a51b7e0
|
1
|
|
Preface [to: Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings], file 57cc1777-d89b-4762-b2d9-17f4f0a433fb
|
1
|
|
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings, file 611d10b2-d331-4b3a-8d74-79def4393cf6
|
1
|
|
Multi-thread Combinatorial Test Generation with SMT solvers, file 944e7f6e-1db9-4aa1-9d18-3eaa34478a11
|
1
|
|
Incremental generation of combinatorial test suites starting from existing seed tests, file 9a32ae35-16d9-405b-a397-e7a6236d3e26
|
1
|
|
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams, file de9cfcf2-6f94-4f42-9745-e8915571718c
|
1
|
|
A Random Dot Stereoacuity Test based on 3D Technology, file e40f7b84-33c2-afca-e053-6605fe0aeaf2
|
1
|
|
An environment for domestic supervised amblyopia treatment, file e40f7b84-5c6c-afca-e053-6605fe0aeaf2
|
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
|
|
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation, file e40f7b84-fcb9-afca-e053-6605fe0aeaf2
|
1
|
|
Measuring Stereoacuity by 3D Technology, file e40f7b84-ffef-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
|
|
T-wise combinatorial interaction test suites construction based on coverage inheritance, file e40f7b85-a87a-afca-e053-6605fe0aeaf2
|
1
|
|
Generating minimal fault detecting test suites for general Boolean specifications, file e40f7b85-aa66-afca-e053-6605fe0aeaf2
|
1
|
|
SMT-based automatic Proof of ASM model refinement, file e40f7b85-ac34-afca-e053-6605fe0aeaf2
|
1
|
|
A Formal Logic Approach to Constrained Combinatorial Testing, file e40f7b85-ad3c-afca-e053-6605fe0aeaf2
|
1
|
|
On the order of test goals in specification-based testing, file e40f7b85-ad3e-afca-e053-6605fe0aeaf2
|
1
|
|
A semantic framework for metamodel-based languages, file e40f7b85-ad40-afca-e053-6605fe0aeaf2
|
1
|
|
A theory of implementation and refinement in timed Petri nets, file e40f7b85-ad7d-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
|
|
Combinatorial Testing: From Algorithms to Applications, file e40f7b85-afb8-afca-e053-6605fe0aeaf2
|
1
|
|
Using model checking to generate tests from requirements specifications, file e40f7b85-b7ed-afca-e053-6605fe0aeaf2
|
1
|
|
Message from the IWCT 2016 Chairs, file e40f7b86-18d3-afca-e053-6605fe0aeaf2
|
1
|
|
General message from the workshop organizers - IWCT, file e40f7b86-24ff-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
|
|
Event-based runtime verification of temporal properties using time basic Petri nets, file e40f7b87-0e6d-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
|
| Totale |
2.927 |