Skip to content

Category

software testing

3,351 papers

#edge computing Book Open access Aug 2026

HLV-R-MECH-001: Deterministic One-Click Engine for Triangle-Matched Rewire Mechanism Testing — Corrected Implementation Freeze v0.1.1

This record contains the corrected deterministic implementation freeze for HLV-R-MECH-001. The controlling scientific protocol is: Krūger, M. (2026). HLV-R-MECH-001: Prospective Triangle-Matched Mechanism Test of the Surviving Degree-Preserving Rewire Spectral Residual — Pre-Execution Protocol Freeze v0.1.0. Zenodo. DO...

Marcel Krüger · 0 citations
#software testing Dataset Open access Aug 2026

Synthetic Colorectal Cancer Cohort for Machine Learning Research: An Open In Silico Dataset of 10,000 Virtual Patients

Overview: The dataset provides a fully synthetic, computer-generated cohort of 10,000 virtual patients with colorectal cancer (CRC). No actual patient data was accessed, collected, or utilized at any stage of this research.Variables: The dataset includes 39 variables organized across six clinical domains. These domains...

Khalid Abdirahman Ahmed · 0 citations
#artificial intelligence Open access Aug 2026

SecureXon: Design, Architecture, and Evaluation Methodology for an AI-Augmented Web Reconnaissance and Cybersecurity Threat-Intelligence Platform

The rapid expansion of internet-facing web applications has widened the attack surface available to automated scanners, botnets and malicious actors, while common weaknesses such as misconfigured servers, unpatched software, obsolete transport-layer encryption and missing HTTP security headers continue to be exploited...

Sahil Bagde, Swapnil Meshram, Harish Dange et al. · 0 citations
#software testing Book Open access Aug 2026

HLV-R-MECH-001: Locked Confirmatory Results for Triangle-Matched Mechanism Testing of the Degree-Preserving Rewire Spectral Residual v0.1.0

This record contains the locked confirmatory scientific results of HLV-R-MECH-001, a prospectively frozen mechanism test of the previously observed degree-preserving rewire spectral residual within the Helix–Light–Vortex Framework (HLV), positioned as a Cut-and-Project and Incidence-Spectral Research Programme. The con...

Marcel Krüger · 0 citations
#software testing Review Open access Aug 2026

PENGARUH PEMANFAATAN AI SEBAGAI MEDIA PEMBELAJARAN AKUNTANSI TERHADAP LITERASI KEUANGAN DAN PERILAKU PENGELOLAAN KEUANGAN SISWA KELAS XI SMKN 6 MEDAN

ABSTRACT This study aims to examine and provide empirical evidence regarding the effect of utilizing Artificial Intelligence (AI) as a learning medium in accounting education on students’ financial management behavior, both directly and through financial literacy as a mediating variable. This study is important given...

Muhammad Ariel, Natasya Ramadhani Citra, Delima Sianipar et al. · 0 citations
#software testing Open access Sep 2026

Community-based Photogrammetric Assessment of Nasal Angles among Adults in the Garhwal Himalayas, Uttarakhand, India

Normal values of nasal angular parameters of the Garhwal Himalayan population have been established and will prove its worth during plastic surgeries of the face, diagnosing genetic diseases, manufacturing facial accessories and criminal investigation procedures.

Niyati Airan, Anil Kumar Dwivedi, Ananya Sharma et al. · 0 citations
#software testing Open access Aug 2026

PooledScreenID: outcome-blind shortcut and separability diagnostics for pooled variant-effect screens

PooledScreenID is an installable, research-use Python package that separately reports material cold-start gain, outcome-blind control association, representation separability and external calibration before generating a claim resolution. Version 0.1.2 includes a minimal Python API, command-line interface, machine-reada...

niu niu, Wei Fang, wenjuan li et al. · 0 citations
#software testing Open access Aug 2026

The Effect of Using Educational Software on Developing Mathematical Problem-Solving Skills among Primary School Pupils: An Analytical Study from the Perspective of Mathematics Teachers in Some Basic Education Schools in Zawiya City

   This study aimed to investigate the effect of using educational software on developing mathematical problem-solving skills among Grade Six primary school pupils. The study adopted a descriptive-analytical approach to examine pupils’ performance before and after the educational intervention. The study sample consiste...

A. Hussein, Saleh Al-Hajjahi · 0 citations
#edge computing Open access Aug 2026

A Rigorous Mathematical Architecture of the Helix–Light–Vortex Framework: Typed Operators, Abstract Incidence Dynamics, Golden Cut-and-Project Carriers, Locked Falsification Results, Gauge Hamiltonians, and Claim-Conditioned Validation — Rigorous Consolidated Core v2.1.5

This record contains Rigorous Consolidated Core v2.1.5 of the Helix–Light–Vortex Framework (HLV). HLV is positioned in this revision as: Helix–Light–Vortex Framework (HLV) A Cut-and-Project and Incidence-Spectral Research Programme. The term “Framework” denotes the existing mathematical architecture and provenance of t...

Marcel Krüger · 0 citations
#software testing Open access Aug 2026

A guaranteed-coverage confidence interval for the two-sample standardized effect (m01te) -- Reproducibility bundle

A guaranteed-coverage confidence interval for the two-sample standardized effect William J. Dwyer, MD, MPH, FAAP — Department of Mathematics and Statistics, University of Massachusetts Lowell. ORCID 0009-0004-0855-7222. Concept DOI (always resolves to the latest version): 10.5281/zenodo.22114522. Published v1.0.0:10.52...

William Dwyer · 0 citations
#software testing Open access Aug 2026

Beyond Gut Feel: An Empirical Foundation for AI-Assisted Observability Design

Modern software systems rely on observability infrastructure (metrics, logs, and traces) to detect failures and maintain reliability. In practice, key observability decisions are made through untested defaults: static alerting thresholds, keyword-based log-level selection, and monitoring feature sets chosen by conventi...

Ivy Murage · 0 citations
#software testing Open access Aug 2026

The Secret of a Half

The real part 1/2 occurs in the theory of the Riemann zeta function as the symmetry axis of its non-trivial zeros. This monograph asks a narrower question than the Riemann Hypothesis itself: can the distinguished role of the half-axis be explained by a common structural mechanism joining binary complementarity, informa...

Adrian Lipa · 0 citations

From tech blogs

See all →
Microsoft Research Blog Nov 5, 2026

Formally verifying agent-written full-stack web apps with PDD Kit

AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…

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.