Articoli più recenti per Ingegneria del software

Questo documento esplora metodi migliori per valutare i modelli di generazione di codice usando l'inferenza causale.

Uno studio sulle prestazioni di tre algoritmi genetici nel refactoring del software.

Questo studio esamina come i limiti di tempo influenzano la qualità dell'ottimizzazione dei modelli software.

Presentiamo un framework per valutare le prestazioni degli LLM nei compiti dei grafi di conoscenza.

Concentrarsi sulla semplicità può migliorare la comprensione e l'efficacia dei modelli software.

Una tecnica per ridurre la dimensione del modello di codice senza compromettere le prestazioni.

Scopri un nuovo metodo per identificare bug nel calcolo quantistico.

Scopri come le varianti di programma possono migliorare la sicurezza di WebAssembly contro le vulnerabilità.

Valutare l'efficacia di ChatGPT nel parsing dei log, nell'analisi e nei compiti di sintesi.

LogShrink offre una compressione migliore per il costoso stoccaggio dei dati di log.

Immergiti negli elementi unici dell'ingegneria dei requisiti per il software quantistico.

MuST sfrutta la tecnologia GPU per migliorare i calcoli della struttura elettronica nei materiali solidi.

Scopri come gestire doActivities nelle macchine a stati UML in modo efficace.

La ricerca svela nuovi metodi per migliorare la dimostrazione dei teoremi usando modelli di linguaggio grandi.

ONNXExplainer offre spiegazioni rapide per le reti neurali, migliorando la trasparenza nell'IA.

Un nuovo modo per monitorare le reti neurali durante il funzionamento per garantire l'affidabilità.

Esplorare strumenti e metodi per analizzare sistemi influenzati dal tempo e dai parametri.

CodePrompt migliora la classificazione del codice di programmazione usando modelli di linguaggio pre-addestrati.

Esaminare l'impatto della pandemia sui ricercatori di ingegneria del software.

Uno sguardo a come combinare gli alberi comportamentali con Lingua Franca per un'automazione migliore.

Esplorare le sfide di verifica e le soluzioni per i programmi concorrenti in modelli di memoria deboli.

Uno sguardo alle tecniche di gestione della memoria per migliorare le prestazioni nelle applicazioni multi-thread.

Scopri come i tipi di sessione multiparte facilitano una comunicazione chiara nei sistemi complessi.

Presentiamo Z3alpha, un nuovo metodo per la generazione di strategie SMT usando il Monte Carlo Tree Search.

Introducendo un framework per rappresentazioni grafiche personalizzabili nell'analisi del codice.

Esplorare come ChatGPT può migliorare la qualità dei messaggi di commit nello sviluppo software.

Nuovi metodi migliorano il rilevamento delle vulnerabilità temporali nei design hardware.

Un nuovo metodo migliora l'efficienza dei test di regressione usando dati storici.

Un'analisi dei problemi di riproducibilità nella ricerca sulla previsione dei guasti nel software di deep learning.

KGroot migliora la diagnosi dei guasti nei microservizi grazie a grafi di conoscenza avanzati.

Un modello per valutare la qualità dei casi di test e delle suite per una maggiore affidabilità del software.

Un nuovo metodo allena i modelli di codice in modo efficace senza dipendere da simboli.

Scopri come il Green Coding promuove pratiche di sviluppo software sostenibili.

Esplora l'importanza dei requisiti di prestazione e dei test nei progetti software.

AutoRobust utilizza l'apprendimento per rinforzo per potenziare i sistemi di rilevamento malware contro le tattiche avversarie.

Scopri come i linguaggi ibridi migliorano la programmazione grazie all'integrazione testo-visuale.

Una recensione del ruolo del deep learning nel prevedere le configurazioni delle performance software.

Un nuovo metodo automatizzato aiuta gli sviluppatori a creare casi di test di sicurezza per le API RESTful.

I ricercatori hanno sviluppato una tecnica per aiutare il malware a evitare il rilevamento.

Nuovi metodi migliorano l'efficienza della verifica del software usando invarianti ausiliarie.