Skip to content

Category

software testing

3,200 papers

#software testing Open access Sep 2026

TCEH Compound Events: Data Processing and Visualization Code

# TCEH: Tropical Cyclone–Extreme Heat Compound Events## Code Repository — Data Processing & Visualization Associated paper:Zhao, Y., Frucht, S., Raymond, C., & Baldwin, J. W. (2026). Tropical Cyclone-Extreme Heat Compound Events Exhibit Amplified Landfall Cooling and Rapid Heat Stress Resurgence.(https://doi.org/10.225...

Yu Zhao · 0 citations
#software testing Open access Sep 2026

Bugs in a Perfect Substrate: An Ontology of Software Defects

The word bug entered engineering usage with a precise referent: a substrate intrusion — a physical object occupying space in a mechanism whose designed geometry excluded it. Around defects of this kind, a measurement apparatus was built — statistical process control, defect density, process capability — whose load-bear...

Oliver Albrecht · 0 citations
#software testing Dataset Open access Sep 2026

Metatlas2 Development Environment Data

This dataset contains all required files for testing the local standalone instance of the metatlas2 software.

Brandon Kieft · 0 citations
#graph neural networks Open access Sep 2026

Computational Primes: A Systematic Framework for Partitioning Neural Network Computation Across Analog and Digital Domains

Twelve irreducible operations (P1-P12) with known physical implementations, and four without, as a basis for deciding which parts of a neural network belong in the analog domain. 114 algorithms are factored into these primes; the paper builds a compiler that decomposes a compute graph, assigns each prime to a domain, f...

Michael Bieg · 0 citations
#software testing Dataset Open access Sep 2026

Pathogen-induced red pigmentation reveals floral defense in Asteraceae

This Zenodo record contains supplementary datasets and analysis outputs supporting the study “Pathogen-induced red pigmentation reveals floral defense in Asteraceae.” The deposit includes experimental source data, statistical test results, RNA-seq summaries, and processed LC–MS/MS metabolomics data for mock-inoculated...

Suraj Hassan Muralidhar, Jan van kan · 0 citations
#software testing Open access Sep 2026

From Corrigibility to Answerability: A correction contract for scoped authority and verified consequences

A system can accept an intervention without the intervention being justified, and can explain a justified correction without changing the affected outcome. This paper specifies a correction contract connecting four elements: the referent at issue, scoped authority, supporting evidence, and verified consequences. A fict...

mFLO 111 · 2 citations
#software testing Open access Sep 2026

Métodos Formais Aplicados à Assurance Criptográfica

Este whitepaper apresenta um estudo de caso aplicado sobre o uso de métodos formais e técnicas de formal assurance na análise de uma implementação de criptografia baseada em curvas elípticas. O trabalho foi conduzido no contexto de uma simulação de consultoria técnica independente, com foco na identificação de violaçõe...

Franciny Salles Rojas Marin · 0 citations
#generative ai Open access Sep 2026

A Pilot Study of Consistency–Latency Trade-offs in Distributed Caching Under Read-Heavy Concurrent Workloads

This research preprint reports a focused pilot study of consistency–latency trade-offs among direct PostgreSQL access, TTL cache-aside, invalidate-on-write, and write-through caching implemented as a database update followed by a synchronous Redis update. The experiment comprises 20 measured runs, with five repetitions...

Tabish Ali · 0 citations
#software testing Open access Sep 2026

Métodos Formais Aplicados à Assurance Criptográfica

Este whitepaper apresenta um estudo de caso aplicado sobre o uso de métodos formais e técnicas de formal assurance na análise de uma implementação de criptografia baseada em curvas elípticas. O trabalho foi conduzido no contexto de uma simulação de consultoria técnica independente, com foco na identificação de violaçõe...

Franciny Salles Rojas Marin · 0 citations
#software testing Open access Oct 2026

Effect of Harmonic Sound Frequencies on the Regeneration of Connective Tissue Fibroblasts

Exposure to the selected harmonic sound files significantly enhanced fibroblast gap closure under the experimental conditions used in this study, and supports the potential biological relevance of harmonic sound frequencies as used within the Information Medicine approach.

Peter C. Dartsch, Renee Steinmann · 0 citations
#generative ai Open access Sep 2026

A Pilot Study of Consistency–Latency Trade-offs in Distributed Caching Under Read-Heavy Concurrent Workloads

This research preprint reports a focused pilot study of consistency–latency trade-offs among direct PostgreSQL access, TTL cache-aside, invalidate-on-write, and write-through caching implemented as a database update followed by a synchronous Redis update. The experiment comprises 20 measured runs, with five repetitions...

Tabish Ali · 0 citations
#software testing Open access Sep 2026

Using Automated Coding of Nonverbal Behavior During a Suicide Assessment to Inform Risk Detection: Mixed Cross-Sectional and Exploratory Prospective Study.

This study demonstrates the importance of attending to nonverbal channels of communication in suicide assessments, especially those of the clinical interviewer and highlights the potential for automated coding to detect clinically meaningful information efficiently and objectively.

Ilana Gratch, Simon M. Li, Yu-Tong Zhu et al. · 0 citations

From tech blogs

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

Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring 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.