software testing

Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification

Artifacts for "Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification" submission for SAST 2026. Caio Vinícius Pereira Silveira and Mateus Felipe Tymburibá Ferreira. 11st Brazilian Symposium on Systematic and Automated Software Testing. SAST 2026. September 8--11, 2026, São...

Global maps overstate the reliability of blue-carbon credits

This archive contains the derived data, harmonised labels, frozen evaluation splits, and complete numerical results supporting the study "Global maps overstate the reliability of blue-carbon credits." It provides everything required to reproduce every figure and number in the paper, and a reusable benchmark for testing...

Consensus Change Standards: A Legal and Technical Framework for Bitcoin Protocol Governance

Sixth Edition, September 2026. Proposes minimum standards for evaluating Bitcoin consensus-change proposals: submission requirements, tiered minimum review periods, code-audit standards, activation-threshold floors backed by a quantified chain-split risk model grounded in the double-spend / gambler's-ruin literature (N...

Trace-IN625: a source aware literature derived dataset of tensile properties and microstructure for additively manufactured IN625

Trace-IN625 is a source-aware, literature-derived dataset of tensile properties and supporting microstructure information for additively manufactured IN625. It organizes published measurements into individually retrievable material-condition records, preserving source references, processing and heat-treatment informati...

Topological String-Gradient Theory (TSGT): Autonomous LLM Stress-Test and Critical Reconstruction

Topological String-Gradient Theory (TSGT): Autonomous LLM Stress-Test and Critical Reconstruction Author’s Context: Let’s be completely transparent about what this manuscript actually represents. While earlier drafts of TSGT were hand-iterated and driven by my own intuitive theoretical concepts, this release is the res...

DeepCausality

Fixed (unified_math) [breaking] replace From bounds with FromPrimitive, add software-scalar tensor ops Other (deep_causality_par) Pin the fan-out, the serial bound, and the untested configuration (deep_causality_file) Repair the three audited test defects and close the gaps behind them

ReProspect - A framework for reproducible prospecting of CUDA applications

ReProspect is a Python framework for prospecting CUDA code, designed to ensure reproducibility through a fully programmatic approach.Prospecting encompasses three complementary ways of characterizing CUDA-based libraries and software components: how they interact with the CUDA runtime through API tracing, how kernels p...

Size-biased multinomial modelling of detection data in software testing

closure_drift: does your version label name exactly one version of your code?

A read-only, zero-dependency tool that measures, over any git repository, whether a declared version label identifies exactly one state of the producing code at the points where that repository publishes. Addressing a published artefact by (input, version) is sound only if the label is injective over closures. Nothing...

Quasi-periodic prefactor at golden slope: period-2 structure, Zeckendorf-phase clustering, and separation from two controls

Version 1.1 replaces the attached file. Version 1.0 was published with the DRAFT build of the manuscript attached in error: the file carried DRAFT running heads and a status line reading 'DRAFT - not deposited'. The mathematics is unchanged between the two builds; they differ in the draft markers only. The error was in...

Automated testing and debugging of configuration knowledge bases with direct diagnosis

Abstract Configuration knowledge bases are used to represent commonality and variability properties of physical products as well as software artifacts. These knowledge bases can become quite large and complex and – as a result – are in the need of testing and debugging support. If some test cases become inconsistent wi...

The Master Unified Field Codex

**The Master Unified Field Codex** represents the definitive, non-perturbative mathematical synthesis of natural philosophy, unifying quantum mechanics, general relativity, non-Abelian gauge theory, algebraic geometry, analytic number theory, thermodynamics, macro-acoustic chemistry, and biophysical embryology into a s...