Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing

Autor:	Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis
Jazyk:	angličtina
Rok vydání:	2022
Zdroj:	ISSTA '22
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5423426dba02e3f70cf37f3d2b8f6b2a https://hdl.handle.net/21.11116/0000-000A-D1AD-721.11116/0000-000A-D1AF-5 Zobrazit plný text záznamu