Informatica - Ingegneria del software

Nuovi benchmark rivelano i punti di forza e di debolezza dei modelli di linguaggio di codice.

Combinare commenti in linguaggio naturale e struttura del codice migliora la rilevazione delle vulnerabilità.

Uno sguardo su come i robot possono lavorare insieme per la mappatura delle risorse spaziali.

Scopri come l'algoritmo NRP FD affronta le sfide di ridondanza nei sistemi di controllo.

Un'overview dell'algoritmo Raft per il consenso nei sistemi distribuiti.

Esplorando problemi e soluzioni proposte per i modelli di linguaggio del codice nell'identificazione delle vulnerabilità software.

Uno strumento per analizzare problemi di memoria nel codice C.

CoderUJB valuta le prestazioni dei LLM in compiti di programmazione Java nel mondo reale.

DeepSample offre tecniche efficaci per testare le Reti Neurali Profonde in modo efficiente e preciso.

Uno studio su come i Modelli Linguistici di Grandi Dimensioni possono migliorare la rilevazione di vulnerabilità nel software.

FT2Ra migliora l'efficienza del completamento del codice attraverso metodi di recupero senza dover riaddestrare completamente il modello.

Uno studio su come gli LLM gestiscono le variazioni nei prompt matematici.

Questa recensione delinea un framework per AIOps nella gestione degli incidenti.

Scopri come i LLM possono rendere la programmazione in C più sicura ed efficiente.

Uno studio sull'uso di codice non sicuro da parte degli sviluppatori in Rust.

Questo documento parla di come migliorare il comportamento del software attraverso i requisiti di vivacità.

EV2Gym aiuta i ricercatori a sviluppare soluzioni di ricarica smart avanzate per veicoli elettrici.

Esplorare il ruolo dell'IA generativa nel migliorare le pratiche di sicurezza del software.

Un nuovo modello migliora l'analisi del codice WebAssembly attraverso una comprensione dei dati misti.

Ehi, dai un'occhiata a WebSPL, un modo super organizzato per creare applicazioni web in modo efficiente.

Esplorare come gli AI-Tutor migliorano le esperienze di apprendimento della programmazione per gli studenti.

Il dataset ROBUST aiuta i ricercatori a risolvere problemi software nella robotica.

Una proposta per un'architettura di riferimento nell'ingegneria della conoscenza per migliorare l'efficienza dei sistemi.

Scopri come STPA e LTL creano sistemi più sicuri.

Uno studio rivela come le modifiche al codice influenzino le metriche di qualità del software.

Un approccio fresco per migliorare le prestazioni del software attraverso metodi di ottimizzazione dinamica.

Questo documento presenta un metodo di confronto tra alberi efficiente usando la risoluzione SAT.

Un nuovo metodo per velocizzare la riparazione dei modelli Stateflow e ridurre i costi.

Un nuovo metodo, DepGraph, migliora l'accuratezza nella rilevazione dei bug software.

Un'analisi di come gli sviluppatori implementano soluzioni architettoniche nei progetti open-source.

Uno sguardo approfondito a due strumenti di editing per lo sviluppo software.

L'industria automobilistica abbraccia soluzioni software-defined per migliorare le funzioni dei veicoli.

Un nuovo metodo sfrutta i LLM per automatizzare la correzione dei bug e l'aggiunta di funzionalità.

Questo articolo esamina come vengono raccolti i requisiti nei progetti software del governo.

MLRefScanner migliora il riconoscimento del refactoring del codice nei progetti di machine learning in Python.

Questo articolo esamina come gli sviluppatori vedono il finanziamento governativo nei progetti OSS come scikit-learn.

Uno studio sulla chiarezza e accettazione degli Attack-Defense Trees tra gli utenti.

Questo studio valuta quanto bene ChatGPT crea diagrammi di sequenza UML da requisiti in linguaggio naturale.

Una guida pratica per i ricercatori che usano metodi misti nell'ingegneria del software.

Uno sguardo a come i LLM riassumono il codice e i fattori che influenzano le loro prestazioni.