Informática - Ingeniería del software

Aprende cómo STPA y LTL crean sistemas más seguros.

Un estudio revela cómo las modificaciones de código influyen en los métricas de calidad del software.

Un enfoque fresco para mejorar el rendimiento del software a través de métodos de ajuste dinámico.

Este papel presenta un método eficiente de comparación de árboles usando resolución SAT.

Un nuevo método para acelerar la reparación de modelos de Stateflow y reducir costos.

Un nuevo método, DepGraph, mejora la precisión en la detección de bugs de software.

Un análisis de cómo los desarrolladores implementan soluciones arquitectónicas en proyectos de código abierto.

Una mirada profunda a dos herramientas de edición para el desarrollo de software.

La industria automotriz adopta soluciones definidas por software para mejorar las funciones del vehículo.

Un nuevo método utiliza LLMs para automatizar la solución de errores y la adición de funciones.

Este artículo analiza cómo se recogen los requisitos en proyectos de software del gobierno.

MLRefScanner mejora la detección de refactorización de código en proyectos de machine learning en Python.

Este artículo examina cómo los desarrolladores ven la financiación del gobierno en proyectos de OSS como scikit-learn.

Un estudio sobre la claridad y aceptación de los Árboles de Ataque-Defensa entre los usuarios.

Este estudio evalúa qué tan bien crea ChatGPT diagramas de secuencia UML a partir de requisitos en lenguaje natural.

Una guía práctica para investigadores que usan métodos mixtos en ingeniería de software.

Una mirada a cómo los LLMs resumen código y los factores que afectan su rendimiento.

Enfocarse en la diversidad puede mejorar el software para todos los usuarios.

Un estudio sobre el intercambio, mantenimiento y calidad de los artefactos de investigación en 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.