Saltar al contenido
VuFind
  • Entrar
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
Avanzado
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Agregar a favoritos
  • Enlace Permanente
Imagen de Portada

Guardado en:
Detalles Bibliográficos
Autores principales: Jiang, Chao, Liu, Dugang, Wen, Cheng, Xu, Zhiwu, Zheng, Hua, Sadiq, Muhammad, Shamsi, Jawwad Ahmed, Qin, Shengchao, Ming, Zhong
Formato: Preprint
Publicado: 2026
Materias:
Software Engineering
Machine Learning
Programming Languages
Acceso en línea:https://arxiv.org/abs/2604.25960
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
  • Existencias
  • Descripción
  • Tabla de Contenidos
  • Comentarios
  • Ejemplares similares
  • Vista Equipo

Internet

https://arxiv.org/abs/2604.25960

Ejemplares similares

  • Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
    por: Wen, Cheng, et al.
    Publicado: (2024)
  • Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
    por: Ma, Zhi, et al.
    Publicado: (2025)
  • ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
    por: Cai, Yuandao, et al.
    Publicado: (2026)
  • A Survey of Large Language Models for Code: Evolution, Benchmarking, and Future Trends
    por: Zheng, Zibin, et al.
    Publicado: (2023)
  • Fixing Function-Level Code Generation Errors for Foundation Large Language Models
    por: Wen, Hao, et al.
    Publicado: (2024)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Lista Alfabética
  • Explorar canales
  • Reservas de Curso
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes