Informatique - Génie logiciel

Explorer comment ChatGPT peut améliorer la qualité des messages de commit dans le développement logiciel.

Cet article explore des méthodes pour utiliser GPT-3.5 afin d'automatiser efficacement les revues de code.

Combiner des LLM et la vérification formelle pour améliorer la précision et l'efficacité de la programmation.

Cette étude propose de nouveaux syntaxes sucrées basées sur de vrais modèles de codage en Java.

Cette étude examine les difficultés à identifier les bugs dans les systèmes d'apprentissage profond.

Découvrez FormNexus, une méthode pour automatiser les tests de formulaires web de manière efficace.

Un nouveau jeu de données révèle des infos sur l'utilisation des modèles pré-entraînés dans les projets logiciels.

Explore les principaux obstacles que les équipes agiles rencontrent dans la gestion des données et les solutions efficaces.

Explorer comment la responsabilité façonne les pratiques d'ingénierie logicielle et la dynamique des équipes.

Une nouvelle méthode réduit les faux positifs dans les outils d'analyse statique en utilisant des tests de fuzz.

Un nouveau système améliore la génération de messages de commit en se concentrant sur le contexte du code.

Apprends comment les organisations peuvent garder des pros de l'IT qualifiés malgré la grosse compétition.

Une exploration des défis et des stratégies pour améliorer la sécurité des logiciels.

Une nouvelle méthode améliore l'efficacité et la qualité des revues de code grâce à l'apprentissage profond.

Évaluer la calibration du modèle pour améliorer la qualité du code et la confiance des développeurs.

Ce papier évalue l'efficacité du code généré à partir de différents modèles.

Un ensemble de données pour améliorer la précision de la génération de tests unitaires en utilisant de grands modèles linguistiques.

La recherche met en avant l'importance d'un design logiciel centré sur l'utilisateur pour corriger les défauts.

Découvre comment la Programmation par Graphes d'Objets simplifie la gestion des données dans le développement logiciel.

Présentation d'un outil pour créer des modèles de rapports de bugs personnalisés pour les développeurs de logiciels.

Apprends comment les modèles basés sur des agents et SAGE aident à mieux comprendre les systèmes complexes.

Ce papier parle des méthodes pour utiliser efficacement les services LLM.

JUNO utilise de nouveaux outils logiciels pour simplifier la recherche sur les neutrinos et l'analyse des données.

Une nouvelle méthode améliore l'efficacité des tests de régression en utilisant des données historiques.

Évaluer à quel point les modèles de langage soutiennent les tâches de codage du point de vue de l'utilisateur.

Cette étude examine comment les développeurs expliquent les changements de code dans le noyau Linux.

Cette étude révèle l'impact des extraits de code sur la qualité des réponses aux requêtes de codage.

Un nouveau système améliore les performances et réduit les délais dans les applications d'IA médicale.

Un nouveau fuzzer améliore la détection des bugs dans le code complexe d'LLVM.

RESTSpecIT automatise le processus de documentation et de test des APIs RESTful de manière efficace.

Apprends comment les organisations peuvent gérer leurs données grâce à une plateforme de données en libre-service.

Un aperçu des stratégies pour s'attaquer au Problème de la Prochaine Sortie dans le développement logiciel.

Une analyse des problèmes de reproductibilité dans la recherche sur la prédiction des défauts de logiciels en deep learning.

Cette étude analyse les erreurs courantes faites par les débutants dans la modélisation avec le logiciel Alloy.

Un nouvel outil réduit les dépenses dans la correction automatique des bugs tout en gardant son efficacité.

Une étude sur la consommation d'énergie dans Unity et Unreal Engine pour les jeux vidéo.

Une méthode pour automatiser la création de cas de test pour de meilleures évaluations en programmation.

Cette étude explore l'amélioration de la précision des graphes d'appels en utilisant des méthodes d'apprentissage automatique.

Un nouvel outil utilise des modèles de langage pour automatiser efficacement les changements de code répétitifs.

Une méthode pour mieux générer du code en science des données en utilisant des spécifications d'entrée-sortie.