Zobrazeno 1 - 10
of 742
pro vyhledávání: '"Predicate abstraction"'
Autor:
Sigrid Beck
Publikováno v:
Glossa, Vol 8, Iss 1 (2023)
This paper investigates the semantics of Old English swa 'so'. The word is indicative of diverse sentence interpretations (for example as equatives, conditionals and subordinate clauses of manner). Compositional semantic analysis reveals that nonethe
Externí odkaz:
https://doaj.org/article/f1e5b80bb3b94fabb5e2a75373109f98
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Transactions on Software Engineering. 48:1610-1629
Advanced tools used in model-based systems engineering (MBSE) frequently represent their models as graphs. In order to test those tools, the automated generation of well-formed (or intentionally malformed) graph models is necessitated which is often
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5280b33c3211cd8a40a78814f0ba5678
https://doi.org/10.1109/tse.2020.3025732
https://doi.org/10.1109/tse.2020.3025732
Autor:
Marie-Christine Jakobs, Dirk Beyer
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:313-333
Testing is a widely applied technique to evaluate software quality, and coverage criteria are often used to assess the adequacy of a generated test suite. However, manually constructing an adequate test suite is typically too expensive, and numerous
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4bab3e4b6d89dcf0fa29f886a4a9df95
https://doi.org/10.1007/s10009-020-00587-8
https://doi.org/10.1007/s10009-020-00587-8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Xi GUO, Huan-guo ZHANG
Publikováno v:
Tongxin xuebao, Vol 33, Pp 35-43 (2012)
Aim to the problem of status space explosion due to the growing number of status transition of large scale software system,a reduced test suite generation approach based on predicate abstraction was proposed,which divided the status space of the soft
Externí odkaz:
https://doaj.org/article/5de46123b5294c20a6172153fccbd9d7
Autor:
Shramko, Yaroslav, Wansing, Heinrich
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2009 Apr 01. 91(3), 429-455.
Externí odkaz:
https://www.jstor.org/stable/40269046
Autor:
Fitting, Melvin
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2006 Oct 01. 84(1), 1-22.
Externí odkaz:
https://www.jstor.org/stable/20016818
Publikováno v:
2021 6th International Conference on Communication and Electronics Systems (ICCES).
The amount of features that could be put on a chip grew as a result of many innovations and developments. As a result, much more functional complexity is created. This motivates the need for architectural advancements with increased productivity. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e00797fccfe7a83a44257aa679b2f658
https://doi.org/10.1109/icces51350.2021.9489148
https://doi.org/10.1109/icces51350.2021.9489148
Publikováno v:
COMPSAC
Program verification techniques have gained increasing popularity in academic and industrial circles during the last years. Predicate abstraction is a traditional and practical verification technique, which can solve the problem of state space explos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b85f392e30c2384fadc82694b1f5489
https://doi.org/10.1109/compsac51774.2021.00186
https://doi.org/10.1109/compsac51774.2021.00186