Skip to content

Category

software testing

2,576 papers

Methodology for assessing the contribution of software products from residents of the Innopolis SEZ to ensuring the technological sovereignty of the Russian Federation

The massive withdrawal of foreign IT companies from the Russian market in 2022-2025 has set the government the task of replacing foreign software with domestic products. One of the leading platforms for the development of import-substituting software in the Russian Federation is the Innopolis technical and innovation-t...

Ul'yana Cepilova, Irina N. Lakiza, A. Mikhailova et al. · 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

Swarms in AI Innovation - Why exponentials of exponentials matter in innovation, and where they break

Three documented events frame the question this article studies, and each one was, at the time, unremarkable engineering. In July 2024 one vendor's content update reached about 8.5 million hosts in minutes and produced cross-sector disruption that took roughly ten days to unwind (CrowdStrike, 2024; Parametrix Insurance...

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

Variance Suppression by a Numerical Wave Cap in Ultralight-Dark-Matter Strong-Lensing Simulations: Exact-Commit Audit of a JWST Survey-IV-Derived Forward Model, with Realization and Selection Diagnostics

Strong-lensing inference with ultralight dark matter (ULDM) can depend on stochastic wave-field realizations and numerical controls used to make those realizations computationally tractable. This work performs an exact-commit audit of the public pyHalo/samana/lenstronomy software ecosystem used in a JWST Survey-IV-deri...

Kristijan Kozic · 0 citations
#software testing Open access Sep 2026

QDL Research Suite

QDL Research Suite v1.4.0 QDL Research Suite is a free, open-source Python package that brings together tested computational, verification, and reproducibility tools developed across the Quantum Diverter Loop (QDL) research program. The suite is designed to help researchers verify, reproduce, inspect, and reuse advance...

Roshankumar chandaliya · 0 citations
#software testing Open access Sep 2026

SP3 THEORY TESTING PROCESS: FROM A STILL IMAGE TO A TESTABLE HISTORY

A static image of a galaxy collision shows where luminous matter is observed now. It does not directly show where that matter was previously located, which regions were traversed and subsequently vacated, which direction material moved, or when passage occurred. Those historical quantities are nevertheless potentially...

James E. Beecham · 0 citations
#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

From tech blogs

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

GPT-Lab Sep 23, 2026

Requirements Don’t Live in Isolation: What We’re Exploring with Req-Space

Requirements in large systems rarely exist in isolation. Their meaning depends on the wider project context - other requirements, policies, decisions, tests, and implementation details. That becomes especially important when AI is used for review, because spotting a possible conflict or gap is only the beginning. ReqSpace explores how AI, visualisation, and connected project context can help reviewers understand those findings, trace the relationships behind them, and focus on the questions that…

GPT-Lab Sep 17, 2026

Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering

AI is making software generation faster, but speed does not remove the need for expertise. As more work is delegated to AI, tacit knowledge may become one of the most important human advantages in software engineering. The post Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering appeared first on GPT-Lab.

MIT News · Artificial Intelligence Aug 17, 2026

Q&A: Rethinking how innovation happens

In his latest book, Professor Eugene Fitzgerald examines the forces that turn breakthroughs into value — and why innovation resists simple formulas.

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