Nuova piattaforma e dataset puntano a migliorare i modelli di fix dei bug per il kernel Linux.
― 8 leggere min
Informatica - Ingegneria del software
RSSResearchBot aiuta i dev tramite la connessione con spunti di ricerca accademica.
― 5 leggere min
Questo studio valuta quanto bene GPT-3.5 e GPT-4 rilevano i cloni di codice.
― 6 leggere min
Uno studio su come migliorare la sicurezza del codice generato dai modelli di IA.
― 7 leggere min
Scopri il drift nell'ML e come affrontarlo in modo efficace.
― 6 leggere min
Un nuovo framework migliora il process mining usando modelli di riferimento per le violazioni delle migliori pratiche.
― 6 leggere min
Un approccio formale per verificare la correttezza dei protocolli di consenso basati su DAG.
― 11 leggere min
Un framework a due fasi migliora l'inferenza dei tipi in Python, aumentando la qualità e l'efficienza del codice.
― 7 leggere min
Esplorando modelli di machine learning e nuovi dataset per una sicurezza migliore.
― 7 leggere min
I modelli di linguaggio avanzati migliorano il testing automatico delle app mobili, rilevando bug cruciali.
― 8 leggere min
Un nuovo strumento migliora il merging di Git analizzando le dipendenze del codice.
― 6 leggere min
Un nuovo framework affronta l'equità nelle reti neurali profonde durante il potatura dei modelli.
― 7 leggere min
Uno sguardo dettagliato su come i LLM gestiscono le trasformazioni nel codice.
― 6 leggere min
ESBMC-Python aiuta a verificare la correttezza del codice Python usando le annotazioni di tipo e il controllo modello limitato.
― 5 leggere min
Uno studio su come i LLM gestiscono le regole e i vincoli di programmazione.
― 4 leggere min
Un nuovo metodo migliora l'efficienza dei modelli linguistici riducendo costi e impatto ambientale.
― 8 leggere min
Scopri come i CFDG migliorano il testing del software chiarendo i percorsi decisionali.
― 6 leggere min
Uno sguardo alle classifiche dei modelli di fondazione e ai problemi di valutazione.
― 7 leggere min
Aggiornare i sistemi legacy è fondamentale per l'efficienza e la sicurezza delle aziende.
― 7 leggere min
Uno strumento veloce controlla i modelli BPMN per errori, garantendo processi aziendali fluidi.
― 5 leggere min
Questo documento presenta un framework per la generazione automatizzata di testbench usando LLM.
― 4 leggere min
NFARD offre metodi innovativi per proteggere i diritti d'autore dei modelli di deep learning.
― 7 leggere min
Synbciatr sistema automaticamente i test obsoleti nello sviluppo software.
― 7 leggere min
Questo studio esplora il ruolo dei layer feed-forward nei modelli di linguaggio codificato.
― 6 leggere min
Esplorando i problemi delle allucinazioni di codice nei modelli di programmazione AI.
― 6 leggere min
Questo studio esplora come gli elementi di gioco possano coinvolgere gli studenti nei contributi al software open source.
― 8 leggere min
Scopri come la ricerca-azione migliora le pratiche di ingegneria del software con collaborazione e riflessione.
― 6 leggere min
Scopri come l'etnografia migliora la comprensione nelle pratiche di ingegneria del software.
― 7 leggere min
Esplorando l'impatto della blockchain sull'Infrastruttura a Chiave Pubblica.
― 6 leggere min
Esaminando il ruolo delle tecniche di dropout nel migliorare l'equità nei DNN.
― 5 leggere min
Un'analisi delle risposte degli sviluppatori alla vulnerabilità Log4j e delle loro pratiche.
― 5 leggere min
Un riepilogo del perché testare i contratti smart è fondamentale per la sicurezza e la funzionalità.
― 5 leggere min
Esplora metodi per migliorare l'efficienza e l'accuratezza nei test di software.
― 6 leggere min
Esplorare nuovi metodi per migliorare il testing dei videogiochi tramite automazione e intelligenza artificiale.
― 5 leggere min
AFPNet offre un rilevamento migliorato delle vulnerabilità nei contratti intelligenti usando tecniche di deep learning.
― 6 leggere min
Uno sguardo ai metodi di analisi di WebAssembly per un'esecuzione sicura.
― 6 leggere min
CodeCSE migliora il collegamento tra codice e commenti usando l'apprendimento contrastivo per l'ingegneria del software.
― 7 leggere min
Metriche di performance efficaci sono fondamentali per le squadre agili per migliorare e adattarsi.
― 5 leggere min
Un nuovo design linguistico punta a migliorare il ragionamento e la chiarezza nello sviluppo software.
― 8 leggere min
Esplorare tecniche di mascheramento della grammatica per migliorare l'accuratezza nella generazione di codice.
― 6 leggere min