Checkification: a practical approach for testing static analysis truths

Detalhes bibliográficos
Autores:	Ferreiro de Aguiar, Daniela\|\|\|0009-0002-1072-8989, Casso San Román, Ignacio\|\|\|0000-0001-9196-7951, Morales Caballero, José Francisco\|\|\|0000-0001-9782-8135, López García, Pedro\|\|\|0000-0002-1092-2071, Hermenegildo, Manuel V.\|\|\|0000-0002-7583-323X
Formato:	artículo
Fecha de publicación:	2025
País:	España
Recursos:	Universidad Politécnica de Madrid
Repositorio:	Archivo Digital UPM
OAI Identifier:	oai:oa.upm.es:94032
Acesso em linha:	https://oa.upm.es/94032/
Access Level:	acceso abierto
Palavra-chave:	static analysis testing run-time checks assertions abstract interpretation logic programing constraint logic programing

Descrição
Descrição não disponível.