Automated Test Case Generation for Safety-Critical Software in Scade

Autor:	Kurian, E, Braione, P, Briola, D, D'Avino, D, Modonato, M, Denaro, G
Přispěvatelé:	Kurian, E, Braione, P, Briola, D, D'Avino, D, Modonato, M, Denaro, G
Jazyk:	angličtina
Rok vydání:	2023
Předmět:	Safety-critical Scade programs Automated test generation Symbolic execution Bounded model checking Search-based testing INF/01 - INFORMATICA ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______1299::38223e34b2424ed08d96064941202bd1 https://hdl.handle.net/10281/422738 Zobrazit plný text záznamu