RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Análisis estático de software"

Mostrando ítems 1-2 de 2

Automatic generation of test cases to improve code coverage in Java

Galindo Jiménez, Carlos Santiago (Universitat Politècnica de València, 2019-01-10)

[EN] Given a test case and a program, there exist multiple tools that observe and analyze the execution of the program, determine which sentences have been executed and follow the value of the different variables. This ...
Una aplicación de minería de datos para el análisis de la propiedad de terminación de SRTs

Fabregat Marcos, Hermenegildo (Universitat Politècnica de València, 2015-07-31)

[ES] La minería de datos juega a día de hoy un papel importante en muchos campos de la ciencia debido a la gran cantidad de información con la que se trabaja diariamente y la que se puede deducir de la misma. Las ...

Mostrando ítems 1-2 de 2