Informatique - Génie logiciel

Améliorer l'accès aux artefacts de recherche renforce les efforts de qualité des exigences logicielles.

Une nouvelle méthode pour entraîner des modèles de code en se concentrant sur la sémantique et le comportement d'exécution.

Une méthode innovante améliore l'efficacité de la correction de bugs en utilisant des correctifs générés par des LLM.

Apprends comment les jumeaux numériques peuvent améliorer la conception et l'exploitation des véhicules de lancement spatial.

Une nouvelle approche pour améliorer le fuzzing basé sur des générateurs en se concentrant sur les types de données.

Un guide pour transformer du code Python non idiomatique en utilisant des techniques modernes.

Apprends des techniques de fuzzing pour améliorer la sécurité des applications web.

StackSight transforme WebAssembly en code C++ lisible en utilisant des techniques d'IA.

De nouveaux algos améliorent la vitesse et la précision de la sélection des caractéristiques dans les modèles statistiques.

Une validation et une vérification précoces garantissent que les systèmes répondent aux besoins et minimisent les erreurs coûteuses.

Une nouvelle méthode évalue automatiquement la fiabilité des prédictions d'IA.

Explorer des méthodes pour une classification multi-label efficace dans le développement logiciel.

Une nouvelle métrique pour évaluer à quel point c'est difficile de compiler des langages de programmation.

Utiliser l'IA pour automatiser la vectorisation, améliorer l'efficacité et la justesse du code.

Un nouveau cadre améliore la création des messages de commit grâce à l'automatisation.

Explorer comment les appareils peuvent collaborer pour une meilleure efficacité et performance.

Explore des stratégies pour garantir la qualité des logiciels dans des environnements de développement collaboratif ouvert.

Un aperçu des tests métamorphiques et de leur rôle dans la qualité du logiciel.

Cette étude évalue comment GPT-4 aide dans les tâches de rétro-ingénierie.

M2CVD améliore la détection des vulnérabilités logicielles grâce à des approches de modèle collaboratif.

Une nouvelle approche améliore la détection des vulnérabilités de sécurité logicielle en utilisant des modèles avancés.

Un nouveau benchmark pour évaluer les LLMs pour les tâches de programmation Java.

Une nouvelle méthode améliore les modèles de langage de code grâce à des cas de test efficaces et à l'apprentissage des préférences.

Ce papier présente une méthode pour assurer la qualité du code généré par les LLM.

Les avancées en informatique quantique nécessitent des tests et débogages efficaces pour un logiciel fiable.

Cette recherche se concentre sur la façon dont la qualité du TDD est mesurée et rapportée.

LogBatcher simplifie l'analyse des logs en utilisant de grands modèles de langage sans formation préalable.

Apprends comment la modélisation écologique aide à relever les défis environnementaux.

Cet article parle des risques de hallucinations de paquets dans les modèles de génération de code.

Une nouvelle méthode améliore les LLMs pour générer du code UI de haute qualité.

Utiliser des modèles de langage pour améliorer la détection de bugs dans les logiciels et l'efficacité des tests.

Un nouveau benchmark teste la capacité des LLM à trouver des vulnérabilités dans les logiciels.

LUNAR rend le parsing des logs plus facile sans avoir besoin de données étiquetées, ce qui améliore la précision et l'efficacité.

Nouveau cadre améliore la complétion de code en capturant les connaissances spécifiques au dépôt.

Un aperçu des vulnérabilités et des solutions pour les systèmes d'apprentissage profond.

Combiner le fuzzing et les modèles de langage pour améliorer l'efficacité des tests logiciels.

DafnyBench teste des outils de vérification de logiciels, ouvrant la voie à une programmation fiable.

Un aperçu de comment les LLMs abordent les défis de la programmation par l'exemple.

Tester les LLMs est essentiel pour des applications IA sûres et efficaces.

Un nouvel outil améliore l'analyse statique avec des graphiques simplifiés et de l'apprentissage automatique.