Akademische Ressourcen durchsuchen

Durchsuchen Sie institutionelle Kataloge, elektronische Ressourcen, Open-Access-Zeitschriften, verfügbare Sammlungen und akademische Zugangslinks.

Erweiterte Suche

Was NODOVOX Discovery zusammenführt: Institutionelle Kataloge, elektronische Ressourcen, Open-Access-Zeitschriften, verfügbare Sammlungen und akademische Zugangslinks.

Rechtsmedizin Recht Zeitschriften Open Access Volltext

An evolutionary approach to translating operational specifications into declarative specifications

Artikel

An evolutionary approach to translating operational specifications into declarative specifications

Molina, Facundo et al · RI ITBA · 2020 · ISSN 0167-6423

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

Idioma Inglés

El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.

Material complementario

Ver opciones de acceso Bibliografischer Datensatz

Iter-T: ITERative Test suite generation for automated program repair

Artikel

Iter-T: ITERative Test suite generation for automated program repair

Godio, Ariel et al · IEEE · 2026 · ISSN 1939-3520

Test-based automated program repair (TB-APR) techniques automatically fix buggy programs by relying on a failing test suite. This test suite serves a dual purpose: pinpointing bugs and evaluating the validity of potentia...

Idioma Español

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Bibliografischer Datensatz

NODITO

Asistencia de búsqueda académica

Te ayudo a buscar, encontrar y acceder a recursos académicos.

Consultar con NODITO

¿Qué necesitás hacer?

Consultas rápidas

NODITO Asistencia contextual NDX

Akademische Ressourcen durchsuchen

Ergebnisse