Skip to content

Category

software testing

3,291 papers

#software testing Open access Sep 2026

Light-Time Authority Lease Experiment (LTAL-2026-08-v1.0): Reproducibility Package for "When the Nearest Human Is Twenty Minutes Away"

This record contains the complete reproducibility package for the synthetic light-time authority-lease experiment reported in the IEEE Computer theme-article manuscript “When the Nearest Human Is Twenty Minutes Away.” The experiment evaluates three authority policies an optimistic delayed ground-mediated baseline, a re...

Burak Oktenli · 0 citations
#software testing Open access Sep 2026

The Missing Medium: A Transactional Residual Stream for Transformer Training

Modern training treats the transformer residual stream as an anonymous accumulator: any kernel may execute h += \delta, and no record of the write survives the step. Training observes the consequences of internal writes — loss curves, evaluations, activation probes — never the writes themselves. We introduce hytorch, a...

Hyphae Research Foundation, Mario Gutierrez · 0 citations
#software testing Open access Sep 2026

Hierarchical Topological Modeling for Software Verification

This paper introduces a novel system for hierarchical topological modeling of software, designed to automate verification of software correctness and stability across multiple levels of abstraction. Traditional verification methods are often fragmented and inefficient. Our system constructs a layered structure, where e...

Jincheng Zhang · 0 citations
#software testing Open access Sep 2026

Inheritance as a Linear Operator, and What Replaces It: From Punnett squares to a complete probabilistic kernel

This is a preprint. It has not been peer reviewed. A unified, audited and extended treatment of Mendelian inheritance modelling, in seven parts. Parts I and II preserve the mathematics of an earlier 54-page study of sickle-cell, ABO and ABO x Rh inheritance as linear algebra, and then audit it against its own MATLAB so...

Arshyia Mehran · 0 citations
#software testing Open access Sep 2026

taha-at/ATStereo: ATStereo v0.1.0-beta: Pre-Release Stereotactic Planning System

Overview Initial release of ATStereo, a 3D Slicer module designed for computer-assisted stereotactic neurosurgery planning, supporting the Abdelwahab stereotactic frame geometry. Key Features Dual-Isocenter Rigid Registration: Accurate anatomical-to-frame alignment with real-time RMSE validation. Bilateral Trajectory P...

Abdelrahman Taha · 0 citations
#software testing Open access Sep 2026

taha-at/ATStereo: ATStereo v0.1.0-beta: Pre-Release Stereotactic Planning System

Overview Initial release of ATStereo, a 3D Slicer module designed for computer-assisted stereotactic neurosurgery planning, supporting the Abdelwahab stereotactic frame geometry. Key Features Dual-Isocenter Rigid Registration: Accurate anatomical-to-frame alignment with real-time RMSE validation. Bilateral Trajectory P...

Abdelrahman Taha · 0 citations
#software testing Open access Sep 2026

hzhooning-art/DFSC: P4 JSS Submission Release v1.2

Guide-aligned release for submission to the Journal of Systems and Software. Highlights: 34-page single-column English manuscript with author-year references. Latest English and Chinese manuscripts plus supplementary material. Final Editorial Manager upload package, separate figures, graphical abstract, declarations, a...

hzhooning-art · 0 citations
#software testing Open access Sep 2026

Impossibilità di sporgere denuncia di accesso remoto illecito ai miei sistemi telematici e informatici

Studio di Caso su Compromissione Persistente di Sistemi Informatici, Vettori di Malvertising e Barriere Procedurali nel Deposito di Notizie di Reato Autore: Luigi UsaiAffiliazione: Ricercatore IndipendenteORCID: https://orcid.org/0009-0003-3001-717XData: 6 settembre 2026Tipologia documento: Case Report / Forensic Techn...

Luigi Usai · 0 citations
#software testing Open access Sep 2026

GRACE-LAKSA Public Verification Bundle

GRACE-LAKSA - FMLDS 2026 Verification Release This release provides the public verification artifacts accompanying the paper: GRACE-LAKSA: A Retrieval-Augmented Graph Framework for Long-Tail Civic Complaint Understanding and Routing Daffa Farras Putra Tarigan, Kevin Fransisco, Arya Swastika, and Evaristus Didik Madyatm...

Daffa Farras Putra Tarigan, Kevin Fransisco, Arya Swastika et al. · 0 citations
#software testing Open access Sep 2026

基于非线性动力学建模的程序行为预测

This paper explores the application of nonlinear dynamics modeling to predict program behavior within complex environments. Traditional approaches to program analysis often rely on linear approximations or simplified models, which can fail to capture the intricate and emergent behaviors that arise from non-linear inter...

Jincheng Zhang · 0 citations

Research on moisture content detection and distribution imaging of insulating paperboard based on terahertz technology

Moisture content in oil-paper insulation systems of power transformers serves as a critical indicator for assessing their insulation condition and aging degree. Traditional testing methods suffer from issues such as sample destruction, poor resistance to interference, and an inability to obtain images of moisture distr...

Unknown authors · 0 citations
#software testing Open access Sep 2026

CDACF Simulation: a stability-governed controller for cross-domain consensus selection (v4.0.0)

{ "title": "CDACF Simulation: a stability-governed controller for cross-domain consensus selection (v4.0.0)", "description": " Simulation code, seeds, analysis scripts and result files supporting the manuscript A Stability-Governed Controller for Cross-Domain Consensus Selection in Blockchain-Based Heterogeneous IoT De...

natrandom25 · 0 citations

From tech blogs

See all →
GPT-Lab Nov 3, 2026

Sovereignty Is the Option to Leave

Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.

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.

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