Skip to content

Category

software testing

3,118 papers

#software testing Dataset Open access Oct 2026

Analytical benchmarks and reproducibility

This record contains Online Resource 1 (version 1.3), the reproducibility supplement accompanying the manuscript Data-compatible quantum-resource claims: tomography, calibration, and temporal access by Matthias Jakob. The supplement provides synthetic analytical benchmarks illustrating how quantum-resource and dynamica...

Matthias Jakob · 0 citations
#software testing Open access Oct 2026

Operationalizing Human Sovereignty in High-Stakes AI Systems: The F-Request Protocol and Nf-Ledger as an Engineering Architecture for Oversight

This paper proposes an operational software architecture grounded in the conceptual framework B+F=Nf, where B denotes functional processing (biological or algorithmic), F denotes the sovereign human witness, and Nf denotes the narrative trace produced when B passes through F. The paper introduces the F-Request Protocol...

Fatiha Nesrine Bouzid · 0 citations
#software testing Open access Oct 2026

Repetitive RNA Is Present in Prion-Infected Mouse Brains

Scrapie, a prion disease, is usually considered a protein-only infection. However, the repetitive nature of the protein-containing fibrils of prion disease and other neurodegenerations, including Alzheimer’s and Parkinson’s diseases, has led to the hypothesis that RNA, specifically a repetitive RNA, may be present [1–3...

Leslie Bridges · 0 citations
#software testing Open access Oct 2026

Functional Scars: A Runtime Mechanism for Persistent Corrections in AI Agent Systems

An AI agent can retain a correction across sessions and still repeat the corrected action. A record may be missing, remain unretrieved, arrive after the decision point, or be read without changing the action. This paper defines a functional scar as a failure-derived runtime control that links a documented error to an a...

Victor Del Puerto · 0 citations
#software testing Dataset Open access Oct 2026

Replication package for: When Convenience Meets Risk: Evaluating Usability, Security, and AI Reliability Across Modern Operating Systems

Replication package for "When Convenience Meets Risk: Evaluating Usability, Security, and AI Reliability Across Modern Operating Systems" (Alhawarat and Nijem), submitted to Empirical Software Engineering. Contents 01_AI_Reliability: Windows Copilot test set (80 prompts) with both raters' scores and reconciliation note...

Mohammad O. Alhawarat, Qasem Nijem · 0 citations
#software testing Open access Oct 2026

Heat pump recovery qualification: code and saved evidence

Scientific code, licensed processed observational inputs, finite model banks and saved model-conditional recovery results. Real passive observations are distinct from computed demand-response events; no field intervention was tested. All 17 primary events in 10 installations fail the declared 2 K full-width engineering...

Junjie Zhang · 0 citations
#software testing Open access Oct 2026

A Reproducible Typesetting Solution for Zsigmondy–Palmer Dental Notation

Zsigmondy–Palmer dental notation, still used in dentistry and dental education, has a two-dimensional, quadrant-based structure that is difficult to reproduce consistently in modern digital documents. Earlier digital approaches enabled symbol entry or rendering through specialized fonts, keyboard approximations, and ch...

Yosuke Yamazaki, Saya Imaoka, Maki Yuguchi · 0 citations
#software testing Open access Oct 2026

Benchmark source, build provenance and analysis code for "Software Stack and Workload Costs of Classical–ML-DSA Signatures: Evidence for ICP-Brasil Migration"

Source code and build provenance for a single-host benchmark of classical signatures combined with ML-DSA-65 (liboqs 0.15.0 and OpenSSL 4.0.1), with fresh-key and retained-key regimes and a randomized standalone ML-DSA campaign comparing liboqs-python, PyCA/OpenSSL and a native OpenSSL EVP harness. Files:02_exact_sourc...

Julio Cezar Rodrigues Trindade · 0 citations
#software testing Dataset Open access Oct 2026

The Independent AI4S Verification of Zhongheng Yu’s Monograph

The Independent AI4S Verification of Zhongheng Yu’s MonographAI4OrgChem is an AI for Science (AI4S) Agent for independent computational reconstruction and evidence assessment of counter-traditional propositions in organic structure theory. The project was motivated by Zhong-Heng Yu’s monograph, Questioning Fundamental...

Xiao Chen · 0 citations
#software testing Dataset Open access Oct 2026

Bending and torsion of cold-formed steel sigma and lipped-channel beams: test database, finite-element analyses and design-calibration code

This dataset supports two papers on cold-formed steel sigma (web-stiffened) and lipped-channel beams under combined bending and torsion, one on the calibration of the AISI S100-24 bending-bimoment check from validated shell finite-element analyses and one on the evaluation of that check against tests; their references...

Ayman Hamdallah, Ahmad Abdullah, Antti H. Niemi · 0 citations
#software testing Open access Oct 2026

CardioOncoPredict: research software for measuring microvolt T-wave alternans

Open research software that measures microvolt T-wave alternans in ECG recordings with the Spectral Method and Modified Moving Average, in Python and in the browser, to test whether alternans precedes anthracycline cardiotoxicity. The hypothesis is unproven; the software is not a medical device.

Petr Podpirov · 0 citations
#software testing Open access Oct 2026

Analysis code for Benchmark selection and model expansion for predicting subsequent measured lactate elevation in sepsis

This software release accompanies the manuscript “Benchmark selection and model expansion for predicting subsequent measured lactate elevation in sepsis.” Version 1.0.1 updates the historical version 1.0.0 with corrected vasopressor extraction, deterministic ordering of simultaneous lactate records, revised analysis co...

Zhiqiang Hu, Yuanyuan Zhao, Xiangwei Wu et al. · 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.

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.