TY  - GEN 
AU  - Vázquez Escudero, Pedro Jesús
AU  - García-Peñalvo, Francisco J.
AU  - Moreno García, María Navelonga
A4  - Laguna Serrano, Miguel Ángel
A4  - García-Bermejo Giner, José Rafael
PY  - 2001
UR  - http://hdl.handle.net/10366/21729
UR  - http://hdl.handle.net/10366/21729
AB  - Este documento presenta un marco de trabajo para la verificación automática de programas en entornos de sistemas orientados a objetos. El núcleo del sistema lo constituye un repositorio declases en formato XML. Un parser o analizador sintáctico...
AB  - This document presents a framework for automated software testing in object oriented systemsenvironments. The heart of the system consists of an XML-classes repository. A parser orsyntactic analyzer inspects the source code of the language of choice...
LA  - Español
PB  - Universidad de Salamanca (España). Departamento de Informática y Automática
KW  - Lenguaje XML
KW  - Verificación automática de programas
KW  - Lenguajes de soporte
KW  - Repositorio XML
KW  - XML language
KW  - Automated software testing
KW  - XML repository
KW  - XML (Lenguaje de marcas)
TI  - Verificación con XML
ER  -