Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines

Autor:	Jan Peleska, Wen-ling Huang, Niklas Krafczyk
Rok vydání:	2023
DOI:	10.2139/ssrn.4383538
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::cdc5db44c0ea5bdb749df0e6513a8535 https://doi.org/10.2139/ssrn.4383538 Zobrazit plný text záznamu