Informatique - Génie logiciel

Apprends comment les variantes de programmes peuvent améliorer la sécurité de WebAssembly contre les vulnérabilités.

Une nouvelle méthode améliore la génération de tests automatisés en se concentrant sur des objectifs de couverture clés.

Un nouveau cadre vise à améliorer la collecte et la compréhension des vulnérabilités logicielles.

Évaluer l'efficacité de ChatGPT dans l'analyse de logs, l'analyse et les tâches de résumé.

Cette étude examine à quel point les modèles de code comprennent les noms et l'utilisation des API.

Apprends comment les LLMs simplifient la création et l'évaluation de code Verilog.

Une nouvelle méthode vise à réduire les temps de compilation dans les tâches d'informatique quantique.

Découvre comment ChatGPT peut simplifier le processus de révision de code dans le développement logiciel.

Cet article parle de nouvelles méthodes pour vérifier la sécurité des données dans les systèmes concurrents.

Utiliser des modèles de langage avancés pour simplifier les processus de vérification de conception matérielle.

Une nouvelle méthode pour corriger les bugs logiciels en utilisant des modèles de langage pour sélectionner le code source.

La méthode EditAS améliore la génération d'assertions pour de meilleurs résultats en tests unitaires.

Découvre comment l'intégration continue améliore la qualité des logiciels et la collaboration d'équipe.

Testaro simplifie les tests d'accessibilité en combinant plusieurs outils en un seul processus fluide.

EGFE améliore le processus d'organisation des éléments de design UI pour une meilleure qualité de code.

Une approche ciblée pour identifier rapidement les bugs logiciels grâce à des tests ciblés.

LogShrink propose une compression améliorée pour le stockage coûteux des données de logs.

Une nouvelle bibliothèque pour créer et gérer des ensembles de données de labyrinthes en apprentissage machine.

Examiner comment des exigences de haute qualité influencent le succès des projets logiciels.

Une nouvelle approche améliore l'entraînement des modèles de substitution dans le développement logiciel.

Examiner le lien entre les pratiques d'architecture logicielle et les efforts de durabilité.

une nouvelle méthode pour prédire les retards dans les projets agiles en utilisant des données en temps réel.

Comprendre l'impact de la dette technique sur les start-ups de logiciels et leurs processus de développement.

Les SBOM sont super importantes pour suivre les composants logiciels et améliorer la sécurité.

Trusta et les TDT améliorent le processus de création de cas de garantie pour la sécurité des systèmes.

Une nouvelle architecture MLOps intègre des explications pour améliorer la confiance et l'efficacité des modèles ML.

Un aperçu de la performance de GPT-4 et GPT-3.5 dans les tâches de programmation.

Plonge dans les éléments uniques de l'ingénierie des exigences pour les logiciels quantiques.

Les systèmes intelligents doivent évoluer pour gérer l'incertitude dans des environnements en temps réel.

Découvre comment le NLP simplifie l'ingénierie des exigences pour le développement logiciel.

Un aperçu des vulnérabilités des contrats intelligents et le rôle de l'analyse d'intervalle.

Une étude sur les tests des systèmes de contrôle pour le robot éducatif E-puck.

Une nouvelle méthode améliore la traduction du code assembleur, facilitant la maintenance des logiciels.

Cet article examine les pratiques de gouvernance dans les communautés de logiciels open source.

Apprends à gérer les doActivities dans les machines d'état UML efficacement.

Découvrez comment DevOps et InnerSource soutiennent la réutilisation efficace des microservices dans les grandes entreprises.

Des recherches montrent les éléments clés qui influencent les résultats des offres de primes Gitcoin.

Un nouveau système utilise l'apprentissage automatique pour automatiser l'optimisation de code directement à partir du code source.

Cette étude met en avant l'efficacité de CodeT5 pour suggérer des modifications de code minimales pour corriger des bugs.

T5APR améliore la correction de bugs dans plusieurs langages de programmation grâce à des techniques avancées d'apprentissage machine.