software testing

The AI Velocity Paradox: Mitigating Specification Drift in Autonomous Coding Agents via Deterministic Software Intent Graphs

Autonomous artificial intelligence coding agents (e.g., Cursor Composer, Claude Code, OpenAI Codex, OpenCode) generate implementation code and unit test suites at unprecedented speeds. However, this velocity introduces an unaddressed structural defect: silent specification drift. When stochastic large language models (...

La IA generativa y la frontera de la firma en el comercio de servicios de EE. UU.: prueba ciega de cota de P1 + A-USD con importaciones del BEA por afiliación

We pre-register a single, blind bound test of the joint hypothesis P1 + A-USD. P1, a proposition of a verifiability model of offshoring, says that after generative AI (ChatGPT, 30 Nov 2022), in AI-exposed service categories, the share of tasks a rich buyer country buys from unaffiliated foreign parties falls relative t...

QDL Research Suite v1.10.0

Overview QDL Research Suite is an integrated scientific software package developed under the Quantum Diverter Loop (QDL) research program. The software brings mathematical, statistical, and computational methods from multiple research papers into one organized and reproducible framework. Its main purpose is to make sci...

VISION-BASED DRY-MATERIAL INVENTORY ESTIMATION IN AUTONOMOUS LABORATORIES: RGB SEGMENTATION VERSUS RGB-D SURFACE RECONSTRUCTION

Reliable dry-material inventory monitoring is needed for autonomous laboratory operation, but the suitability of a non-contact method depends on material behaviour, optical access, calibration requirements and the quantity to be estimated. We compared two vision-based approaches—material-specific RGB/YOLO level estimat...

Diversity-Based Sampling for Highly Configurable Cyber-Physical Systems

VirtualQueue: reproducible FIFO packet-feedback and telemetry-shift experiments

VirtualQueue — Research Software v0.1.0 Overview This release provides the research code, simulation data, experimental results, and reproducibility materials supporting the study: Delay-Violation Alarms with Incomplete Packet Reports: Scenario-Held-Out and Independent-Trace Queueing Tests The project investigates dela...

Receipts Over Genius: An Audited Account of an 18-Month, AI-Assisted, Solo Invention Cycle

SQUIRL OS RESEARCH DISCLOSURE - READ FIRST: This work is part of an open-book, AI-assisted research program produced under bifurcated governance (a probabilistic AI agent drafts; a deterministic human key approves; a boundary-layer audit checks claims against receipt archives). Audit-and-correction is doctrine: superse...

PoseFit Rehab: Functional verification materials for a local-first browser prototype for markerless home knee exercise monitoring

Version-fixed reproducibility release for the manuscript “Functional Verification of a Local-First Browser Prototype for Markerless Home Knee Exercise Monitoring”.The archive contains a static local-first browser prototype, synthetic fixtures, a deterministic functional-verification harness, a Google Colab notebook, an...

Collaborative Multi-Agent LLM Frameworks for Automated Legacy Software Modernization

Legacy software modernization is a critical challenge for organizations seeking to improve system maintainability, scalability, security, and compatibility with contemporary technologies while preserving existing business logic. Traditional modernization approaches often require substantial manual effort, extensive dom...

Multidimensional Evaluation of the Efficacy of a Comprehensive Ayurveda Approach as an Add-On to Conventional Therapy in Children With Autism Spectrum Disorder: Protocol for a Randomized, Open-Label, Parallel-Group, Active-Controlled Clinical Trial

Abstract Background Autism spectrum disorder (ASD) is a heterogeneous neurodevelopmental disorder characterized by impairments in social communication, restricted and repetitive behaviors, and deficits across multiple developmental domains. Although conventional interventions, including speech, behavioral, and occupati...

NicheGrid code v1.0: pipeline, validation and R and Python readers for range-derived climatic niches

Code used to build, validate and read NicheGrid v1.0, a dataset of the range-derived climatic niches of 45,547 species of amphibians, birds, mammals, reptiles and plants, and of the introduced ranges of 594 species, estimated in one global climate space and on one lattice. Dataset: https://doi.org/10.5281/zenodo.232558...

Supplementary data and code for Early Miocene Yangtze sediment delivery recorded in the East China Sea terminal sink

This record contains the supplementary data and Python source code associated with the manuscript “Early Miocene Yangtze sediment delivery recorded in the East China Sea terminal sink” by Yao et al. The dataset supports analyses of detrital-zircon U–Pb crystallization ages, trace-element compositions, zircon fission-tr...