Articoli più recenti per Sviluppo Software

Combinare il fuzzing e i modelli linguistici per migliorare l'efficienza dei test software.

DafnyBench fa il benchmark degli strumenti di verifica del software, aprendo la strada a una programmazione affidabile.

Un nuovo strumento migliora l'analisi statica con grafici semplificati e machine learning.

Un nuovo approccio migliora l'affidabilità dei test per le librerie di deep learning.

Nuovo software migliora il tracciamento e l'analisi dei comportamenti e dell'attività dei C. elegans.

AlabOS semplifica i flussi di lavoro per i laboratori automatizzati, migliorando l'efficienza nella ricerca sui materiali.

Un approccio bilingue migliora la correttezza mantenendo la velocità nella programmazione.

I grandi modelli linguistici migliorano il testing differenziale nello sviluppo software.

Esplora come l'IA sta trasformando le pratiche e i ruoli nell'ingegneria del software.

CamTrol permette un facile controllo del movimento della camera nei video generati senza bisogno di allenamenti complicati.

Lo studio esplora l'analisi statica per migliorare il completamento del codice a livello di repository.

Questo studio valuta come i LLM possano migliorare il testing delle mutazioni nello sviluppo software.

Esaminando l'impatto delle API deprecate sui suggerimenti di codice LLM.

Esplorare come GenAI influisce sulle pratiche di ingegneria del software e cosa rimane invariato.

Un nuovo metodo migliora l'efficienza nel salvare gli stati del modello durante l'allenamento.

easybio semplifica il labeling delle cellule singole usando CellMarker2.0 per un'analisi più veloce.

Un sistema che usa i principi Agile per migliorare l'efficienza nello sviluppo software e la collaborazione.

Un nuovo approccio combina conoscenza e tecnologia per migliorare la rilevazione delle vulnerabilità nei software.

L'AI semplifica la creazione di diagrammi delle classi, aumentando l'efficienza e la precisione nel design software.

Questo report mette in evidenza le lacune nell'insegnamento dell'accessibilità digitale nei programmi di informatica in India.

Un nuovo metodo trova i bug di prestazione nei framework di DL in modo efficiente.

Esaminando i limiti dei modelli di linguaggio grandi nella comprensione delle relazioni nel codice.

RepoExec valuta le prestazioni della generazione di codice a livello di repository.

Un framework migliora la generazione di codice per linguaggi specializzati usando la documentazione.

Affrontare il problema dell’avvio a freddo con nuove tecniche di profilazione per migliorare le prestazioni delle app.

Un nuovo strumento usa il machine learning per rilevare i bug delle prestazioni in modo efficace.

Esaminare la memorizzazione nei modelli di completamento del codice e le sue implicazioni sulla privacy.

Un nuovo modello a doppio trasformatore migliora le previsioni sui tempi di esecuzione dall'analisi del codice sorgente.

Esplora come l'ordine dei modelli migliora i layout dei diagrammi e cattura l'intento dell'utente.

Uno studio sulla capacità di Copilot di generare codice in diversi linguaggi di programmazione.

Questo articolo esplora metodi per calcolare l'energia dello stato fondamentale usando la programmazione quantistica.

Un nuovo set di dati migliora l'efficienza della ricerca di codice per gli sviluppatori che usano query in linguaggio naturale.

Nuovi metodi migliorano le previsioni concentrandosi sulla funzionalità del codice invece che sui nomi delle variabili.

I replay clock migliorano l'analisi e il debugging nei sistemi distribuiti.

APPL semplifica lo sviluppo con modelli di linguaggio grandi usando una sintassi intuitiva, simile a Python.

Un tool che usa l'AI aiuta a identificare le impostazioni di configurazione chiave per le prestazioni del software.

Questo documento esamina i rischi e i problemi di manutenzione con le estensioni di Chrome.

Uno sguardo ai test basati su scenari per valutare i modelli di generazione di codice.

Affrontare le preoccupazioni sulla sicurezza del codice prodotto da grandi modelli di linguaggio.

Una nuova strategia di difesa per i LLM contro gli attacchi backdoor.