Skip to content

Category

software testing

3,195 papers

#software testing Open access Sep 2026

The Design of Private Property — From Fixed Coordinates to Intelligent Matter

Private property organizes who may inhabit, exclude, transform, transfer and benefit from resources. Housing gives these powers unusual force because private life depends on continuous access to a structure, a location and essential services. Five millennia of recorded arrangements show repeated changes in the distribu...

Gonçalo Melo de Magalhães · 0 citations
#software testing Open access Sep 2026

When does self-duality cause physics? A machine-checked criterion, tested across fifteen candidate physical systems, an interventional experiment, and real cosmological data

Physics is full of self-dual points: places where a symmetry exchanges two descriptions of the same system and maps it to itself. Some of these points are physically decisive — the Kramers–Wannier point fixes the Ising critical temperature exactly — and some are not: the free boson's self-dual radius is an ordinary poi...

Xavier Callens · 0 citations
#software testing Dataset Open access Sep 2026

Eclipsing spectroscopic binaries from Gaia DR3 orbits and TESS: survey data products (93 systems at periods of 13–119 days)

Data products of the survey of eclipses at the conjunctions predicted by Gaia DR3 single-lined spectroscopic orbits in TESS light curves, accompanying the paper "Eclipsing spectroscopic binaries from Gaia DR3 orbits and TESS: 93 systems at periods of 13–119 days". 9 389 orbits searched in up to three TESS sectors each;...

Théo Chopard-Vilhem · 0 citations
#software testing Open access Sep 2026

Influences of tunnel radius on minimum overburden thickness for underwater shield tunnels crossing structural planes

To ensure the stability and cost-effectiveness of underwater shield tunnels, reasonable design of the minimum overburden thickness is required. Nevertheless, how to rationally determine this thickness remains unclear when the coupled effects of rock structural planes and tunnel radius are considered, and existing desig...

Xinglong Jiang, Yiliang Tu, Hang Long et al. · 0 citations
#software testing Open access Sep 2026

An open-source modular avionics platform for small experimental rockets

Small experimental rockets require avionics that can be adapted to changing missions and onboard experiments. This work presents ELECTRA, an open-source modular avionics platform with integrated navigation and mission management. The platform combines function-specific stacked circuit boards with firmware organized int...

Junho Lee · 0 citations
#software testing Open access Sep 2026

When does self-duality cause physics? A machine-checked criterion, tested across sixteen candidate physical systems, an interventional experiment, and real cosmological data

Physics is full of self-dual points: places where a symmetry exchanges two descriptions of the same system and maps it to itself. Some of these points are physically decisive — the Kramers–Wannier point fixes the Ising critical temperature exactly — and some are not: the free boson's self-dual radius is an ordinary poi...

Xavier Callens · 0 citations
#software testing Open access Sep 2026

Verification scripts and data for "A Divisor-Weighted Golomb Sequence: Zeta Asymptotics and Arithmetic Fluctuations"

This software and data package accompanies Marco Mantovanelli's preprint"A Divisor-Weighted Golomb Sequence: Zeta Asymptotics and ArithmeticFluctuations". It supports the computational study of OEIS A400220,the unique nondecreasing sequence A of positive integers in which each moccurs exactly B(m) = sum_{d|m} A(d) time...

Marco Mantovanelli · 0 citations
#software testing Open access Sep 2026

TRACE: Trust, Runtime Attestation, and Compliance Evidence (A Portable Attestation Format for AI Agent Runtime Governance)

TRACE (Trust, Runtime Attestation, and Compliance Evidence) proposes a portable record for claims about AI agent runtimes: workload identity, model, policy, data class, tool transcript, build provenance, and appraisal. It composes RATS/EAT, signatures, and transparency evidence into a format that a relying party can ev...

Rishabh Poddar, Aaron Fulkerson, Imran Siddique · 0 citations
#software testing Open access Sep 2026

PCR-SAITS

PCR-SAITS v1.1.0 This release adds CSDI support as the third backbone adapter in PCR-SAITS, alongside SAITS and BRITS. What's new Added CSDIBackbone Added public PCRCSDI adapter Added CSDI checkpoint save/load support Added deterministic imputation from CSDI diffusion samples Preserves observed values during imputation...

Sawet Somnugpong · 0 citations
#software testing Open access Sep 2026

oes512q-latch: OES-32 / OES-512 classical residual latch with a self-calibrated threshold (OES latch v2) and a NAB benchmark

Standard-library Python research prototype of the OES-32 / OES-512 classical residual latch. A 32-value residual block is scored with S = 0.45·Peak + 0.35·RMS + 0.20·MeanAbs and latches when S ≥ τ. OES-512 applies the same latch to 16 contiguous blocks of 32, which gives a 16-bit coarse syndrome. The fixed default τ =...

Jean-François Brisson · 0 citations
#software testing Open access Sep 2026

UtkarshPandey-0/Task-Master-codes: v1.1.0 - JOSS Manuscript & Pipeline Updates

🚀 What's Changed in v1.1.0 This release marks a major milestone in preparing the Exoplanet Transit Detection Pipeline for formal peer review with the Journal of Open Source Software (JOSS) and triggering an updated version snapshot on Zenodo. 📜 Academic Manuscript & Packaging JOSS Manuscript Draft: Added paper/paper....

UtkarshPandey-0 · 0 citations
#software testing Open access Sep 2026

TRACE: Trust, Runtime Attestation, and Compliance Evidence (A Portable Attestation Format for AI Agent Runtime Governance)

TRACE (Trust, Runtime Attestation, and Compliance Evidence) proposes a portable record for claims about AI agent runtimes: workload identity, model, policy, data class, tool transcript, build provenance, and appraisal. It composes RATS/EAT, signatures, and transparency evidence into a format that a relying party can ev...

Rishabh Poddar, Aaron Fulkerson, Imran Siddique · 0 citations

From tech blogs

See all →
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.

MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

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