Informatique - Génie logiciel

Analyser des projets divers utilisant ChatGPT depuis GitHub.

De nouveaux repères révèlent les forces et les faiblesses des modèles de langage de codage.

Combiner des commentaires en langage naturel et la structure du code améliore la détection des vulnérabilités.

Un aperçu de comment les robots peuvent bosser ensemble pour cartographier les ressources spatiales.

Apprends comment l'algorithme NRP FD gère les problèmes de redondance dans les systèmes de contrôle.

Un aperçu de l’algorithme Raft pour le consensus dans les systèmes distribués.

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.

Un outil pour analyser les problèmes de mémoire dans le code C.

CoderUJB évalue la performance des LLM dans des tâches de programmation Java dans le monde réel.

DeepSample propose des techniques efficaces pour tester les Réseaux de Neurones Profonds de manière efficient et précise.

Une étude sur comment les grands modèles de langage peuvent améliorer la détection des vulnérabilités dans les logiciels.

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.

Une étude sur comment les LLM gèrent les variations dans les invites mathématiques.

Cette critique présente un cadre pour l'AIOps dans la gestion des incidents.

Apprends comment les LLM peuvent rendre la programmation en C plus sûre et plus efficace.

Une étude sur l'utilisation de code non sécurisé par les développeurs en Rust.

Ce papier parle d'améliorer le comportement des logiciels grâce aux exigences de vivacité.

EV2Gym aide les chercheurs à développer des solutions de charge intelligente avancées pour les véhicules électriques.

Explorer le rôle de l'IA générative pour améliorer les pratiques de sécurité logicielle.

Un nouveau modèle améliore l'analyse du code WebAssembly grâce à une compréhension de données mixtes.

Découvrez WebSPL, une méthode structurée pour créer des applications web de manière efficace.

Explorer comment les AI-Tutors améliorent l'apprentissage de la programmation pour les étudiants.

Le dataset ROBUST aide les chercheurs à résoudre des problèmes de logiciels en robotique.

Une proposition pour une architecture de référence en ingénierie des connaissances pour améliorer l'efficacité des systèmes.

Apprends comment STPA et LTL rendent les systèmes plus sûrs.

Une étude révèle comment les modifications de code influencent les métriques de qualité logicielle.

Une nouvelle approche pour améliorer les performances des logiciels grâce à des méthodes de réglage dynamique.

Cet article présente une méthode efficace de comparaison d'arbres utilisant la résolution SAT.

Une nouvelle méthode pour accélérer la réparation des modèles Stateflow et réduire les coûts.

Une nouvelle méthode, DepGraph, améliore la précision de la détection des bugs logiciels.

Une analyse de comment les développeurs mettent en œuvre des solutions architecturales dans des projets open-source.

Un aperçu détaillé de deux outils de montage pour le développement logiciel.

L'industrie automobile adopte des solutions définies par logiciel pour améliorer les fonctions des véhicules.

Une nouvelle méthode utilise des LLM pour automatiser la correction de bugs et l'ajout de fonctionnalités.

Cet article examine comment les exigences sont recueillies dans les projets de logiciels gouvernementaux.

MLRefScanner améliore la détection du refactoring de code dans les projets de machine learning en Python.

Cet article examine comment les développeurs perçoivent le financement gouvernemental dans des projets OSS comme scikit-learn.

Une étude sur la clarté et l'acceptation des arbres d'attaque-défense chez les utilisateurs.

Cette étude évalue à quel point ChatGPT est efficace pour créer des diagrammes de séquence UML à partir de exigences en langage naturel.

Un guide pratique pour les chercheurs utilisant des méthodes mixtes en ingénierie logicielle.