Generador de casos de prueba basado en estrategias personalizables
El código se encuentra disponible en https://neptuno.uca.es/redmine/projects/sources ...
openaire +1 more source
Generación de casos de prueba de caja blanca mediante restricciones
La plataforma CAVI-ART para la verificación automática de programas ofrece numerosas herramientas para el análisis de los mismos entre las que encontramos un generador de casos de prueba. El método seguido por el mismo se asemeja bastante a la fuerza bruta lo que desperdicia recursos y tiempo.
openaire +1 more source
El caso español de Ahmed Tommohui y la virtualidad de las pruebas de ADN como pruebas de exclusión
El principal objetivo de este estudio es centrarse en la regulación y práctica de las pruebas genéticas realizadas con fines de investigación criminal, con especial énfasis en su potencial como prueba excluyente en procesos penales. El análisis se basa en la situación histórica y actual del ordenamiento jurídico español (pendiente de una reforma ...
openaire +2 more sources
En esta investigación se examina la valoración judicial de la prueba en casos de violencia psicológica contra la mujer, enfatizando su incidencia en la garantía de la tutela judicial efectiva.
Yaleni Laura Tanguila Saritama +1 more
doaj
Enfermedad periodontal en función de los factores de riesgo empleando modelo matemático
Introducción: las periodontopatías ocupan el segundo lugar tanto por su prevalencia como por sus efectos. Objetivo: determinar la probabilidad de padecer enfermedad periodontal según los factores de riesgo presentes, aplicando un modelo matemático ...
Anabel de Armas Cándano +4 more
doaj
Multiple cranial neuropathy secondary to tuberculous meningitis and intracranial tuberculoma in an adolescent [PDF]
Pabón D, Rojas CA, Barco C.
europepmc +1 more source
Assessment of the quality of notifications and investigations of congenital syphilis in Bahia, 2010-2021. [PDF]
Cerqueira JMDF +4 more
europepmc +1 more source
[Determinants of healthcare-seeking delay in women with acute coronary syndrome]. [PDF]
Parellada-Vendrell M +5 more
europepmc +1 more source
[Characterization of immune reconstitution inflammatory syndrome in a Mexican cohort]. [PDF]
Palma-Díaz EJ +3 more
europepmc +1 more source
Generación de casos de prueba con estructura compleja mediante "constraint solvers"
Crear pruebas de software es un proceso importante, pero también es costoso y propenso a errores, por lo que automatizar dicho proceso resulta de gran utilidad. Existen herramientas para automatizar varios tipos de pruebas distintos, pero este trabajo se va a centrar en crear casos de prueba.
openaire +1 more source

