Search academic resources

Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

Advanced search

What NODOVOX Discovery brings together: Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

forensic medicine law journals Open Access full text

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

Article

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 Spanish

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

Open Access

Ver opciones de acceso Bibliographic record

Towards scaling up DynAlloy analysis using predicate abstraction

Text / resource

Towards scaling up DynAlloy analysis using predicate abstraction

Ariño, Rodrigo et al · SEDICI UNLP · 2009

DynAlloy is an extension to the Alloy specifi cation language suitable for modeling properties of executions of software systems. DynAlloy provides fully automated support for verifying properties of programs, in the sty...

Idioma Spanish

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

Open Access

Ver opciones de acceso Bibliographic record

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

Search academic resources

Results