Skip to content

Category

software testing

3,351 papers

#software testing Open access Sep 2026

PENGARUH BUDAYA ORGANISASI, LINGKUNGAN KERJA, DAN INSENTIF TERHADAP KEPUASAN KERJA KARYAWAN PADA KOPERASI SIMPAN PINJAM

Employee job satisfaction is crucial for the sustainability of microfinance institutions in facing competition, which is highly dependent on the effectiveness of human resource management. Based on this consideration, this study was conducted to analyze the influence of organizational culture, work environment, and inc...

Kadek Eva Fitriani, N. Nuryani, I. K. Sudarnaya · 0 citations
#software testing Open access Sep 2026

Reproducibility package for "Hierarchical Phase Transitions in Bayesian Flow Networks Enable Training-Free Molecular Design" (JCIM 2026, ci-2026-015382)

# PAIR v3: code and reproducibility assets This record accompanies **Hierarchical Phase Transitions in Bayesian FlowNetworks Enable Training-Free Molecular Design**, by Liangji Zhou, YuanqiuChen, Tongtong Chen, Yijuan Huang, Qihao Pan, Si Li, Chenyu Gou, Meiqiong Fanand Yu Gao (Journal of Chemical Information and Model...

Liangji ZHOU, Yuanqiu Chen, Tongtong Chen et al. · 0 citations
#software testing Open access Sep 2026

Silent Retrieval: Local-Consensus Reads as Information-Theoretically Unlinkable Receive

We formalise a receive-side property of asynchronous messaging that has been implemented before and, in adjacent form, analysed before. It is the property Bitmessage relied on from 2012 — every participant holds every message and decrypts locally, so reception produces no observable event — described in the secondary l...

AriaLabs Systems LLC · 0 citations

LLM-Mestcase: A Test Case Modification Method Based on LLMs and Mutation Testing

An LLM-based, mutation testing-driven approach for test case generation by integrating the semantic understanding of large language models with the precise evaluation mechanism of mutation testing, paving a new path for intelligent test case enhancement.

Pei-Pei Yang, Kun Jia, Tian-Fang Ma et al. · 0 citations
#software testing Dataset Open access Sep 2026

Reproducibility materials for Local Information Preservation and Certified Testing from Syndrome Weight

Synthetic data, original analysis software, frozen configurations, numerical certificates and audit records for Local Information Preservation and Certified Testing from Syndrome Weight. Includes all 48 confirmation conditions and adverse results. DATASET_README.md explains the historical v002 full study archive and cu...

Jian Hong · 0 citations
#software testing Open access Sep 2026

Density Matrix Geometry and Sum Rules: Haldane-model calculations

Calculation and plotting code, with numerical source data, for Figure 1 of "Density Matrix Geometry and Sum Rules". Version 1.0.0 archives GitHub commit 393f423d9353bf85c42062213355add528f8ce79. The package includes the Haldane-model Hamiltonian, Brillouin-zone quadrature on a uniform 2400 x 2400 midpoint mesh, tempera...

Guangyue Ji · 0 citations
#software testing Open access Sep 2026

Silent Retrieval: Local-Consensus Reads as Information-Theoretically Unlinkable Receive

We formalise a receive-side property of asynchronous messaging that has been implemented before and, in adjacent form, analysed before. It is the property Bitmessage relied on from 2012 — every participant holds every message and decrypts locally, so reception produces no observable event — described in the secondary l...

AriaLabs Systems LLC · 0 citations
#software testing Open access Sep 2026

Reproducible Retrieval Evaluation: A Workbench for Lexical, Semantic, and Hybrid Search

I built this research software to compare five search configurations: SQLite FTS5 BM25, BGE-small-en-v1.5, all-MiniLM-L6-v2, and lexical fusion with each embedding model using reciprocal rank fusion. The workbench measures which relevant records are retrieved, how well they are ranked, and how long queries take. It che...

Nathan Chandrasekar · 0 citations
#software testing Open access Sep 2026

From Roundoff to Heredity: Reproducibility Package

Reproducibility package for From Roundoff to Heredity: Finite-precision exposure can produce inherited reproductive failure and selection in digital life. The study tests a causal ladder from controlled software rounding through persistence, reproductive transmission, inherited functional variation, and selection under...

James Pollack · 0 citations
#software testing Open access Sep 2026

Reproducibility package for "Auditing autonomous water-allocation decisions under scarcity: a reproducible challenge benchmark for value-sensitive governance"

This repository contains the complete reproducibility package accompanying the manuscript “Auditing autonomous water-allocation decisions under scarcity: a reproducible challenge benchmark for value-sensitive governance”. The release implements a synthetic single-reservoir benchmark for testing technical auditability,...

Saleem Ahmed Al-Azazi · 0 citations
#software testing Open access Sep 2026

Core calculation modules for "Estimating Sa and Sq directly from half the scan lines"

Version 1.0.0 of the core Python calculation modules accompanying the manuscript Estimating Sa and Sq directly from half the scan lines. Software The package implements complete-grid, half-line and half-point sampling supports, coordinate-area and equal-observation weighting, separate weighted plane removal for each su...

Yibo Wang, Junbiao Zhao, Shuang Li et al. · 0 citations
#software testing Open access Sep 2026

Hysteresis in the Czech Housing Market: Price Dynamics over the First Complete Mortgage Interest Rate Cycle, 2018–2026

The period 2018–2026 offers the first opportunity to observe a complete, closed mortgage interest rate cycle in the Czech Republic: rates fell to a historic trough of 1.98% (March 2021), rose to 5.37% (September 2023) and stabilized around 4.5% from 2025. This paper examines whether the relationship between mortgage ra...

Eduard Hromada · 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.