Informática - Ingeniería del software

Aprende cómo la mutación de entrada puede mejorar la equidad en los sistemas de aprendizaje automático.

CodoMo facilita la verificación de modelos, asegurando operaciones seguras de drones a través de una verificación de software eficiente.

Una guía para asegurar que las aplicaciones web sean fiables, seguras y fáciles de usar.

Cómo los comentarios mejoran las pruebas de software y la detección de errores.

Aprende cómo la sostenibilidad social puede transformar el desarrollo de software.

Aprende cómo el análisis incremental simplifica la programación y aumenta la eficiencia.

Descubre ACInv, una herramienta que revoluciona la generación de invariantes de bucle para programación compleja.

Descubre una herramienta que simplifica las pruebas de software para desarrolladores en múltiples proyectos.

Un estudio revela cómo la actividad cerebral muestra la confusión de los programadores.

Una guía para entender y mejorar la eficiencia energética en el software.

Aprende a proteger información sensible en nuestro mundo digital.

Aprende a identificar y arreglar problemas en modelos de aprendizaje profundo de manera efectiva.

Un nuevo método simplifica la interpretación del código binario para investigadores y desarrolladores.

Descubre cómo las pistas pueden mejorar tus habilidades de programación y la solución de errores.

Explora las motivaciones y las influencias que llevan a los estudiantes a seguir carreras en ingeniería de software.

Aprende cómo los LLMs pueden ayudar a identificar y manejar pruebas inestables en el desarrollo de software.

Usando modelos de lenguaje grandes para detectar debilidades en el software.

Una herramienta para detectar problemas de diseño en código de deep learning en Python y C/C++.

Explorando cómo las pruebas automatizadas mejoran la gestión de datos del cáncer y el cuidado del paciente.

Descubre cómo el hashing profundo segmentado transforma la búsqueda de código para los desarrolladores.

Los agentes SWE transforman el desarrollo de software con nuevas capacidades.

Descubre cómo Seeker mejora el manejo de excepciones para los desarrolladores.

Examinando el papel de la IA en la protección de sistemas informáticos vitales.

Descubre el papel esencial de los circuitos analógicos en la tecnología moderna.

Aprende cómo el método Transductor mejora los modelos de lenguaje grandes para tareas de código.

Las estrellas falsas están engañando a la comunidad de desarrollo de software.

Técnica innovadora mejora el razonamiento inductivo de la IA y la generación de hipótesis diversas.

Descubre cómo las prácticas moldean las experiencias y carreras de los estudiantes en computación.

Descubre cómo el aprendizaje selectivo de disparos mejora las explicaciones de código para los desarrolladores.

Las herramientas automatizadas están revolucionando las evaluaciones de seguridad en todos los espacios digitales.

Explora cómo las teorías de la varianza afectan los resultados del desarrollo de software y la síntesis de investigaciones.

Un nuevo enfoque mejora el análisis estático usando modelos de lenguaje para un mejor desarrollo de software.

Los desarrolladores enfrentan deudas técnicas que ellos mismos admiten; se necesitan herramientas para gestionarlas de manera efectiva.

Descubre cómo el Kit de Herramientas de IA Generativa simplifica el desarrollo de aplicaciones LLM.

Examinando la efectividad de las herramientas de generación automática de pruebas en el desarrollo de software.

Una mirada a las herramientas de equidad en la tecnología y su importancia.

SimADFuzz mejora las pruebas de seguridad para vehículos autónomos con escenarios diversos.

Aprende cómo el ajuste fino eficiente de parámetros mejora la detección de olores de código con LLMs.

Los investigadores buscan optimizar los modelos de lenguaje para mejorar la eficiencia y reducir costos.

Descubre cómo CPPJoules ayuda a los desarrolladores de C++ a rastrear el consumo de energía de manera efectiva.