Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Chanh-Duc Ngo"'
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:
info:eu-repo/grantAgreement/EC/H2020/694277
App testing tools tend to generate thousand test inputs; they help engineers identify crashing conditions but not functional failures. Indeed, detecting functional failures requires the visual inspection of App outputs, which is infeasible for thousa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9017adb034ddbc1b5aa6eb1fb7d7eb1f
http://orbilu.uni.lu/handle/10993/51984
http://orbilu.uni.lu/handle/10993/51984
Publikováno v:
ACM Transactions on Software Engineering and Methodology
info:eu-repo/grantAgreement/EC/H2020/694277
info:eu-repo/grantAgreement/EC/H2020/694277
Apps’ pervasive role in our society led to the definition of test automation approaches to ensure their dependability. However, state-of-the-art approaches tend to generate large numbers of test inputs and are unlikely to achieve more than 50% meth
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42423cec40c83f8425a90bd3ac71228e
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319278681
MODELSWARD (Revised Selected Papers)
MODELSWARD (Revised Selected Papers)
Tool integration is an important issue in collaborative process to enable interoperability among various tools employed during the development. Model Driven Development uses transformation technique to realize the data exchange between tools. In gene
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::390f079c1e38aa5ccb13b373fa2e9d6a
https://doi.org/10.1007/978-3-319-27869-8_15
https://doi.org/10.1007/978-3-319-27869-8_15
Publikováno v:
MODELSWARD
Modern software and system collaborative process involves various teams in different development phases thus need efficient solutions for tools integration. In Model-Driven Development, transformation technique is used to allow exchanging models crea
ATUA is a model-based approach that synthesizes App models with static analysis, integrates a dynamically-refined state abstraction function, and combines complementary testing strategies, including (1) coverage of the model structure, (2) coverage o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::416c141e9c3961ed0f2b6ba850a25493