Skip to content

Category

software testing

3,195 papers

#software testing Open access Sep 2026

Analysis code and supporting materials for 'Same Practice, Opposite Ranking: Disciplinary Inversion in Research Integrity Norms across Cameroonian Universities'

Materials supporting “Same Practice, Opposite Ranking: Disciplinary Inversion in Research Integrity Norms across Cameroonian Universities”. The article stands on its own: everything a reader needs to follow and judge its argument is in it. This deposit is not a continuation of the article. It exists so that anyone who...

Anonymous · 0 citations
#software testing Open access Sep 2026

quantum-group: Exact SymPy verification of explicit U_q(sl_2) and GL_q(2|1) matrix identities

quantum-group is a small Python package that builds the explicit matrices behind concrete quantum-group calculations with exact SymPy arithmetic and checks each identity as an exact residual matrix. A nonzero residual entry locates the convention that disagrees: basis order, tensor placement, coproduct or, for superalg...

Taha Berk Terekli · 0 citations
#software testing Open access Sep 2026

The quant_eval Public Corpus: Behavioral Measurement of Quantization Degradation—Precision, Scale, and Substrate Effects

This paper presents the quant_eval public corpus: a paired behavioral evaluation of full-weight and quantized large language models across eight agent-relevant task families, published as eight open datasets with per-case evidence, paired statistical tests, and a verification chain a reader can check rather than trust....

Patrick Hill · 0 citations
#software testing Dataset Open access Sep 2026

Data for study "A Structural Preservation Framework for Denoiser Selection in YOLO-Based Pedestrian Detection under Sensor Noise"

Basic information---------------------------1. Journal article: The Storage Condition at Measurement Time Decides Denoiser Selection for Frozen Deep Pedestrian Detectors 2. DOI: concept DOI: 10.5281/zenodo.22643935 (resolves to the latest version) version 1: 10.5281/zenodo.22643936 (2026-09-07, files restricted) versio...

Kiet Vo Thanh, René Jaroš, Minh Ly Duc et al. · 0 citations
#software testing Open access Sep 2026

MATLAB code for: A Novel Biometric-Driven Color Image Encryption Algorithm Using Graph-Based Palmprint Data and 2D Chaotic Maps

MATLAB implementation of a biometric-driven color image encryption algorithm. Cryptographic keys are derived from graph-based topological features of palmprint minutiae, extracted with StructuralGT (an external tool, not included in this archive), and used as control parameters of a hybrid 2D Hénon and 2D Lemniscate ch...

Bilgi ÖZDEMİR, Nurettin Doğan · 0 citations
#software testing Open access Sep 2026

Artificial Intelligence and Consent

Abstract This research paper examines how modern digital platforms manufacture the appearance of user consent through engineered interface design, algorithmic incentives, and AI‑driven behavioral manipulation. It argues that “consent” in digital systems is not a user‑driven choice but an institutional output produced b...

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

Boundary-Weighted Specification Coverage (BWSC): EFSM Case Studies, Minimization Algorithms, and Experimental Data

This is version 2 of the reproducibility package accompanying "Boundary-Weighted Specification Coverage: Minimizing Test Suites Derived from Extended Finite State Machine Behavioral Models" (submitted to the Journal of Software: Evolution and Process). It supersedes the first Zenodo version and reflects a revision made...

Ammar Sultan · 0 citations
#software testing Open access Sep 2026

Gauge-referenced hourly rainfall nowcasting: Comparing direct radar-to-point and field-first forecast routes

Software supporting "Gauge-referenced hourly rainfall nowcasting: Comparing direct radar-to-point and field-first forecast routes". The package provides Direct R2P, gauge-supervised forecast-field CNN readouts, pySTEPS and adapted exPreCast workflows, evaluation, figure reproduction, compact aggregate verification tabl...

Jaehee Jung, Joon‐Woo Roh · 0 citations
#software testing Open access Sep 2026

The Frostyverse: Discrete-Grid Candidate for Gravitational Photon Deflection, Shapiro Delay, and Redshift

Version 1.0.1 software correction — 29 September 2026 Version 1.0.1 corrects a finite-path endpoint/wall-count bookkeeping defect in the reviewer-accessible photon fly-by software. When a requested finite-path endpoint fell inside a FrostCell, rounded endpoint indices could disagree with the number of completed wall-to...

Frost Candy · 0 citations
#software testing Open access Sep 2026

Humanistic Logic Routing: A Conceptual Architecture for Ethical Machine Decision Control

This conceptual paper introduces Humanistic Logic Routing, a tri‑gate decision architecture designed to embed ethical reflexes directly into hardware logic flows. The framework explores how autonomous systems can prioritize human survival independent of cloud‑based guardrails, brittle software constraints, or centraliz...

Mike Seahorn · 0 citations
#software testing Open access Sep 2026

balmame7-mld/fpga-transformer-ccontrol-flow: Release — FPGA Transformer accelerator artifact

release accompanying the paper "A Validated FPGA Transformer Accelerator for Embedded C Control-Flow Classification: A Deployment and Debugging Case Study." Contains the complete deployment pipeline: PyTorch training notebook, Vitis HLS kernel sources, ARM Cortex-A9 firmware, the 200-example evaluation set, and per-mod...

mohamed_lamine_djenepo · 0 citations
#edge computing Open access Sep 2026

pq-verify: Independent verification for ML-KEM / ML-DSA implementations

Fixed --vector-dir was ignored for every bundled file. The loader consulted the pinned bundle first by file name, so a caller-supplied vector directory was never read for any file pq-verify also ships, while the report named that directory as the source. A directory with a corrupted expected answer reported 240/240; it...

Nicholas Daniel Maino · 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.