Structural Coverage of LTL Requirements for Learning-based Testing

Autor:	Hafiz Abdul Quddus, Muddassar Azam Sindhu
Rok vydání:	2022
Zdroj:	2022 International Conference on IT and Industrial Technologies (ICIT).
DOI:	10.1109/icit56493.2022.9989218
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c7cd4e2cc7392eb43bed322182700a65 https://doi.org/10.1109/icit56493.2022.9989218 Zobrazit plný text záznamu