Cette étude évalue comment les LLM peuvent améliorer les tests de mutation dans le développement logiciel.
― 6 min lire
La science de pointe expliquée simplement
Cette étude évalue comment les LLM peuvent améliorer les tests de mutation dans le développement logiciel.
― 6 min lire
Une nouvelle méthode améliore la vitesse de test et la détection de défauts dans les programmes quantiques.
― 7 min lire
Une nouvelle approche pour améliorer les tests dans les systèmes configurables en priorisant les fonctionnalités critiques.
― 8 min lire
Une nouvelle méthode améliore l'efficacité dans la compréhension des systèmes complexes grâce à l'apprentissage adaptatif.
― 8 min lire
Un aperçu de pourquoi tester des smart contracts est super important pour la sécurité et la fonctionnalité.
― 5 min lire
Explorer de nouvelles méthodes pour améliorer les tests de jeux vidéo grâce à l'automatisation et à l'IA.
― 7 min lire
Apprends à reproduire les fonctions d'un logiciel grâce à la modélisation du comportement.
― 9 min lire
Présentation d'une méthode qui améliore la détection de bugs dans le développement de logiciels en C.
― 7 min lire
Une nouvelle technique améliore les tests de chargement de modèles dans les compilateurs de deep learning.
― 9 min lire
Cette étude montre comment les modèles de langage peuvent dénicher des bugs cachés dans les applis mobiles.
― 9 min lire
Ap pWorld simule des tâches réelles pour les agents IA dans un environnement contrôlé.
― 9 min lire
Une nouvelle méthode accélère les tests de logiciels en se concentrant sur des segments de pages web.
― 7 min lire
Cet article examine les défauts centrés sur l'humain dans les logiciels et propose des améliorations pour les signalements.
― 8 min lire
Une nouvelle méthode pour créer des tests E2E en utilisant des grands modèles de langue.
― 10 min lire
L'analyse statique du code aide les développeurs à repérer les problèmes tôt dans le développement de logiciels.
― 7 min lire
Une approche d'apprentissage automatique améliore la prédiction du comportement des programmes sans exécution.
― 8 min lire
Un nouvel outil évalue la sécurité et la fiabilité des modèles linguistiques.
― 7 min lire
Une nouvelle méthode améliore les tests des réseaux de neurones profonds en se concentrant sur la performance globale.
― 6 min lire
Cet article examine les méthodes de test pour garantir l'exactitude dans les bases de données graphiques.
― 7 min lire
Cette étude compare différents LLM pour trouver des bugs et détecter des vulnérabilités dans les logiciels.
― 7 min lire
LiTelFuzz améliore les tests pour les essaims de robots, identifiant les défauts efficacement.
― 6 min lire
L'étude évalue les modèles linguistiques sur leur capacité à générer du code d'application web.
― 8 min lire
Une nouvelle approche pour simplifier les tests UI des applis mobiles en utilisant l'apprentissage automatique.
― 11 min lire
Une nouvelle approche améliore l'exécution symbolique en Python grâce à un grand modèle de langage.
― 8 min lire
Une nouvelle méthode améliore le test des DNN en combinant la sélection de caractéristiques avec une priorisation basée sur l'incertitude.
― 8 min lire
Un aperçu de l'application des métriques de test MCDC dans la programmation Rust.
― 8 min lire
vMocks simplifie la vérification formelle, améliorant la sécurité et la fiabilité des logiciels.
― 7 min lire
Une nouvelle méthode améliore la détection de bugs dans les logiciels en utilisant des agents LLM et une stratégie de division et conquête.
― 9 min lire
Explorer comment les États interagissent à travers des jeux en informatique.
― 6 min lire
Découvrez comment LoopSCC simplifie l'analyse des boucles complexes pour améliorer les tests logiciels.
― 6 min lire
Découvrez comment GOOD simplifie la programmation et améliore la qualité des logiciels.
― 8 min lire
Apprends des méthodes efficaces pour surveiller le comportement du système avec des observations limitées.
― 8 min lire
SelectQA améliore la vitesse et l'efficacité des tests logiciels en utilisant des techniques de calcul quantique.
― 7 min lire
Un nouvel outil résout le problème des pop-ups bloquants d'applications pendant les tests automatiques.
― 6 min lire
Un ensemble de données qui permet aux modèles de langage de générer des tests unitaires pour le code C++.
― 7 min lire
Simplifier la détection de bugs avec des techniques de test créatives, en mêlant automatisation et intuition humaine.
― 8 min lire
La transplantation optimise le fuzzing pour le firmware des MCU, améliorant la vitesse et l'efficacité.
― 6 min lire
Une nouvelle approche améliore l'analyse statique en utilisant des modèles de langage pour un meilleur développement logiciel.
― 7 min lire
Révolutionner les tests de bases de données avec l'apprentissage automatique et l'analyse SQL.
― 9 min lire
Un nouveau cadre de test de fuzz améliore la sécurité et l'efficacité des drones.
― 10 min lire