Questo studio valuta come i LLM possano migliorare il testing delle mutazioni nello sviluppo software.
― 5 leggere min
Scienza all'avanguardia spiegata semplicemente
Questo studio valuta come i LLM possano migliorare il testing delle mutazioni nello sviluppo software.
― 5 leggere min
Un nuovo metodo migliora la velocità di test e la rilevazione di errori nei programmi quantistici.
― 6 leggere min
Un nuovo approccio per migliorare il testing nei sistemi configurabili dando priorità alle funzionalità critiche.
― 7 leggere min
Un nuovo metodo migliora l'efficienza nella comprensione di sistemi complessi attraverso l'apprendimento adattivo.
― 6 leggere min
Un riepilogo del perché testare i contratti smart è fondamentale per la sicurezza e la funzionalità.
― 5 leggere min
Esplorare nuovi metodi per migliorare il testing dei videogiochi tramite automazione e intelligenza artificiale.
― 5 leggere min
Impara a replicare le funzioni software tramite il modeling del comportamento.
― 7 leggere min
Presentiamo un metodo che migliora la ricerca di bug nello sviluppo software in C.
― 6 leggere min
Una nuova tecnica migliora i test per il caricamento dei modelli nei compilatori di deep learning.
― 7 leggere min
Questa ricerca mostra come i modelli di linguaggio possano trovare bug nascosti nelle app per smartphone.
― 7 leggere min
Ap pWorld simula compiti reali per agenti AI in un ambiente controllato.
― 7 leggere min
Un nuovo metodo accelera i test del software concentrandosi su segmenti delle pagine web.
― 6 leggere min
Questo articolo analizza i difetti centrici dell' uomo nel software e suggerisce miglioramenti per la segnalazione.
― 7 leggere min
Un nuovo metodo per creare test E2E usando Modelli di Linguaggio Grandi.
― 8 leggere min
L'analisi del codice statico aiuta gli sviluppatori a trovare problemi presto nello sviluppo del software.
― 6 leggere min
Un approccio di machine learning migliora la previsione del comportamento del programma senza eseguirlo.
― 6 leggere min
Un nuovo strumento valuta la sicurezza e l'affidabilità dei modelli di linguaggio.
― 6 leggere min
Un nuovo metodo migliora i test per le reti neurali profonde concentrandosi sulle performance complessive.
― 5 leggere min
Questo articolo esamina i metodi di test per garantire l'accuratezza nei database a grafo.
― 6 leggere min
Questo studio confronta diversi LLM per trovare errori e rilevare vulnerabilità nel software.
― 6 leggere min
LiTelFuzz migliora il testing per i stormi di robot multipli, identificando i difetti in modo efficace.
― 5 leggere min
Lo studio valuta i modelli di linguaggio sulla loro capacità di generare codice per applicazioni web.
― 6 leggere min
Un approccio innovativo per semplificare i test UI per le app mobili usando il machine learning.
― 9 leggere min
Un nuovo approccio migliora l'esecuzione simbolica in Python usando un Modello di Linguaggio Grande.
― 6 leggere min
Un nuovo metodo migliora il testing dei DNN combinando la selezione delle caratteristiche con la prioritizzazione basata sull'incertezza.
― 6 leggere min
Uno sguardo all'applicazione delle metriche di testing MCDC nella programmazione Rust.
― 7 leggere min
vMocks semplifica la verifica formale, migliorando la sicurezza e l'affidabilità del software.
― 6 leggere min
Un nuovo metodo migliora la rilevazione dei bug nel software usando agenti LLM e una strategia di divide et impera.
― 8 leggere min
Esplorando come gli stati si relazionano attraverso i giochi nella informatica.
― 5 leggere min
Scopri come LoopSCC semplifica l'analisi dei loop complessi per un testing software migliore.
― 5 leggere min
Scopri come GOOD semplifica la programmazione e migliora la qualità del software.
― 6 leggere min
Impara metodi efficaci per monitorare il comportamento del sistema usando osservazioni limitate.
― 6 leggere min
SelectQA migliora la velocità e l'efficacia dei test software usando tecniche di calcolo quantistico.
― 6 leggere min
Un nuovo strumento risolve il problema dei pop-up bloccanti delle app durante i test automatici.
― 5 leggere min
Un dataset che permette ai modelli linguistici di generare test unitari per codice C++.
― 6 leggere min
Semplificare la rilevazione dei bug con tecniche di test creative, mescolando automazione e intuizione umana.
― 7 leggere min
Il trapianto ottimizza il fuzzing per il firmware MCU, migliorando velocità ed efficienza.
― 5 leggere min
Un nuovo approccio migliora l'analisi statica usando modelli linguistici per uno sviluppo software migliore.
― 6 leggere min
Rivoluzionare i test dei database con il machine learning e l'analisi SQL.
― 7 leggere min
Un nuovo framework di fuzz testing migliora la sicurezza e l'efficienza dei droni.
― 8 leggere min