Une nouvelle approche automatisée améliore l'efficacité pour corriger les bugs logiciels.
― 8 min lire
La science de pointe expliquée simplement
Une nouvelle approche automatisée améliore l'efficacité pour corriger les bugs logiciels.
― 8 min lire
Une étude met en avant l'impact de la contamination des données sur les évaluations des modèles de code.
― 8 min lire
Concentre-toi sur l'utilisation de recherches solides pour améliorer les pratiques de développement logiciel.
― 7 min lire
La méthode DeepKnowledge améliore la fiabilité des DNN dans les applications critiques.
― 9 min lire
Ce papier examine les facteurs clés qui affectent la lisibilité du code de test pour une meilleure maintenance du logiciel.
― 8 min lire
Un cadre pour générer des dépôts de code en utilisant des exigences linguistiques simples.
― 7 min lire
Découvrez les grandes découvertes et outils dans la communauté DevOps.
― 6 min lire
Une nouvelle méthode améliore la génération de code en s'appuyant sur le contexte spécifique au projet et les retours du compilateur.
― 9 min lire
TGMM simplifie la détection de code similaire à travers plusieurs langages de programmation.
― 7 min lire
Stratégies pour réduire la latence de démarrage à froid dans les applications sans serveur.
― 9 min lire
Nouvelles approches pour améliorer la clarté et réduire les problèmes dans les exigences logicielles.
― 5 min lire
Analyser des projets divers utilisant ChatGPT depuis GitHub.
― 7 min lire
De nouveaux repères révèlent les forces et les faiblesses des modèles de langage de codage.
― 4 min lire
Combiner des commentaires en langage naturel et la structure du code améliore la détection des vulnérabilités.
― 6 min lire
Un aperçu de comment les robots peuvent bosser ensemble pour cartographier les ressources spatiales.
― 11 min lire
Apprends comment l'algorithme NRP FD gère les problèmes de redondance dans les systèmes de contrôle.
― 8 min lire
Un aperçu de l’algorithme Raft pour le consensus dans les systèmes distribués.
― 10 min lire
Explorer les problèmes et les solutions proposées pour les modèles de langage de code dans l'identification des vulnérabilités logicielles.
― 9 min lire
Un outil pour analyser les problèmes de mémoire dans le code C.
― 6 min lire
CoderUJB évalue la performance des LLM dans des tâches de programmation Java dans le monde réel.
― 8 min lire
DeepSample propose des techniques efficaces pour tester les Réseaux de Neurones Profonds de manière efficient et précise.
― 7 min lire
Une étude sur comment les grands modèles de langage peuvent améliorer la détection des vulnérabilités dans les logiciels.
― 7 min lire
FT2Ra améliore l'efficacité de la complétion de code grâce à des méthodes de récupération sans avoir besoin de réentraîner entièrement le modèle.
― 9 min lire
Une étude sur comment les LLM gèrent les variations dans les invites mathématiques.
― 8 min lire
Cette critique présente un cadre pour l'AIOps dans la gestion des incidents.
― 12 min lire
Apprends comment les LLM peuvent rendre la programmation en C plus sûre et plus efficace.
― 6 min lire
Une étude sur l'utilisation de code non sécurisé par les développeurs en Rust.
― 10 min lire
Ce papier parle d'améliorer le comportement des logiciels grâce aux exigences de vivacité.
― 6 min lire
EV2Gym aide les chercheurs à développer des solutions de charge intelligente avancées pour les véhicules électriques.
― 11 min lire
Explorer le rôle de l'IA générative pour améliorer les pratiques de sécurité logicielle.
― 8 min lire
Un nouveau modèle améliore l'analyse du code WebAssembly grâce à une compréhension de données mixtes.
― 10 min lire
Découvrez WebSPL, une méthode structurée pour créer des applications web de manière efficace.
― 15 min lire
Explorer comment les AI-Tutors améliorent l'apprentissage de la programmation pour les étudiants.
― 11 min lire
Le dataset ROBUST aide les chercheurs à résoudre des problèmes de logiciels en robotique.
― 7 min lire
Une proposition pour une architecture de référence en ingénierie des connaissances pour améliorer l'efficacité des systèmes.
― 12 min lire
Apprends comment STPA et LTL rendent les systèmes plus sûrs.
― 8 min lire
Une étude révèle comment les modifications de code influencent les métriques de qualité logicielle.
― 12 min lire
Une nouvelle approche pour améliorer les performances des logiciels grâce à des méthodes de réglage dynamique.
― 6 min lire
Cet article présente une méthode efficace de comparaison d'arbres utilisant la résolution SAT.
― 10 min lire
Une nouvelle méthode pour accélérer la réparation des modèles Stateflow et réduire les coûts.
― 8 min lire