Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Krenn, Willibald"'
Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting components and, due
Externí odkaz:
http://arxiv.org/abs/1904.07083
Autor:
Krenn, Willibald, Schlick, Rupert
In the context of black-box testing, generating test cases through model mutation is known to produce powerful test suites but usually has the drawback of being prohibitively expensive. This paper presents a new version of the tool MoMuT::UML (www.mo
Externí odkaz:
http://arxiv.org/abs/1601.06974
Autor:
Pribyl, Johannes, Krenn, Willibald
Cyber-physical systems (CPS) like production facilities, medical devices, and modern cars play an increasingly significant role in the economic context but also in every-day life; catchphrases like “Industry 4.0” and “Mobility of the Future”
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4e41c18753c3c732d0dc823592d21a0e
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.
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:
Krenn, Willibald
Publikováno v:
e & i Elektrotechnik und Informationstechnik; Nov2019, Vol. 136 Issue 7, p307-312, 6p
Autor:
Leitner, Andrea, Sáez-Barona, Sergio, Slavik, Zora, Rautila, Mika, Marko, Nadja, Rosenberger, Philipp, Ničković, Dejan, Krenn, Willibald, Siegel, Michael
Publikováno v:
Ada User Journal; Dec2018, Vol. 39 Issue 4, p256-260, 5p
Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting components and, due
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f07f25a4a73a663d1d42226a5c8b8ac
http://repository.ist.ac.at/152/
http://repository.ist.ac.at/152/