Informática - Ingeniería del software

Un nuevo sistema para generar y evaluar pruebas unitarias de manera eficiente.

Un método para analizar programas y detectar errores y mejorar la confiabilidad.

Una visión general de los problemas en diseños cruzados y análisis de datos en estudios de ingeniería de software.

La investigación examina cómo los materiales de análisis ayudan a validar las amenazas de seguridad.

Este artículo examina los métodos de prueba para asegurar la precisión en bases de datos gráficas.

CRQBench tiene como objetivo medir el razonamiento de código de los LLMs usando comentarios de revisión de código del mundo real.

Nuevos métodos mejoran la generación de código para tareas de automatización con lenguajes específicos de dominio.

HELP mejora el análisis de logs para hacerlo más eficiente.

Nueva herramienta combina análisis estático y dinámico para obtener mejores insights en la revisión de código.

Este estudio compara modelos dependientes del tiempo y técnicas de ML para predecir la Deuda Técnica del Código.

Un nuevo sistema genera modelos de edificios en 3D a partir de instrucciones en lenguaje sencillo.

Una encuesta destaca las prácticas de seguridad clave y los obstáculos que enfrentan los desarrolladores de aplicaciones móviles.

Un nuevo enfoque para mejorar los resúmenes de código incluyendo contexto esencial.

Un nuevo enfoque mejora las pruebas de API REST usando aprendizaje profundo por refuerzo.

Un nuevo motor de ejecución simbólica mejora el análisis de binarios Wasm para una mejor seguridad.

Una mirada a los riesgos y las mejores prácticas para usar std::string_view.

Explorando maneras efectivas de enfrentar el aumento de noticias falsas.

Un nuevo método para mejorar la atención en la generación de código por modelos de lenguaje.

Un nuevo enfoque que utiliza modelos de lenguaje mejora la detección de errores en el desarrollo de software.

Investigación sobre cómo fusionar adaptadores específicos para tareas y así mejorar la eficiencia en la reparación automática de programas.

Un estudio sobre la necesidad de un mecanismo de depreciación en paquetes de software de Python.

Vulseye mejora la seguridad de los contratos inteligentes a través de pruebas de fuzzing y análisis específicos.

La validación temprana evita errores costosos en sistemas como los dispositivos de salud.

Convierte fácilmente documentos PDF a formatos legibles como JSON y Markdown.

Las herramientas de simulación son esenciales para desarrollar y probar tecnologías de redes cuánticas.

Un nuevo método mejora la reparación de programas utilizando retroalimentación basada en procesos.

Un estudio sobre cómo CDD ayuda a los desarrolladores novatos a manejar la complejidad del código.

Examinando problemas en la seguridad de tipos de Kotlin y posibles soluciones.

Un estudio revela cómo los hiperparámetros afectan la calidad del código generado por LLM.

Explorando los beneficios y desafíos éticos de la IA generativa en la programación.

Este artículo examina un método para evaluar la precisión del código generado por LLM.

Un nuevo método mejora la detección de mensajes perjudiciales en modelos de lenguaje.

Integrar modelos de lenguaje grandes mejora la claridad de las pruebas unitarias automatizadas.

Usando Kubernetes y Jupyter Notebooks para mejorar la eficiencia en el desarrollo cuántico.

Un enfoque metódico para convertir uniones en uniones etiquetadas usando análisis estático.

Este artículo examina cómo ChatGPT influenció los proyectos de los estudiantes en una competencia de software.

Examinando cómo la propiedad del código impacta la responsabilidad y la calidad del software.

Explorando los desafíos y las tendencias de comunicación para desarrolladores y testers remotos.

Nuevo plugin simplifica el etiquetado de imágenes médicas 3D en 3D Slicer.

Este estudio investiga cómo las estrategias de pruebas influyen en el éxito de la entrega de software.