Skip to content

Category

software testing

3,291 papers

Tranexamic Acid Concentration and Flap Survival in Rats.

High-concentration local TXA impairs random-pattern flap survival, while low-concentration TXA (10 mg/mL) appears well tolerated, while the surgical delay procedure markedly reduces TXA-associated necrosis risk across all concentrations.

Unknown authors · 0 citations

Neural Program Modeling Learning Program-Specific Models that Predict Execution Features from Input Features and vice versa

This is the first work that trains reversible, program-specific neural machine translation models to both predict execution behavior from inputs and synthesize inputs to achieve the requested behavior in real-world programs.

Unknown authors · 0 citations
#software testing Open access Sep 2026

Hardware-Assisted Spatial Memory Safety for Shared GPU Accelerators: A Pointer Tagging Co-Design with Analytical and Synthesis-Level Evaluation

This work presents a hardware–software co-design whose 16-bit tag uses odd parity and fail-safe class encoding, which combines a variable-precision extent, an aligned CRC checker, and an exact-bounds micro-cache.

Dan Toderici, T. Enache, R. Rughiniș et al. · 0 citations
#software testing Dataset Open access Sep 2026

Replication Data and Code for The Long Run of a Monetary Economy: Steady States, Recurrence, and Survival in Simulation

This dataset provides the research data and code supporting the manuscript “The Long Run of a Monetary Economy: Steady States, Recurrence, and Survival in Simulation.” The archive contains the model and analysis source code, registered experimental protocols, scientific specifications, raw and derived simulation record...

Aleksandar Stojanovic · 0 citations
#software testing Open access Sep 2026

Verification software for A Split-Graph Counterexample to a Roman–Double Roman Candidate Inequality

Offline, standard-library-only verification software accompanying Seth Christopher's preprint “A Split-Graph Counterexample to a Roman–Double Roman Candidate Inequality”. Version 1.0.0; source-only publication revision figshare.1. This item contains Roman_Double_Roman_Verification_Software_v1.0.0.zip, including the byt...

Seth Christopher · 0 citations
#software testing Open access Sep 2026

Reproducibility package for a Conditional, Boundary-Aware, and Auditable Deletion-Effect Weighting Framework for MCDM with Positive Decision Matrices and a Fixed Set of Alternatives

This release contains the MATLAB source code, deterministic input data, generated CSV result records, validation scripts, tests, and figure-generation drivers for the associated manuscript: “A Conditional, Boundary-Aware, and Auditable Deletion-Effect Weighting Framework for MCDM with Positive Decision Matrices and a F...

Xudan Dong · 0 citations
#software testing Open access Sep 2026

Verification software for Roman Labels Yield One-Round Power Domination

Offline verification software accompanying Seth Christopher's preprint “Roman Labels Yield One-Round Power Domination”. Scientific version 1.0.0; packaging revision figshare.2. All 24 Python files are byte-identical to figshare.1. The README, release metadata and checksum manifest have been updated; historical versions...

Seth Christopher · 0 citations
#software testing Open access Sep 2026

A Split-Graph Counterexample to a Roman–Double Roman Candidate Inequality

We give a connected chordal graph on 15 vertices and 30 edges with Roman domination number 7 and double Roman domination number 10. It refutes the candidate inequality (3/2) gamma_R(G) <= gamma_dR(G) recorded at rank 67 of AutoGraphForge's public audit, together with its equivalent rank-68 restatement. The graph consis...

Seth Christopher · 0 citations
#software testing Open access Sep 2026

Code for "Exhaustive Reassignment Reveals Identity Dependence in MOS Gas Sensor Correction Tables"

This software package accompanies the manuscript Exhaustive Reassignment Reveals Identity Dependence in MOS Gas Sensor Correction Tables by Yibo Wang, Zhixian Zhao, and Yu Tang. Software and reproduction The package reproduces the numerical results for exhaustive reassignment of fixed metal-oxide-semiconductor (MOS) ga...

Yibo Wang, Zhixian Zhao, Yu Tang · 0 citations
#software testing Open access Sep 2026

A Hierarchical Framework for Inverse Problems in Biological Cybernetics: a Microbial Community Case Study

This is the software snapshot (release v1.0.1) accompanying the paper: "A Hierarchical Framework for Inverse Problems in Biological Cybernetics: Opportunities and Limitations" by J. R. Banga and A. F. Villaverde. It provides a reproducible MATLAB implementation of a four-level hierarchy of inverse problems, illustrated...

Julio R. Banga, Alejandro F. Villaverde · 0 citations
#software testing Dataset Open access Sep 2026

Held-Out Test and Production-Model Provenance for the Pt–C–O NEP Used in Graphene/Pt(111) Intercalation Simulations

This dataset provides held-out testing and production-model provenance analysis for the Pt–C–O fourth-generation neuroevolution potential (NEP4) used in the manuscript “Species-Dependent Interfacial Aggregation and Local Graphene Lifting on Pt(111)”. It supplements the principal computational dataset at https://doi.org...

W. J. Lee · 0 citations

From tech blogs

See all →
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.