Testing your (static analysis) truths

Detalles Bibliográficos
Autores: Casso San Román, Ignacio|||0000-0001-9196-7951, Morales Caballero, José Francisco, López García, Pedro, Hermenegildo, Manuel V.|||0000-0002-7583-323X
Tipo de recurso: capítulo de libro
Fecha de publicación:2021
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:70113
Acceso en línea:https://oa.upm.es/70113/
Access Level:acceso abierto
Palabra clave:Static analysis
Run-time checks
Random testing
Assertions
Abstract interpretation
Program analysis
(Constraint) logic programming
id ES_6aa64816955ceb2a90913c7c19bafd95
oai_identifier_str oai:oa.upm.es:70113
network_acronym_str ES
network_name_str España
repository_id_str
spelling Testing your (static analysis) truthsCasso San Román, Ignacio|||0000-0001-9196-7951Morales Caballero, José FranciscoLópez García, PedroHermenegildo, Manuel V.|||0000-0002-7583-323XStatic analysisRun-time checksRandom testingAssertionsAbstract interpretationProgram analysis(Constraint) logic programming20212021-01-01book parthttp://purl.org/coar/resource_type/c_3248info:eu-repo/semantics/bookParthttps://oa.upm.es/70113/reponame:Archivo Digital UPMinstname:Universidad Politécnica de MadridInglésenComunidad de Madrid 10.13039/100012818 P2018/TCS-4339 Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisisopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:oa.upm.es:701132026-06-21T12:45:07Z
dc.title.none.fl_str_mv Testing your (static analysis) truths
title Testing your (static analysis) truths
spellingShingle Testing your (static analysis) truths
Casso San Román, Ignacio|||0000-0001-9196-7951
Static analysis
Run-time checks
Random testing
Assertions
Abstract interpretation
Program analysis
(Constraint) logic programming
title_short Testing your (static analysis) truths
title_full Testing your (static analysis) truths
title_fullStr Testing your (static analysis) truths
title_full_unstemmed Testing your (static analysis) truths
title_sort Testing your (static analysis) truths
dc.creator.none.fl_str_mv Casso San Román, Ignacio|||0000-0001-9196-7951
Morales Caballero, José Francisco
López García, Pedro
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author Casso San Román, Ignacio|||0000-0001-9196-7951
author_facet Casso San Román, Ignacio|||0000-0001-9196-7951
Morales Caballero, José Francisco
López García, Pedro
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author_role author
author2 Morales Caballero, José Francisco
López García, Pedro
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author2_role author
author
author
dc.subject.none.fl_str_mv Static analysis
Run-time checks
Random testing
Assertions
Abstract interpretation
Program analysis
(Constraint) logic programming
topic Static analysis
Run-time checks
Random testing
Assertions
Abstract interpretation
Program analysis
(Constraint) logic programming
publishDate 2021
dc.date.none.fl_str_mv 2021
2021-01-01
dc.type.none.fl_str_mv book part
http://purl.org/coar/resource_type/c_3248
dc.type.openaire.fl_str_mv info:eu-repo/semantics/bookPart
format bookPart
dc.identifier.none.fl_str_mv https://oa.upm.es/70113/
url https://oa.upm.es/70113/
dc.language.none.fl_str_mv Inglés
en
language_invalid_str_mv Inglés
en
dc.relation.none.fl_str_mv Comunidad de Madrid 10.13039/100012818 P2018/TCS-4339 Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Archivo Digital UPM
instname:Universidad Politécnica de Madrid
instname_str Universidad Politécnica de Madrid
reponame_str Archivo Digital UPM
collection Archivo Digital UPM
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869410127385198592
score 15,300719

Similares en LA Referencia