Checkification: a practical approach for testing static analysis truths

Detalles 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
Tipo de recurso:	artículo
Fecha de publicación:	2025
País:	España
Institución:	Universidad Politécnica de Madrid
Repositorio:	Archivo Digital UPM
OAI Identifier:	oai:oa.upm.es:94032
Acceso en línea:	https://oa.upm.es/94032/
Access Level:	acceso abierto
Palabra clave:	static analysis testing run-time checks assertions abstract interpretation logic programing constraint logic programing

Descripción
Descripción no disponible.