Últimos artículos para Ingeniería de Software

Descubre cómo YORO mejora la generación de contenido procedural en los videojuegos.

Este estudio examina cómo los LLM evalúan los resúmenes de informes de errores en comparación con los evaluadores humanos.

Aprende cómo la lógica LE mejora la representación del conocimiento y la respuesta a consultas.

La seguridad del IoT necesita atención urgente para que las interacciones con los dispositivos sean más seguras.

Este documento aborda las amenazas de filtración de flujo de control y propone un nuevo enfoque de hardware-software.

Un nuevo marco combina búsqueda de código, generación y reparación para una programación eficiente.

Un estudio revela inconsistencias en cómo las apps de Android informan sobre la recolección de datos.

Este artículo destaca la importancia de un buen diseño de software en los robots desmalezadores.

Un nuevo modelo mejora la recuperación de nombres de funciones en el análisis de código binario.

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

Explorando los últimos avances en el aprendizaje de autómatas y técnicas de consulta.

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

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

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

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

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

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

Un nuevo enfoque para clasificar malware de manera eficiente usando menos muestras etiquetadas.

Explorando nuevas formas de mejorar la verificación de pruebas en la ingeniería de software.

Descubre cómo SymAware mejora la colaboración y la seguridad en sistemas autónomos.

Una nueva herramienta para mejorar el rendimiento de la simulación de circuitos cuánticos.

Una mirada a la confiabilidad de los agentes de IA y preocupaciones éticas.

Agrupar mensajes mejora la eficiencia en la computación moderna.

Los investigadores desarrollan un marco autocorrector para generar testbenches de manera eficiente en el diseño de hardware.

Aprende cómo los árboles AVL mantienen el equilibrio para buscar números de manera eficiente.

Los datos malos pueden llevar a un mal rendimiento del modelo en aplicaciones de aprendizaje profundo.

Aprende cómo las políticas de control de acceso protegen tus datos en aplicaciones web.

Descubre cómo los métodos formales mejoran la fiabilidad del software y ayudan a detectar errores a tiempo.

Los modelos de IA pueden ayudar a encontrar vulnerabilidades en sistemas criptográficos para mejorar la seguridad.

Una mirada a cómo la lógica de trazas ayuda en la verificación de programas recursivos.

CodeSAM ayuda a mejorar la comprensión y análisis del código desde diferentes perspectivas.

Explorando cómo los sistemas pueden comportarse de manera similar a pesar de las diferencias.

Una visión general de las vulnerabilidades de software y los modelos utilizados para detectarlas.

Un estudio sobre el rendimiento de los LLMs en tareas de ingeniería de software.

Examinamos dos escenarios para desarrollar herramientas de seguridad contra ataques.

Aprende sobre micro frontends, sus beneficios y los desafíos comunes.

Un nuevo enfoque para la verificación de código que mezcla técnicas potentes.

Descubre cómo O1-CODER está cambiando la forma en que las máquinas aprenden a programar.

Descubre cómo las pruebas metamórficas mejoran los modelos de machine learning para los desafíos del mundo real.

La IA está transformando cómo se desarrolla, prueba y mantiene el software.