Informatique - Génie logiciel

La recherche examine comment les matériaux d'analyse aident à valider les menaces à la sécurité.

Cet article examine les méthodes de test pour garantir l'exactitude dans les bases de données graphiques.

CRQBench vise à mesurer le raisonnement des LLMs sur le code en utilisant des commentaires de revue de code du monde réel.

De nouvelles méthodes améliorent la génération de code pour les tâches d'automatisation avec des langages spécifiques au domaine.

HELP améliore l'analyse des logs pour une meilleure analyse et efficacité.

Nouveau outil qui combine l'analyse statique et dynamique pour de meilleures infos sur les revues de code.

Cette étude compare des modèles dépendants du temps et des techniques de ML pour prédire la dette technique de code.

Un nouveau système génère des modèles 3D de bâtiments à partir d'instructions en langage simple.

Une enquête met en avant les pratiques de sécurité clés et les obstacles que rencontrent les développeurs d'applications mobiles.

Une nouvelle approche pour améliorer les résumés de code en incluant du contexte essentiel.

Une nouvelle approche améliore les tests d'API REST en utilisant l'apprentissage par renforcement profond.

Un nouveau moteur d'exécution symbolique améliore l'analyse des binaires Wasm pour une sécurité renforcée.

Un aperçu des risques et des meilleures pratiques pour utiliser std::string_view.

Explorer des moyens efficaces pour lutter contre la montée des fausses infos.

Une nouvelle méthode pour améliorer l'attention dans la génération de code par des modèles de langage.

Une nouvelle approche utilisant des modèles de langage améliore la détection des bugs dans le développement logiciel.

Recherche sur la fusion d'adaptateurs spécifiques à des tâches pour améliorer l'efficacité de la réparation automatisée de programmes.

Une étude sur la nécessité d'un mécanisme de dépréciation dans les paquets logiciels Python.

Vulseye améliore la sécurité des contrats intelligents grâce à des tests de fuzz ciblés et des analyses.

La validation précoce évite des erreurs coûteuses dans des systèmes comme les dispositifs de santé.

Convertis facilement des documents PDF en formats lisibles comme JSON et Markdown.

Les outils de simulation sont essentiels pour développer et tester des technologies de mise en réseau quantique.

Une nouvelle méthode améliore la réparation de programmes en utilisant des retours basés sur le processus.

Une étude sur comment le CDD aide les développeurs novices à gérer la complexité du code.

Examiner les problèmes de la sécurité des types en Kotlin et les solutions possibles.

Une étude révèle comment les hyperparamètres influencent la qualité du code généré par les LLM.

Explorer les avantages et les défis éthiques de l'IA générative dans le codage.

Cet article examine une méthode pour évaluer l'exactitude du code généré par les LLM.

Une nouvelle méthode améliore la détection des prompts nuisibles dans les modèles de langage.

L'intégration de gros modèles de langage améliore la clarté des tests unitaires automatisés.

Utiliser Kubernetes et Jupyter Notebooks pour améliorer l'efficacité du développement quantique.

Une méthode méthodique pour convertir des unions en unions étiquetées en utilisant l'analyse statique.

Cet article examine comment ChatGPT a influencé les projets des étudiants dans une compétition de logiciels.

Examiner comment la propriété du code impacte la responsabilité et la qualité du logiciel.

Explorer les défis et les tendances de communication pour les développeurs et testeurs à distance.

Nouveau plugin qui facilite le marquage des images médicales 3D dans 3D Slicer.

Cette étude examine comment les stratégies de test influencent le succès de la livraison de logiciels.

Un benchmark multi-domaine évalue les capacités de génération de code des LLM dans différents domaines.

Ce papier parle de l'importance de générer des solutions de code diversifiées.

Un nouveau cadre utilise des modèles de langage puissants pour un patching logiciel efficace.