Zobrazeno 1 - 10
of 86
pro vyhledávání: '"Meinke, Karl"'
Automated Vehicle (AV) validation based on simulated testing requires unbiased evaluation and high efficiency. One effective solution is to increase the exposure to risky rare events while reweighting the probability measure. However, characterizing
Externí odkaz:
http://arxiv.org/abs/2407.07320
Autor:
Meinke, Karl
This chapter surveys the state of the art in code coverage from the perspective of test automation. Our aim is to describe and motivate the three most popular classes of glass box test coverage models, which are: control flow, logic and data flow cov
Externí odkaz:
http://arxiv.org/abs/2108.11723
Program similarity is a fundamental concept, central to the solution of software engineering tasks such as software plagiarism, clone identification, code refactoring and code search. Accurate similarity estimation between programs requires an in-dep
Externí odkaz:
http://arxiv.org/abs/2007.13239
Autor:
Sindhu, Muddassar A., Meinke, Karl
We present a new algorithm IDS for incremental learning of deterministic finite automata (DFA). This algorithm is based on the concept of distinguishing sequences introduced in (Angluin81). We give a rigorous proof that two versions of this learning
Externí odkaz:
http://arxiv.org/abs/1206.2691
Autor:
Meinke, Karl, Sindhu, Muddassar A.
We introduce an algorithm for the minimization of deterministic Kripke structures with O(kn log2 n) time complexity. We prove the correctness and complexity properties of this algorithm.
Comment: 9 pages, 1 figure
Comment: 9 pages, 1 figure
Externí odkaz:
http://arxiv.org/abs/1205.5928
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 Intelligent Transportation Systems; 2024, Vol. 25 Issue: 5 p4470-4488, 19p
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:
Nair, Aravind, Arvidsson, Helena, Gatica V., Jorge E., Tudzarovski, Nikolce, Meinke, Karl, Sugars, Rachael. V
Additional file 1. Supplementary Figure 1 and Tables 1 to 9.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b2ce6810838e29da267668ba153ea3f