Informática - Ingeniería del software

Un nuevo enfoque para agilizar las pruebas de UI en apps móviles usando aprendizaje automático.

Aprende estrategias clave para manejar recursos compartidos en programación concurrente.

Un nuevo enfoque mejora la ejecución simbólica en Python usando un Modelo de Lenguaje Grande.

Nuevo método mejora la confianza y claridad en los procesos de verificación de software.

Un nuevo método mejora las pruebas de DNN al combinar la selección de características con la priorización basada en la incertidumbre.

Nuevo método mejora la detección de defectos en productos en la fabricación usando aprendizaje profundo.

Una mirada a cómo aplicar métricas de pruebas MCDC en programación Rust.

Este estudio resalta los riesgos que representan los clones de código y su gestión.

Un estudio revela cómo el código defectuoso afecta la calidad de los casos de prueba de los LLMs.

Harden ayuda a los usuarios a rastrear comportamientos y pensamientos para combatir la adicción.

Usando LLMs para estimar con precisión el costo y la duración de proyectos de software.

Los comentarios de código inconsistentes pueden causar errores y problemas en el software.

Puntos clave para mejorar tu paper de NeurIPS y conseguir una mejor evaluación.

Este estudio evalúa la efectividad de varios LLMs para identificar vulnerabilidades en el código.

Examinando los problemas de privacidad relacionados con SDKs de terceros en aplicaciones móviles.

Un nuevo estándar que evalúa modelos de código grandes en tareas de programación del mundo real.

Analizando problemas de rendimiento de WASI usando un marco basado en eBPF para mejorar aplicaciones web.

Explora las causas y soluciones para las pruebas inestables que interrumpen el desarrollo de software.

El modelo GPT-O1 muestra mejores habilidades para arreglar bugs en comparación con versiones anteriores.

Este artículo explora los desafíos y riesgos de la información sensible en los registros de software.

Un sistema inteligente que agiliza la programación a través de soluciones impulsadas por IA.

Un nuevo entorno de RL busca mejorar la optimización de código para el compilador MLIR.

Un nuevo método mejora los comentarios de revisión de código automatizados usando la experiencia del revisor.

Examinando la programación de prompts y su impacto en la creación de software y la experiencia del usuario.

Este estudio evalúa la efectividad de los LLM en tareas de corte de programas estáticos y dinámicos.

Una mirada detallada a los patrones de carga en aplicaciones web para mejorar la gestión de recursos.

vMocks agiliza la verificación formal, mejorando la seguridad y fiabilidad del software.

Los bots simplifican tareas y mejoran la colaboración en la ingeniería de software.

Un estudio sobre cómo la deuda técnica afecta a los proyectos de aprendizaje profundo.

Este artículo revisa los nuevos modelos de codificación de OpenAI y su rendimiento en aplicaciones web.

Este estudio evalúa el rendimiento de grandes modelos de código en sugerencias de API.

RepoGenReflex mejora la autocompletación de código aprendiendo de experiencias pasadas y dando sugerencias relevantes.

Este artículo habla de un nuevo método para generar pruebas de corrección en Rust.

PromSec optimiza los prompts para generar código seguro y funcional con LLMs.

Examinando cómo los sesgos en los LLMs afectan la contratación de equipos de software.

La investigación muestra cómo las funciones auxiliares mejoran la generación de código en modelos ajustados por instrucciones.

Un estudio que examina los desafíos y estrategias de los estudiantes en tareas de modelado de software.

Un nuevo método mejora la detección de errores de software usando agentes de LLM y una estrategia de dividir y conquistar.

Los contratos proxy en Ethereum ofrecen ventajas, pero también tienen preocupaciones de seguridad importantes.

Un enfoque automatizado mejora el análisis de logs y el diagnóstico de fallos en servicios en línea.