Scopri perché verificare il software è fondamentale per la sua affidabilità e la fiducia degli utenti.
Daniel Baier, Dirk Beyer, Po-Chun Chien
― 6 leggere min
Scienza all'avanguardia spiegata semplicemente
Scopri perché verificare il software è fondamentale per la sua affidabilità e la fiducia degli utenti.
Daniel Baier, Dirk Beyer, Po-Chun Chien
― 6 leggere min
Articoli più recenti
Kartik Kaushik, Raju Halder, Samrat Mondal
― 6 leggere min
Ying Sun, Xiao Wang, Hanchuan Xu
― 8 leggere min
Xufeng Yao, Yiwen Wang, Xing Li
― 9 leggere min
Rangeet Pan, Myeongsoo Kim, Rahul Krishna
― 8 leggere min
Malte Hansen, Heiko Bielfeldt, Armin Bernstetter
― 5 leggere min
Uno studio sull'efficacia di diversi modelli di linguaggio nei compiti di parsing dei log.
Merve Astekin, Max Hort, Leon Moonen
― 5 leggere min
Un'analisi degli strumenti di testing dell'equità per gli sviluppatori software.
Thanh Nguyen, Luiz Fernando de Lima, Maria Teresa Badassarre
― 5 leggere min
Questo articolo esplora come identificare e gestire i bias nell'IA per risultati equi.
Ronnie de Souza Santos, Luiz Fernando de Lima, Maria Teresa Baldassarre
― 5 leggere min
PoTo migliora l'analisi statica per Python, aumentando la qualità del codice e l'inferenza dei tipi.
Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart
― 7 leggere min
Scopri come le pratiche di sicurezza possono migliorare lo sviluppo software e ridurre i rischi.
Ricardo M. Czekster
― 7 leggere min
Un nuovo framework unisce ricerca di codice, generazione e riparazione per una programmazione più efficiente.
Quanjun Zhang, Chunrong Fang, Ye Shang
― 7 leggere min
Uno sguardo a come il machine learning aiuta a identificare il debito tecnico nello sviluppo software.
Eric L. Melin, Nasir U. Eisty
― 6 leggere min
Uno studio mostra come combinare modelli migliori l'accuratezza dei test del software.
Sheikh Md. Mushfiqur Rahman, Nasir U. Eisty
― 6 leggere min
Uno studio sui problemi di sicurezza affrontati dagli utenti di Kubernetes negli ultimi quattro anni.
J. Alexander Curtis, Nasir U. Eisty
― 5 leggere min
Un nuovo sistema migliora il rilevamento dei bug nei contratti smart.
Sally Junsong Wang, Jianan Yao, Kexin Pei
― 5 leggere min
Uno studio sulla freschezza e la scadenza dei pacchetti Ubuntu.
Shane K. Panter, Luke Hindman, Nasir U. Eisty
― 6 leggere min
Mettere in evidenza le esperienze dei contributori trans nelle comunità open source.
Hana Frluckaj, James Howison, Laura Dabbish
― 6 leggere min
Un nuovo metodo migliora la qualità del codice prodotto dai modelli di linguaggio.
Shuai Wang, Liang Ding, Li Shen
― 4 leggere min
KModels permette alle aziende di implementare facilmente modelli di intelligenza artificiale senza bisogno di conoscenze tecniche approfondite.
Roy Abitbol, Eyal Cohen, Muhammad Kanaan
― 7 leggere min
Lo studio valuta i modelli di linguaggio sulla loro capacità di generare codice per applicazioni web.
Yi Cui
― 6 leggere min
Uno studio su come i valori culturali influenzano l'adozione degli LLM da parte degli ingegneri software.
Stefano Lambiase, Gemma Catolino, Fabio Palomba
― 9 leggere min
Un nuovo framework migliora la generazione del codice usando i principi del pair programming.
Huan Zhang, Wei Cheng, Yuhan Wu
― 8 leggere min
Un nuovo sistema migliora lo sviluppo software con un approccio flessibile e multi-agente.
Huy Nhat Phan, Tien N. Nguyen, Phong X. Nguyen
― 7 leggere min
Esplorare come l'IA migliora il processo di ingegneria dei requisiti nello sviluppo software.
Haowei Cheng, Jati H. Husen, Sien Reeve Peralta
― 4 leggere min
Un nuovo metodo permette di calcolare rapidamente lo stato dei processi aziendali usando i log degli eventi.
David Chapela-Campa, Marlon Dumas
― 5 leggere min
Esplora come i modelli di linguaggio grandi aiutano nella manutenzione dei test software.
Ludvig Lemner, Linnea Wahlgren, Gregory Gay
― 8 leggere min
Esaminando come i programmi di bug bounty migliorano la sicurezza nei progetti open-source.
Jessy Ayala, Steven Ngo, Joshua Garcia
― 6 leggere min
Esaminare come i manutentori di OSS affrontano efficacemente le sfide di sicurezza.
Jessy Ayala, Yu-Jye Tung, Joshua Garcia
― 5 leggere min
Impara a prevedere le prestazioni del software usando un nuovo framework di apprendimento divisivo.
Jingzhi Gong, Tao Chen, Rami Bahsoon
― 6 leggere min
Un nuovo strumento offre feedback veloce per i compiti di programmazione.
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
― 7 leggere min
RePlay semplifica la creazione e il test di sistemi di raccomandazione per ricercatori e professionisti.
Alexey Vasilev, Anna Volodkevich, Denis Kulandin
― 5 leggere min
Quest'articolo mette in evidenza l'importanza di un design software efficace nei robot diserbanti.
Laura Pomponio, Maximiliano Cristiá, Estanislao Ruiz Sorazábal
― 7 leggere min
Una buona ingegneria dei requisiti è fondamentale per il successo delle tecnologie AI.
Umm-e- Habiba, Markus Haug, Justus Bogner
― 6 leggere min
Scopri come i LLM automatizzano il riepilogo delle recensioni delle app degli utenti.
Faiz Ali Shah, Ahmed Sabir, Rajesh Sharma
― 7 leggere min
Impara a comunicare la ricerca in modo efficace con una scrittura scientifica ben strutturata.
Oishik Chatterjee, Pooja Aggarwal, Suranjana Samanta
― 6 leggere min
Esplorando la sicurezza e la conformità nelle tecnologie sanitarie guidate dall'IA.
Tuomas Granlund, Vlad Stirbu, Tommi Mikkonen
― 8 leggere min
Indagare le difficoltà che affrontano gli sviluppatori quando creano app mobili accessibili.
Amila Indika, Christopher Lee, Haochen Wang
― 6 leggere min
Esaminando i problemi di sicurezza che devono affrontare gli sviluppatori di app mobili su Stack Overflow.
Timothy Huo, Ana Catarina Araújo, Jake Imanaka
― 7 leggere min
Esplorare i vantaggi di un approccio basato su modelli per la gestione del rischio informatico.
Christophe Ponsard
― 7 leggere min
Un approccio innovativo per semplificare i test UI per le app mobili usando il machine learning.
Sidong Feng, Haochuan Lu, Jianqin Jiang
― 9 leggere min
Scopri strategie chiave per gestire risorse condivise nella programmazione concorrente.
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
― 5 leggere min
Un nuovo approccio migliora l'esecuzione simbolica in Python usando un Modello di Linguaggio Grande.
Wenhan Wang, Kaibo Liu, An Ran Chen
― 6 leggere min
Nuovo metodo aumenta fiducia e chiarezza nei processi di verifica del software.
Nick Feng, Lina Marsso, Marsha Chechik
― 8 leggere min
Un nuovo metodo migliora il testing dei DNN combinando la selezione delle caratteristiche con la prioritizzazione basata sull'incertezza.
Jialuo Chen, Jingyi Wang, Xiyue Zhang
― 6 leggere min
Nuovo metodo migliora il rilevamento dei difetti di prodotto nella produzione usando il deep learning.
Altaf Allah Abbassi, Houssem Ben Braiek, Foutse Khomh
― 7 leggere min