Informatique - Génie logiciel

Impliquer les étudiants dans les tests logiciels avec l'apprentissage en équipe et des projets open source.

3DGen utilise l'IA pour transformer des descriptions de données informelles en code sécurisé.

AID utilise des LLMs et des tests différentiels pour améliorer la détection de bugs dans les logiciels.

Apprends comment le comportement indéfini affecte les bibliothèques Rust en utilisant des fonctions étrangères.

Un nouveau cadre améliore l'exactitude de la correction des bugs en utilisant une analyse au niveau des jetons et des infos contextuelles.

LogSD améliore la détection d'anomalies dans les données de log en se concentrant sur les événements rares.

Un aperçu de l'utilisation des modèles de langage pour évaluer la satisfaction des exigences logicielles.

Ce travail présente une stratégie pour que les agents puissent diagnostiquer et résoudre des problèmes de manière indépendante.

Utiliser l'IA pour simplifier la création de code PowerShell pour la cybersécurité.

Cet article présente une méthode pour générer des scénarios de test à partir de exigences en langage naturel.

Cet article explore les problèmes d'installation rencontrés par les développeurs de logiciels débutants.

Cet article explore comment les invariants peuvent améliorer la sécurité des smart contracts contre les attaques.

Explorer les préoccupations autour de l'utilisation du code dans l'entraînement des modèles d'IA.

Un outil d'analyse visuelle améliore l'analyse des performances des microservices.

MACH offre un moyen simple pour gérer efficacement les logiciels et collaborer en équipe.

Un aperçu des tests de mutation et de leur rôle dans l'amélioration de la qualité des logiciels.

Une nouvelle méthode améliore les tests logiciels en se concentrant sur des interactions et des environnements réels.

Un aperçu de comment les MLLMs améliorent les tests pour les systèmes de reconnaissance d'images.

Apprends l'importance de valider les traces de programmes distribués par rapport aux spécifications.

Un nouveau système pour évaluer les vulnérabilités des logiciels à plusieurs niveaux.

Utiliser des modèles de langage pour améliorer l'efficacité et la précision de la réparation automatique de programmes.

Un nouveau système combine la recherche et la classification pour réduire les rapports de bugs en double.

Cette étude examine comment l'IA peut améliorer les réunions Agile à la Poste autrichienne.

Ce papier examine des bugs dans quatre jeux classiques de Super Mario et leur signification.

Le raisonnement contrefactuel améliore la compréhension des vulnérabilités dans le code.

Cette étude explore l'impact des clones de code sur les frameworks d'apprentissage profond et la qualité du logiciel.

Examiner les défis auxquels les professionnels des logiciels malvoyants et aveugles sont confrontés pour progresser dans leur carrière.

Explore des transformations pour améliorer la qualité des tests de langue naturelle.

Une nouvelle méthode vise à automatiser les tests dans des environnements de compilateurs en évolution.

Un cadre unifié pour améliorer les processus de débogage logiciel.

Un aperçu des méthodes de test pour les bibliothèques de deep learning et leur importance.

Une étude des avis des utilisateurs donne des infos sur l'efficacité des applis de traçage des contacts.

Apprends comment la logique dynamique aide à vérifier efficacement le comportement des programmes.

Une étude sur l'efficacité des outils SAST pour les contrats intelligents.

Cet outil améliore la conversion de code en Rust, en se concentrant sur la sécurité et la lisibilité.

Un aperçu des complexités des systèmes de systèmes dans l'ingénierie logicielle moderne.

Explore le rôle des aspects humains dans la modélisation logicielle et ses implications.

Évaluation des techniques de traduction d'images dans les tests de voitures autonomes.

De nouvelles méthodes améliorent la sécurité en mesurant la confiance dans les décisions des véhicules autonomes.

Cet article explore les biais dans les modèles de génération de code à travers différentes langues.