Questo articolo esplora come l'IA può semplificare la scrittura di asserzioni nel coding.
Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra
― 6 leggere min
Scienza all'avanguardia spiegata semplicemente
Questo articolo esplora come l'IA può semplificare la scrittura di asserzioni nel coding.
Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra
― 6 leggere min
Uno sguardo ai problemi comuni degli sviluppatori nelle applicazioni ibride quantistiche.
Jake Zappin, Trevor Stalnaker, Oscar Chaparro
― 7 leggere min
Uno sguardo ai crash dei notebook Jupyter e come prevenirli.
Yiran Wang, Willem Meijer, José Antonio Hernández López
― 6 leggere min
Una panoramica delle vulnerabilità software e dei modelli usati per rilevarle.
Shahriyar Zaman Ridoy, Md. Shazzad Hossain Shaon, Alfredo Cuzzocrea
― 7 leggere min
Un modo nuovo per rendere i robot più intelligenti e efficienti.
Oliver Biggar, Iman Shames
― 6 leggere min
Esplorare come i LLM migliorano la creazione di software mantenendo la fiducia.
Marco Vieira
― 7 leggere min
Uno studio sulle performance dei LLM nel campo dell'ingegneria del software.
Conor O'Brien, Daniel Rodriguez-Cardenas, Alejandro Velasco
― 6 leggere min
Scopri CodeGraphNet, un nuovo metodo per identificare le vulnerabilità nel software.
Md. Fahim Sultan, Tasmin Karim, Md. Shazzad Hossain Shaon
― 7 leggere min
Esaminando come la complessità del codice influisce sulla sicurezza nei contratti smart.
Masoud Jamshidiyan Tehrani, Sattar Hashemi
― 5 leggere min
Uno sguardo a come gli sviluppatori indie usano la Sperimentazione Continua.
Johan Linåker, Elizabeth Bjarnason, Fabian Fagerholm
― 9 leggere min
Feature-Factory semplifica l'aggiunta di nuove funzionalità ai software, facendo risparmiare tempo e fatica agli sviluppatori.
Ruslan Idelfonso Magana Vsevolodovna
― 5 leggere min
Abbiamo esaminato due scenari per sviluppare strumenti di sicurezza contro gli attacchi.
Samuele Pasini, Jinhan Kim, Tommaso Aiello
― 6 leggere min
Usare modelli di linguaggio grandi per migliorare la generazione di seed per fuzzing nei test software.
Wenxuan Shi, Yunhang Zhang, Xinyu Xing
― 5 leggere min
Scopri i micro frontend, i loro vantaggi e le sfide comuni.
Nabson Silva, Eriky Rodrigues, Tayana Conte
― 7 leggere min
Scopri come individuare e sistemare i problemi di sicurezza nel codice JavaScript.
Vikas Kambhampati, Nehaz Hussain Mohammed, Amin Milani Fard
― 6 leggere min
Scopri come i sistemi intelligenti organizzano dati complessi in modo efficiente.
Amir Tavanaei, Kee Kiat Koo, Hayreddin Ceker
― 6 leggere min
Un nuovo strumento abbina LLM e verifica formale per creare codice più sicuro.
Merlijn Sevenhuijsen, Khashayar Etemadi, Mattias Nyberg
― 6 leggere min
Metodi per verificare i circuiti quantistici assicurano che funzionino correttamente e in modo affidabile.
Benedikt Fauseweh, Ben Hermann, Falk Howar
― 7 leggere min
Un nuovo metodo aiuta gli sviluppatori a gestire meglio le relazioni di co-cambiamento nel software.
Yiping Jia, Safwat Hassan, Ying Zou
― 6 leggere min
Esplorare i limiti degli LLM nella generazione di Infrastructure as Code affidabile.
Mayur Amarnath Palavalli, Mark Santolucito
― 7 leggere min
Indagare sull'efficienza energetica e sulla precisione nei modelli di codifica AI per sviluppatori.
Negar Alizadeh, Boris Belchev, Nishant Saurabh
― 7 leggere min
Impara come affrontare i problemi di dereferenziazione di puntatori nulli nella sicurezza del software.
Md. Fahim Sultan, Tasmin Karim, Md. Shazzad Hossain Shaon
― 6 leggere min
Scopri come O1-CODER sta cambiando il modo in cui le macchine imparano a programmare.
Yuxiang Zhang, Shangxi Wu, Yuqi Yang
― 7 leggere min
Una panoramica della scoperta dei servizi e del ruolo di OpenAPI e LLM.
Robin D. Pesl, Jerin G. Mathew, Massimo Mecella
― 7 leggere min
Esaminando le barriere che incontrano le persone con disabilità nell'accesso alla tecnologia.
Liming Nie, Hao Liu, Jing Sun
― 5 leggere min
Creare percorsi stradali diversi migliora i test di sicurezza per i veicoli a guida autonoma.
Fan Yang, You Lu, Bihuan Chen
― 8 leggere min
Uno strumento pensato per semplificare la raccolta dei requisiti dalle conversazioni con gli stakeholder.
Gianmario Voria, Francesco Casillo, Carmine Gravino
― 6 leggere min
Uno sguardo ai punti di forza e di debolezza degli assistenti di codice avanzati.
Md Imran Hossen, Xiali Hei
― 4 leggere min
Un kit di strumenti che migliora l'educazione alla programmazione con una guida strutturata e feedback automatico.
Steffen Dick, Christoph Bockisch, Harrie Passier
― 6 leggere min
Evidenze sui bisogni e le aspettative degli ingegneri software riguardo agli strumenti per la rilevazione delle anomalie nei log.
Xiaoxue Ma, Yishu Li, Jacky Keung
― 8 leggere min
Scopri come affrontare le eccezioni di puntatore nullo con un nuovo approccio logico.
Jindae Kim, Jaewoo Song
― 6 leggere min
Un database per combattere i difetti di backdoor nei modelli di deep learning.
Yisong Xiao, Aishan Liu, Xinwei Zhang
― 10 leggere min
Scopri come il chaos engineering aiuta le aziende tech a gestire le sorprese nei loro sistemi.
Joshua Owotogbe, Indika Kumara, Willem-Jan Van Den Heuvel
― 6 leggere min
I modelli di linguaggio grandi migliorano le valutazioni della sintesi del codice con valutazioni creative.
Yang Wu, Yao Wan, Zhaoyang Chu
― 6 leggere min
Un nuovo strumento risolve il problema dei pop-up bloccanti delle app durante i test automatici.
Linqiang Guo, Wei Liu, Yi Wen Heng
― 5 leggere min
Integrare le Unità di Conoscenza può migliorare le previsioni sui difetti nello sviluppo software.
Md Ahasanuzzaman, Gustavo A. Oliva, Ahmed E. Hassan
― 6 leggere min
Un nuovo metodo migliora il modo in cui i robot apprendono comportamenti sicuri.
Changjian Zhang, Parv Kapoor, Ian Dardik
― 7 leggere min
TDD-Bench migliora la generazione automatica dei test per gli sviluppatori che usano metodi TDD.
Toufique Ahmed, Martin Hirzel, Rangeet Pan
― 7 leggere min
Un dataset che permette ai modelli linguistici di generare test unitari per codice C++.
Vaishnavi Bhargava, Rajat Ghosh, Debojyoti Dutta
― 6 leggere min
Scopri come i veicoli automatici si preparano per situazioni difficili.
Trung-Hieu Nguyen, Truong-Giang Vuong, Hong-Nam Duong
― 7 leggere min