Informática - Ingeniería del software

La ingeniería de software cuántico evoluciona para satisfacer las necesidades de la computación cuántica avanzada.

Mejorando los modelos de generación de código para manejar cambios menores en la entrada de manera efectiva.

Ya está disponible una herramienta para identificar vulnerabilidades en el código Python generado por IA.

Un nuevo método usa LLMs para mejorar la eficiencia en la reparación de programas.

Esta investigación examina cómo usar el flujo de información para detectar posibles conflictos de código.

Una herramienta simplifica la evolución del esquema de la base de datos mientras asegura la integridad.

Un estudio sobre qué motiva a los desarrolladores en proyectos de código abierto.

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

Aprende prácticas efectivas para estimar esfuerzos de manera precisa en el desarrollo ágil de software.

Service Weaver simplifica la creación de aplicaciones nativas de la nube al reducir la complejidad.

Un sistema para simplificar el uso de OWL en programación orientada a objetos.

Los niños aprenden sobre pruebas de software a través de un juego divertido sobre bichos.

Este estudio examina a los mutantes equivalentes y su impacto en las pruebas de software.

Este estudio examina los problemas de calidad en los prompts para modelos de generación de código.

Una visión general del trabajo híbrido y su conexión con las prácticas ágiles de software.

Usar LLMs para mejorar la efectividad de las pruebas de mutación y la calidad del software.

Una nueva herramienta ofrece definiciones flexibles de justicia para el análisis de aprendizaje automático.

Un nuevo conjunto de datos para mejorar la generación de código usando visuales.

Este artículo examina el papel de los LLMs en la corrección de especificaciones de Alloy.

Involucrando a los estudiantes en Pruebas de Software con Aprendizaje Basado en Equipos y proyectos de Código Abierto.

3DGen usa IA para convertir descripciones de datos informales en código seguro.

AID usa LLMs y pruebas diferenciales para mejorar la detección de errores en el software.

Aprende cómo el comportamiento indefinido afecta las bibliotecas de Rust usando funciones externas.

Un nuevo marco mejora la precisión en la solución de errores utilizando análisis a nivel de tokens e información contextual.

LogSD mejora la detección de anomalías en datos de registros al centrarse en eventos poco frecuentes.

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

Este trabajo presenta una estrategia para que los agentes diagnostiquen y resuelvan problemas de forma independiente.

Usando IA para simplificar la creación de código PowerShell para ciberseguridad.

Este artículo presenta un método para generar escenarios de prueba a partir de requisitos en lenguaje natural.

Este artículo explora los desafíos de instalación que enfrentan los desarrolladores de software novatos.

Este artículo explora cómo los invariantes pueden mejorar la seguridad de los contratos inteligentes contra ataques.

Explorando las preocupaciones sobre el uso de código en el entrenamiento de modelos de IA.

Una herramienta de análisis visual mejora el análisis del rendimiento de microservicios.

MACH ofrece un camino claro para una gestión de software efectiva y la colaboración del equipo.

Una mirada a las pruebas de mutación y su papel en mejorar la calidad del software.

Un nuevo método mejora la prueba de software al enfocarse en interacciones y entornos reales.

Una mirada a cómo los MLLMs mejoran las pruebas para sistemas de reconocimiento de imágenes.

Aprende la importancia de validar los rastros de programas distribuidos contra las especificaciones.

Un nuevo sistema para evaluar vulnerabilidades de software en múltiples niveles.

Usando modelos de lenguaje para mejorar la eficiencia y precisión de la reparación automática de programas.