Skip to content

Category

software testing

3,200 papers

#software testing Review Open access Sep 2026

A Text-Mining Algorithm for Identifying Drug Pairs Potentially Involved in Prescribing Cascades: Development and Internal Validation Within the Prescribing Inappropriateness Assessment (PINA) Digital Tool.

An algorithm designed to identify drug pairs potentially compatible with PCs and evaluated its classification performance may represent a scalable and reproducible strategy for supporting structured medication review and facilitating the recognition and clinical evaluation of potential PCs.

Massimo Carollo, Anna Forti, S. Crisafulli et al. · 0 citations

RecreationWorld: Scalable and Verifiable Environments for Hybrid Computer-Use Agents

This work introduces RecreationWorld, a five-platform framework built around recreation: given a running reference, an agent must discover its behavior and build a faithful implementation with no prescribed workflow, and introduces RecreationBench, comprising 250 diverse tasks across domains and platforms.

Shuai Bai, Jia-Yong Deng, Si-Cheng Fan et al. · 1 citation
#artificial intelligence Preprint Sep 2026

SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?

Ensuring the correctness of LLM-generated code is a core challenge for modern software engineering. Benchmarks for agentic code generation check correctness with held-out test suites, which are inherently incomplete and increasingly susceptible to memorization. Formal verification avoids both problems, but existing wor...

George Ma, Benjamin Mikek, Hao-Yu Li et al. · 0 citations
#artificial intelligence Preprint Sep 2026

LEGIT: Credentialing Protocol for Trustworthy AI Agent Marketplaces

Agentic marketplaces are emerging where AI agents with varying capabilities autonomously complete specialized tasks for buyers. A major challenge of such marketplaces is that buyers cannot easily determine which agent will perform best on their tasks. Reported benchmark scores may be difficult to verify or compare acro...

Steve Drew, Jia-Yu Zhou · 0 citations
#software testing Open access Sep 2026

An efficient and cost-effective statistical voltage-based method for passive islanding detection in microgrids

Unintentional islanding is defined as the condition in which a section of the power grid continues to be energized by distributed generators after disconnection from the utility grid, for example, due to a fault. This situation remains a significant protection challenge in microgrids with high penetration of inverter-b...

Elijah Gbenga Osunkentan, R. D. dos Santos, Adedeji Adeyemi · 0 citations
#software testing Dataset Open access Sep 2026

Evolutionary alignment and derived data for TMD-proximal synonymous conservation analysis

This dataset contains the frozen comparative-alignment inputs and author-generated derived data used to support the evolutionary component of the study “Evolutionary-functional tests constrain links between TMD-proximal synonymous architecture and cotranslational membrane-protein handling.” The archive includes the exa...

MING LI · 0 citations
#software testing Open access Sep 2026

robertolocatelli81-dev/cryptovalid-opencore: cryptovalid-opencore 0.14.0 — checkpoints, witnesses, split-view evidence, SCITT

0.14.0 — checkpoints, witness cosignatures, split-view and freshness (2026-09-19) Two limits declared in the README since 2026-08-17 — split-view / equivocation and rollback / freshness were "future work" — are now measured features, built with the transparency ecosystem's own formats so that the ecosystem's own softwa...

robertolocatelli81-dev · 0 citations
#software testing Open access Sep 2026

Size Classification for Software Maintenance Projects Through a Simplified Minimalist Machine Learning Algorithm

In the software engineering field, the size of projects is used as explanatory variable for predicting the effort, duration, defects, costs, or risks of a project. Thus, the software project size has been considered the most influential factor. A systematic mapping study on the use of categorical data in software pre...

Cuauhtémoc López-Martín, C. Yáñez-Márquez, Ali Bou Nassif · 0 citations
#software testing Dataset Open access Sep 2026

TEMA-ENM model parameters: bilinear attention network for ghrelin receptor agonist/antagonist classification

Trained model parameters for the manuscript TEMA-ENM: An Interpretable Attention-Topology Framework Separates Affinity- and Efficacy-Associated Residue Signals in the Ghrelin Receptor (RSC Digital Discovery, under review). This record contains parameters only: the BiLSTM-BAN backbone pre-trained on BindingDB (49,199 pa...

Chih‐Yang Cheng, Yi‐Huan Wu, Feng-Yin Li · 0 citations
#software testing Open access Sep 2026

Analisa dan Perancangan Sistem Informasi Perpustakaan Menggunakan Metode Waterfall

The results of this study indicate that the designed web-based library information system is able to support the management of user data, book categories, book data, borrowing and returning transactions, book stock, and borrowing history.

Devara Putri, Andika Purnama, Ahmad Taufik · 0 citations
#software testing Open access Sep 2026

ML-QTLB: A Hybrid Machine Learning and Queueing-theory Model for Server-side Load Balancing in SDN

Software-Defined Networking (SDN) enables centralized and programmable network management, making it a key enabler for intelligent load balancing in modern network infrastructures.However, existing load balancing approaches rely on static algorithms or instantaneous resource metrics that fail to capture the dynamic que...

Mohanad Yahya Al-hamami, Maghrib Abidalreda Maky Alrammahi, Ali Mohammed Taher · 0 citations
#software testing Open access Sep 2026

Robust Mission-Lifetime Screening of ALD-Protected Bio-Based PLA under Uncertain Low-Earth-Orbit Atomic-Oxygen Exposure: Reproducibility Package

Executable reproducibility package for the study “Robust Mission-Lifetime Screening of ALD-Protected Bio-Based PLA under Uncertain Low-Earth-Orbit Atomic-Oxygen Exposure”. The archive contains the source-derived data tables, Python analysis code, generated numerical outputs, publication figures, regression tests, pinne...

Santiago Moll-López, Erika Vega-Fleitas, J.-A. Moraño 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.