Zobrazeno 1 - 10
of 145
pro vyhledávání: '"Schäfer, Ina"'
Ensuring the functional safety of highly configurable systems often requires testing representative subsets of all possible configurations to reduce testing effort and save resources. The ratio of covered t-wise feature interactions (i.e., T-Wise Fea
Externí odkaz:
http://arxiv.org/abs/2406.19801
Quantum computing is an interdisciplinary field that relies on the expertise of many different stakeholders. The views of various stakeholders on the subject of quantum computing may differ, thereby complicating communication. To address this, we pro
Externí odkaz:
http://arxiv.org/abs/2406.18363
The SOTIF standard (ISO 21448) requires scenario-based testing to verify and validate Advanced Driver Assistance Systems and Automated Driving Systems but does not suggest any practical way to do so effectively and efficiently. Existing scenario gene
Externí odkaz:
http://arxiv.org/abs/2308.07025
Scenario-based testing is considered state-of-the-art to verify and validate Advanced Driver Assistance Systems or Automated Driving Systems. Due to the official launch of the SOTIF-standard (ISO 21448), scenario-based testing becomes more and more r
Externí odkaz:
http://arxiv.org/abs/2308.02273
Thanks to the rapid progress and growing complexity of quantum algorithms, correctness of quantum programs has become a major concern. Pioneering research over the past years has proposed various approaches to formally verify quantum programs using p
Externí odkaz:
http://arxiv.org/abs/2307.15641
A software product line models the variability of highly configurable systems. Complete exploration of all valid configurations (the configuration space) is infeasible as it grows exponentially with the number of features in the worst case. In practi
Externí odkaz:
http://arxiv.org/abs/2307.14703
Software maintenance is an important part of a software system's life cycle. Maintenance tasks of existing software systems suffer from architecture information that is diverging over time (architectural drift). The Digital Architecture Twin (DArT) c
Externí odkaz:
http://arxiv.org/abs/2306.16829
Feature models are commonly used to specify the valid configurations of a product line. In industry, feature models are often complex due to a large number of features and constraints. Thus, a multitude of automated analyses have been proposed. Many
Externí odkaz:
http://arxiv.org/abs/2303.12383
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 2 (June 7, 2023) lmcs:10384
Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is comple
Externí odkaz:
http://arxiv.org/abs/2211.15261
Autor:
Becker, Mike, Meyer, Roland, Runge, Tobias, Schaefer, Ina, van der Wall, Sören, Wolff, Sebastian
Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately, state-of-the-art techniques leave a crucial and labor intensive task to the test engineer: identifying bugs in
Externí odkaz:
http://arxiv.org/abs/2208.14290