Skip to content

Category

software testing

3,200 papers

#software testing Open access Sep 2026

Deadline-Aware Runtime Assurance for Autonomous Mobile Robots Under Sensor Degradation

This research monograph develops a joint sensing-and-execution recoverability formulation for autonomous mobile robots. A conservative braking supervisor combines bounded localisation uncertainty, measurement age, outstanding commands and computation delays to determine an admissible speed and intervention budget. The...

Sajeevan Veeriah · 0 citations
#software testing Open access Sep 2026

Auditing the Rules of Belief: Self-Referential Epistemic Revision under Formative Training

Training can change more than what an artificial system answers. It can also change how the system weighs evidence, trusts sources, generalizes rules, reports internal states, and represents the very variables an auditor later attempts to compare. This paper studies the resulting problem as **Formative Epistemic Audit...

Hongju Liu · 0 citations
#software testing Open access Sep 2026

Deadline-Aware Runtime Assurance for Autonomous Mobile Robots Under Sensor Degradation

This research monograph develops a joint sensing-and-execution recoverability formulation for autonomous mobile robots. A conservative braking supervisor combines bounded localisation uncertainty, measurement age, outstanding commands and computation delays to determine an admissible speed and intervention budget. The...

Sajeevan Veeriah · 0 citations
#software testing Open access Sep 2026

Computational Framework for Zbus Matrix Construction in Power Systems Based on Case-Based Algorithms

The analysis of Electric Power Systems requires computational tools capable of handling admittance and impedance matrices accurately and efficiently. This work presents the development and implementation of MATLAB software for the construction of Ybus and Zbus matrices using the Zbus building algorithm together with Kr...

Carlos Daniel Zamora Pérez, Adael Amaury Ángeles López, M. O. Ordaz Oliver et al. · 0 citations
#software testing Open access Sep 2026

From TRAJEXA to Jev-Typed Question Proposals: A Methods Note on User-Controlled Decision-Support Export

This standalone methods note describes a user-controlled route from TRAJEXA personal-exploration data to inspectable typed-question proposals for Jev. It preserves distinctions among self-reports, recollections, imagination and participant-recorded trial outcomes, retaining evidence references, missingness, corrections...

Ryoko Sakakibara · 0 citations
#software testing Open access Sep 2026

From TRAJEXA to Jev-Typed Question Proposals: A Methods Note on User-Controlled Decision-Support Export

This standalone methods note describes a user-controlled route from TRAJEXA personal-exploration data to inspectable typed-question proposals for Jev. It preserves distinctions among self-reports, recollections, imagination and participant-recorded trial outcomes, retaining evidence references, missingness, corrections...

Ryoko Sakakibara · 0 citations
#small language model Open access Sep 2026

An Interactive Computational Tool Using the Gauss-Seidel Method for Power Flow Analysis in Electrical Engineering Education

The development and implementation of an interactive computational tool in MATLAB for power flow analysis is presented. The software addresses the challenges of modeling electric power systems under complex topologies and incomplete data. By applying the iterative Gauss-Seidel method, which optimizes computational load...

Adael Amaury Ángeles López, Carlos Daniel Zamora Pérez, Julio Noel Pacheco Serrano et al. · 0 citations
#software testing Review Open access Sep 2026

A Review of Research on the Development of Artificial Intelligence Programming Agent-Assisted Software

This paper adopts a structured narrative review method to review the research progress from the aspects of code-based models, agent control mechanisms, repository-level systems, evaluation benchmarks, and human-computer collaboration evidence, and compares the research scope and analysis focus with existing reviews on...

Yu-Zhen Li · 0 citations
#software testing Review Open access Sep 2026

Perancangan Sistem Informasi Reservasi dan Manajemen Kos-Kosan Berbasis Website Dengan Metode Agile

A web-based information system that integrates online reservations, room availability, tenant management, payment management, survey scheduling, and facility damage reporting is designed to support more efficient reservation and boarding house management at this scale.

Selestina Didi Irmaya, Afif Efendi · 0 citations
#software testing Open access Sep 2026

Synthesis and characterization of selected new thiazolidine-2,4-diones derivatives: SwissADME and density-functional-theory analysis

All newly synthesized thiazolidine-2,4-dione derivatives showed encouraging therapeutic potential according to in silico studies, suggesting that they might be a possible therapeutic target.

Bushra Ansari, M. S. Jan, Abdul Saboor Pirzada et al. · 0 citations
#software testing Open access Sep 2026

C-SDVR: Action Semantics for Contract-Aware Recovery in Repository Agents — Research Artifact

Research artifact accompanying manuscript V8.8, C-SDVR: Action Semantics for Contract-Aware Recovery in Repository Agents. The study characterizes when a second recovery seed produces a redundant or distinct projected candidate and evaluates fair fixed-action recovery controls. It does not establish practical success-r...

Xiuchi Sun · 0 citations
#software testing Open access Sep 2026

Preoperative predictive factors for opaque bubble layer formation and area during small-incision lenticule extraction: predictive models based on machine learning

The ML models showed exploratory predictive ability for OBL occurrence and area during SMILE using preoperative and surgical-planning parameters but external validation and recalibration in consecutive cohorts with a natural OBL prevalence are required before clinical use.

Chu-Zhi Peng, Xi Chen, Ying Yang 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.