Skip to content

Category

software testing

3,200 papers

#artificial intelligence Preprint Sep 2026

A Simulation Platform for AUV Fault Recovery: Exploring LLM-Based Diagnostic Strategies

Autonomous underwater vehicles (AUVs) operating beyond reliable communications must recover from failures without human intervention. We investigate an architecture in which conventional deterministic layered control autonomy manages normal operations, while an invokable large language model (LLM) serves as a diagnosti...

Khalid Halba, Kylie Cooper, J. Bellingham · 0 citations
#artificial intelligence Open access Sep 2026

Efficiently Distributed Federated Learning

This research addresses two main aspects that are key to Machine Learning (ML) software: customizability and performance by implementing an open-source FL framework named FastFederatedLearning (FFL), implemented in C/C++, focusing on code performance.

Gianluca Mittone, Robert Birke, Marco Aldinucci · 1 citation
#artificial intelligence Review Sep 2026

Long-horizon autoformalization of a core theorem underlying MIP* = RE

Landmark mathematical formalizations have taken specialist teams years to complete. We present FormalFlow, a system that coordinates AI proving agents under human supervision to address statement drift and proof composition in long-horizon formalization. Drawing on software engineering principles and practices, it uses...

Si-Rui Lu, Ruixuan Deng, Yan-Qiao Zhu et al. · 0 citations
#software testing Review Open access Sep 2026

Association between the triglyceride glucose-body mass index and the risk of incident type 2 diabetes: a systematic review and meta-analysis

A meta-analysis reveals a possible association between elevated TyG-BMI and higher risk of incident T2D in the general population and indicates that TyG-BMI may represent a potential marker associated with T2D risk stratification, although further studies are required to determine its clinical applicability.

Bo Dai, Hang Yu, Hao-Tian Qi et al. · 0 citations
#software testing Open access Sep 2026

Dry Selection and Wet Evaluation of New 1,2-Disubstituted Nitroindazolin-3-One Derivatives as Promising Agents Against Trypanosoma cruzi

Background/Objectives: Chagas disease is endemic to 21 Latin American countries and is a great public health problem. Current chemotherapy remains unsatisfactory; consequently, the need to search for new drugs persists. The aim of this work is to develop a machine learning computational model, which allows the identifi...

Juan A. Castillo‐Garit, Josué Pozo-Martínez, Esteban Rocha-Valderrama et al. · 0 citations
#software testing Open access Sep 2026

Implementasi Pengembangan Aplikasi Security Clearance dan Pengajuan ID Card Bandara Berbasis Web

The administration of Security Clearance applications and restricted access ID Card issuance in airport environments currently faces significant operational obstacles due to conventional procedures relying on manual paper forms and physical archives. These real-world challenges include high risks of applicant data inac...

Muh. Batni Mukharroro, Mujib Ridwan · 0 citations
#software testing Open access Sep 2026

TRAFFICGEN: a multi-agent LLM orchestration for smart mobility and emergency corridor pre-emption

The quantitative results show the effectiveness of zero-shot semantic LLM orchestration compared to other LLM controllers with heuristic rules and paves the way for traffic management to move beyond black-box numerical paradigms and into explainable decision-making.

Gaurav Soni, Ganesh Khekare, Yash Kumar et al. · 0 citations
#software testing Open access Sep 2026

Peningkatan Hasil Belajar Siswa dalam Menentukan Kalimat Utama pada Teks Paragraf Melalui Media Flash Card Kelas IV SDN Manjalling Kabupaten Gowa

This study aims to improve student learning outcomes in identifying the main idea of ​​a paragraph using flashcards in the fourth-grade class at SDN Manjalling, Gowa Regency. The study employs a quantitative approach using a pre-experimental method and a one-group pretest-posttest design. The research subjects consiste...

Andi Syamsul Alam, Muhammad Dahlan, Hanana Muliana et al. · 0 citations
#software testing Open access Sep 2026

The efficacy of eye movement desensitization and reprocessing on aggression and self-esteem in children with attention-deficit/hyperactivity disorder: a randomized controlled trial

Attention-Deficit/Hyperactivity Disorder (ADHD) is the most common neurodevelopmental and psychological disorder in children. Reducing aggression and enhancing self-esteem are key approaches to helping these children adapt to their challenges. One potentially effective therapeutic intervention in this context is Eye Mo...

Nasrin Alizadeh, Mohammad Behnammoghadam, Zohre Karimi et al. · 0 citations
#diffusion models Open access Sep 2026

White and gray matter diffusion-derived differences in type 2 diabetes mellitus: a free-water-corrected diffusion MRI study

T2DM-related diffusion abnormalities persisted after free-water correction, whereas no skeleton-wide between-group difference in the estimated FW was detected, and integrating FWE with complementary spatial analyses of WM and cortical GM may help characterize diffusion-derived brain phenotypes and their clinical correl...

Dan-Dan Lin, Jian-Ping Zheng, Tai-Peng Zeng et al. · 0 citations
#software testing Open access Sep 2026

Evaluation of an Established Semi-Quantitative Chest CT Scoring System for Assessing the Severity of COVID-19 Pneumonia: What Is Its Diagnostic Value Regarding Patient Outcomes?

Background/Objectives: Investigation of whether visual and AI-based assessments of the severity of COVID-19 pneumonia using an established semi-quantitative chest CT scoring system (Pan score) correlate with laboratory parameters as well as pulmonary function, and of the score’s diagnostic value in predicting the patie...

Anna J. Höink, Simon T. Scherfeld, Anna Movlilishvili et al. · 0 citations

From tech blogs

See all →
Microsoft Research Blog Oct 30, 2026

From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence

Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.

Microsoft Research Blog Oct 29, 2026

Microsoft Research Focus – Edition #97

Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.

Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.