Últimos artículos para Pruebas de software

Un enfoque centrado para identificar rápidamente errores de software a través de pruebas específicas.

Un estudio sobre la prueba de sistemas de control para el robot educativo E-puck.

Aprende cómo los profesionales de la industria definen y evalúan la calidad de los casos de prueba.

Un estudio sobre cómo mejorar la eficiencia en las pruebas de datos de cáncer usando machine learning.

Mejorando la generación de datos de prueba para sistemas de aeronaves usando técnicas de automatización.

Un nuevo método mejora la detección de errores lógicos en herramientas de procesamiento de XML.

Una nueva herramienta evalúa la capacidad de Syzbot para encontrar errores en el núcleo de Linux.

Un nuevo enfoque para las pruebas de software usando fuzzing de caja gris y descenso de gradiente.

Nuevos métodos mejoran la eficiencia en el aprendizaje de autómatas para sistemas complejos.

Instiller mejora las pruebas de fuzzing de CPU con técnicas eficientes y mejor detección de errores.

MobFuzz mejora las pruebas de fuzz con optimización de múltiples objetivos para una mejor seguridad del software.

Una mirada a los métodos de prueba basados en modelos para la verificación de sistemas.

Te presentamos FormNexus, un método para automatizar las pruebas de formularios web de manera eficiente.

Un conjunto de datos para mejorar la precisión de la generación de pruebas unitarias usando modelos de lenguaje grandes.

La investigación destaca la importancia del diseño de software centrado en el usuario para corregir defectos.

Un nuevo fuzzer mejora la detección de bugs en la compleja base de código de LLVM.

RESTSpecIT automatiza el proceso de documentar y probar APIs RESTful de manera efectiva.

Este estudio analiza los errores comunes que cometen los principiantes en la modelación con el software Alloy.

Un modelo para evaluar la calidad de casos de prueba y suites para una mejor confiabilidad del software.

Un enfoque novedoso que usa modelos de lenguaje para probar motores de reglas médicas mejora la precisión.

Explorando cómo QELM mejora el rendimiento de los ascensores y las predicciones del tiempo de espera.

Usando IA avanzada para encontrar y arreglar problemas de compatibilidad en apps de Android.

Aprende cómo la contaminación de la ejecución y la memoización pueden mejorar la eficiencia del análisis de mutaciones.

Investigando técnicas para mejorar la seguridad en BusyBox usado en dispositivos IoT.

Mejorando las pruebas de fuzzing en sistemas embebidos al mejorar los modelos de MMIO.

Un nuevo enfoque automatizado para mejorar las pruebas de software de drones usando IA.

Nuevos enfoques para mejorar la claridad y reducir problemas en los requisitos de software.

Un estudio sobre cómo los Modelos de Lenguaje Grande pueden mejorar la detección de vulnerabilidades en el software.

Este estudio evalúa modelos de lenguaje grandes para generar entradas de texto en aplicaciones móviles.

Una mirada a usar modelos de lenguaje para evaluar la satisfacción de los requisitos del software.

Una visión general de los métodos de prueba para bibliotecas de aprendizaje profundo y su importancia.

Delm mejora la eficiencia de las pruebas de aplicaciones usando enlaces profundos para tener mejor cobertura y fiabilidad.

Este estudio examina el papel de los LLM en la creación de oráculos de prueba efectivos para software.

Te presentamos a Themis, una herramienta automatizada para la detección de fallas en sistemas de aprendizaje profundo.

Este artículo habla sobre la necesidad de mejores prácticas de evaluación en la investigación de fuzzing.

Aprende cómo los LLMs mejoran la eficiencia de las pruebas de formularios web.

Una mirada a los desafíos de seguridad y soluciones para el hardware en la nube.

Aprende sobre técnicas de fuzzing para mejorar la seguridad de las aplicaciones web.

Usando modelos de lenguaje para mejorar la detección de errores de software y la eficiencia en las pruebas.

Probar LLMs es clave para aplicaciones de IA seguras y efectivas.