Un nuevo marco busca mejorar la identificación de vulnerabilidades en contratos inteligentes.
― 7 minilectura
Ciencia de vanguardia explicada de forma sencilla
Un nuevo marco busca mejorar la identificación de vulnerabilidades en contratos inteligentes.
― 7 minilectura
Últimos artículos
― 7 minilectura
― 5 minilectura
Últimos artículos
El estudio investiga la capacidad de Codex para generar restricciones OCL a partir de lenguaje natural.
― 8 minilectura
Este estudio examina el potencial del deep learning para crear Dockerfiles a partir de requisitos de alto nivel.
― 6 minilectura
SAFE-CSV simplifica y fortalece el procesamiento de datos para archivos CSV.
― 7 minilectura
Un nuevo enfoque mejora los sistemas robóticos al integrar elementos físicos y simulados.
― 7 minilectura
Una encuesta revela los pensamientos de los desarrolladores sobre las herramientas de programación con IA y sus desafíos.
― 6 minilectura
Examina el papel de la inferencia causal en la mejora de las prácticas de ingeniería de software.
― 6 minilectura
Un nuevo método mejora la predicción de QoS usando algoritmos avanzados e interacciones con los usuarios.
― 9 minilectura
Un enfoque multiperspectivo para evaluar la precisión de los modelos BPS.
― 6 minilectura
Los modelos de IA ahora generan código, simplificando la programación para los desarrolladores.
― 7 minilectura
Un resumen de los problemas clave que enfrentan los desarrolladores que usan aprendizaje automático en software.
― 9 minilectura
Una revisión de los avances en métodos de Reparación Automática de Programas y su potencial futuro.
― 8 minilectura
Este estudio mejora el proceso de recomendaciones para revisores centrados en temas de arquitectura.
― 9 minilectura
Examinando cómo las malas decisiones arquitectónicas se relacionan con problemas de concurrencia en el software.
― 7 minilectura
Nuevo conjunto de datos mejora la detección de vulnerabilidades en software usando deep learning.
― 7 minilectura
Presentando un método basado en conversaciones para la corrección automática de errores en el desarrollo de software.
― 8 minilectura
Un conjunto de datos que revela las prácticas de gobernanza en 710 proyectos de OSS en GitHub.
― 7 minilectura
Explorando el papel de ChatGPT en los métodos de análisis de seguridad.
― 7 minilectura
Un nuevo enfoque mejora la depuración automática al ofrecer razonamientos comprensibles para los desarrolladores.
― 9 minilectura
Este artículo habla sobre un nuevo método para generar programas de fuzzing efectivos usando LLMs.
― 8 minilectura
Presentando un enfoque innovador para probar DNNs con un enfoque en flexibilidad y efectividad.
― 8 minilectura
Este artículo explora las prácticas de ingeniería de software en startups tecnológicas, destacando los desafíos únicos para las empresas de aprendizaje automático.
― 9 minilectura
Descubre cómo el ML mejora el proceso de CI para el desarrollo de software.
― 7 minilectura
Estrategias para minimizar el impacto de errores humanos en la ingeniería de requisitos de software.
― 7 minilectura
Una nueva herramienta simplifica la recolección de información de API de varias fuentes en línea.
― 7 minilectura
MUFIN presenta un nuevo método para la corrección automática de errores usando aprendizaje auto-supervisado.
― 7 minilectura
Code Critters combina diversión y educación para enseñar pruebas de software a través del juego.
― 5 minilectura
Un estudio sobre la efectividad de las herramientas de seguridad automatizadas en finanzas descentralizadas.
― 8 minilectura
Las etiquetas de dominio de API mejoran la selección de tareas para nuevos colaboradores en software de código abierto.
― 7 minilectura
Evaluando modelos de lenguaje para convertir descripciones de errores en arreglos de código correctos.
― 7 minilectura
Un estudio sobre cómo las opiniones de los usuarios se alinean con las medidas objetivas de calidad para preguntas.
― 8 minilectura
Helix++ mejora la seguridad del software usando reescritura binaria y tecnología Docker.
― 6 minilectura
Examinando la efectividad de ChatGPT para ayudar con tareas de programación numérica.
― 8 minilectura
Una iniciativa de recuperación busca mejorar la disponibilidad de herramientas y datos de ingeniería de software.
― 7 minilectura
GraphBinMatch mejora la coincidencia de código binario con código fuente en varios lenguajes.
― 7 minilectura
QChecker ayuda a detectar errores en programas cuánticos usando técnicas de análisis estático.
― 8 minilectura
Este artículo examina cómo nuestros cerebros procesan el código de computadora.
― 7 minilectura
La investigación destaca problemas con los contratos inteligentes y sus herramientas de verificación.
― 6 minilectura
Esta investigación identifica las cualidades que hacen que los Jupyter Notebooks sean populares y efectivos.
― 7 minilectura
Una mirada a los riesgos de los ataques a la cadena de suministro de software y su impacto.
― 7 minilectura
Un estudio que evalúa el rendimiento de herramientas AIGC en la detección de código generado por IA.
― 9 minilectura