Informática - Ingeniería del software

La localización de fallos basada en mutaciones ofrece una nueva forma de encontrar errores en las DNNs.

Este artículo compara Llama-2 y GPT-3 en la generación de código HPC.

Un nuevo enfoque mejora la confianza de los ingenieros en las predicciones de IA durante incidentes.

Una mirada a cómo los desarrolladores interactúan con GitHub Copilot y sus características.

Latte simplifica el seguimiento de referencias de objetos, haciendo la vida más fácil a los desarrolladores.

Abordando problemas comunes en las pruebas de deep learning para mejorar la fiabilidad del modelo.

Presentando un método para crear conjuntos de datos de bugs precisos y diversos para mejorar el software.

Este estudio examina los problemas de mover bibliotecas de ML entre diferentes tipos de hardware.

Una herramienta para ayudar a los programadores a entender los mensajes de error complejos de Rust.

Un nuevo enfoque mejora la navegación del código para las especificaciones de lenguajes de software en línea.

CRIL combina reversibilidad y concurrencia para una programación eficiente.

Rebeca temporizada modela sistemas asíncronos con manejo de mensajes sensibles al tiempo.

Un nuevo sistema mejora el diagnóstico de fallos en los servicios en la nube usando datos.

Un nuevo método mejora las sugerencias de API para apoyar el desarrollo de software.

Un nuevo enfoque para arreglar errores de compilación con cambios mínimos en el código.

Aprende cómo las variantes de programas pueden mejorar la seguridad de WebAssembly contra vulnerabilidades.

Un nuevo método mejora la generación automática de pruebas al centrarse en los objetivos clave de cobertura.

Un nuevo marco busca mejorar la recolección y comprensión de las vulnerabilidades en el software.

Evaluando la efectividad de ChatGPT en el análisis de logs, analíticas y tareas de resumen.

Este estudio investiga qué tan bien los modelos de código comprenden los nombres y el uso de las API.

Aprende cómo los LLMs simplifican la creación y evaluación de código Verilog.

Un nuevo método busca reducir los tiempos de compilación en tareas de computación cuántica.

Descubre cómo ChatGPT puede facilitar el proceso de revisión de código en el desarrollo de software.

Este artículo habla sobre nuevos métodos para verificar la seguridad de los datos en sistemas concurrentes.

Usando modelos de lenguaje grandes para simplificar los procesos de verificación del diseño de hardware.

Un enfoque novedoso para solucionar errores de software utilizando modelos de lenguaje para la selección de código donante.

El método EditAS mejora la generación de aserciones para obtener mejores resultados en las pruebas unitarias.

Explora cómo la Integración Continua mejora la calidad del software y la colaboración del equipo.

Testaro simplifica las pruebas de accesibilidad al combinar varias herramientas en un solo proceso más fluido.

EGFE mejora el proceso de organizar elementos de diseño de UI para una mejor calidad de código.

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

LogShrink ofrece una mejor compresión para el costoso almacenamiento de datos de logs.

Una nueva biblioteca para crear y gestionar conjuntos de datos de laberintos en aprendizaje automático.

Examinando cómo los requisitos de alta calidad influyen en el éxito de proyectos de software.

Un nuevo enfoque mejora el entrenamiento de modelos sustitutos en el desarrollo de software.

Examinando la conexión entre las prácticas de arquitectura de software y los esfuerzos de sostenibilidad.

Un enfoque novedoso para predecir retrasos en proyectos ágiles usando datos en tiempo real.

Entendiendo el impacto de la deuda técnica en las startups de software y sus procesos de desarrollo.

Los SBOM son clave para rastrear componentes de software y mejorar la seguridad.

Trusta y los TDTs mejoran el proceso de crear casos de garantía para la seguridad del sistema.