Skip to content

Category

software testing

3,351 papers

#edge computing Open access Sep 2026

Why Fisher's exact test is least exact where it matters most: achieved size, wasted power, and a routing rule for 2x2 tables -- m02d Reproducibility deposit

Why Fisher's exact test is least exact where it matters most: achieved size, wasted power, and a routing rule for 2×2 tables 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....

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

C2Cognitive Core: Evidence-Bounded Persistent Cognition for AI Coding Agents

Persistent cognition changes the assurance requirements of AI coding agents because durable memories, lessons, reusable skills, structural observations, and derived knowledge can influence later engineering work after repository state, task context, or execution sessions have changed. C2Cognitive Core v1.0.0 presents a...

Hafizh al-banna · 0 citations
#software testing Open access Sep 2026

ninadphalak/LLM-Shield-Proxy: v1.3.0: Stateless Cryptography, MCP Governance, Air-Gapped Egress, and System Hardening

LLM-Shield-Proxy v1.3.6 delivers a comprehensive plain-language documentation rewrite, dead-guard removal, security policy unification, and Vault encryption key fixes. Highlights: Plain-Language Documentation: Comprehensive rewrite of public documentation, website guides, landing page copy, and benchmark reports for cl...

Ninad Phalak · 0 citations
#software testing Open access Sep 2026

It's not easy being green: embedding environmental sustainability in training material

UKRI is committed to reaching Net Zero by 2040 and RSE/DRI will be key to achieving this. Green software practices will play a crucial role in this transition and so are increasingly discussed in the community - in part thanks to the Green RSE Special Interest Group. For full adoption, we must enable the next generatio...

Joseph G. Wallwork, K. J. Pringle, James Tyrrell et al. · 0 citations
#software testing Dataset Open access Sep 2026

CT-PPO Experimental Artifacts for Multi-Tenant ISAC Sensing-Session Consolidation

Experimental artifacts supporting the manuscript “Sense Once, Serve Many: Common-Trace Factorized Constrained PPO for Online Sensing-Session Consolidation in Multi-Tenant ISAC Networks.” This deposit contains the final artifacts used for the learned-policy comparisons, component ablation, arrival-load robustness evalua...

Dang-Dung Vu · 0 citations
#explainable ai Open access Sep 2026

The Intent Bottleneck: When AI Compresses Delivery, Strategy Becomes the Constraint

This working paper argues that AI-native delivery compresses only the final stage of a six-stage chain running from an institution's covenant with those it serves to running software, so that by Amdahl's law the constraint moves upstream into how organisations form, prioritise, and preserve intent. It introduces intent...

Sanjeet Kumar · 0 citations
#software testing Open access Sep 2026

C2GRAPH: A Repository-Level Governance Package for Disciplined, Measurable AI Coding Agents

AI coding agents increasingly operate as long-horizon software actors: they inspect mutable repositories, call tools, preserve state across interruptions, and may eventually modify artifacts whose failure modes are difficult to reverse. This paper presents C2GRAPH (Convert to Graph Engineering), a repository-side gover...

Hafizh al-banna · 0 citations
#software testing Open access Sep 2026

citation-cliques: Replication package for Citation-Network Cohesion Across Journal-Impact Strata

Version 4 contains the verified full-cohort replication workflow, tests, manuscript sources, generated aggregate results, and compiled PDFs for Citation-Network Cohesion Across Journal-Impact Strata. The canonical rebuild uses every eligible identified author in the fixed source snapshot and produces 102,626 matched pa...

Panagiotis-Alexios Spanakis, Grigorios Alexandrou, Diomidis Spinellis · 0 citations
#software testing Dataset Open access Sep 2026

Active Inference and Digital Twins for dynamic reconfiguration of software systems

In the following, the artefacts used during the experiments described in the article titled "Active Inference and Digital Twins for dynamic reconfiguration of software systems" are provided. The experiments were designed to evaluate and compare a Digital Twin enhanced with Active Inference (AIF-enhanced DT) proposal wi...

Julia Ballati, Elena Pretel, Elena Navarro et al. · 0 citations
#software testing Open access Sep 2026

PyFgsea: GSEA in Python and Rust

PyFgsea 0.2.0 Release date: 2026-09-02. PyFgsea 0.2.0 updates the statistical core used by the high-level Python API and narrows the trajectory interface to functions that are implemented and tested. The paper remains reproducible with its original software pair; current comparisons use a separate, newer reference pair...

shayuanxukuang, Hong Shi · 0 citations
#software testing Dataset Open access Sep 2026

A Unified Taxonomy of Modeling Paradigms: Linear, Nonlinear, Context-Variable, and Self-Directed Causal Frameworks with Theoretical Foundations and Empirical Validation

This manuscript develops a unified taxonomy for modeling paradigms in complex, non-stationary systems, organizing linear, nonlinear, context-variable (regime-switching), and self-directed causal frameworks under a single structural causal model (SCM) formalism. Building on Markov-switching structural vector autoregress...

Shibah, Sami Rashid Mohammed · 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.