Skip to content

Category

software testing

3,351 papers

#software testing Preprint Aug 2026

Natural-Language Workflows Are Not Software Yet: Artifact-Driven Compilation for Reliable Agent Execution

Artic is proposed, an artifact-driven workflow compiler that transforms a natural-language workflow into an artifact-driven workflow in which each step declares the artifacts it reads and writes, constraints gate produced artifacts, and explicit control transfers route execution.

Xiang-Zhe Xu, Hanxi Guo, Guangyu Shen et al. · 0 citations
#software testing Preprint Aug 2026

Specification Portability Across LLM Development Agents: Cross-Agent Compatibility in Specification-Driven Software Migration

The results show that specification size alone does not predict implementation quality and that cross-agent transfer can produce substantial agent-dependent degradation, and suggest that specifications in heterogeneous SDD workflows should not automatically be treated as agent-neutral artifacts.

Oleg Grynets, O. Ilchuk, Dariia Zatulna et al. · 2 citations
#software testing Review Open access Aug 2026

Proof of Concept of Large Language Models for Opioid Treatment Policy Surveillance: 97% Agreement With Subject Matter Experts.

LLMs could serve as a quality control check during opioid policy surveillance research, supplementing human review, and benefit from best practices and technical guidelines for LLM utilization.

B. Andraka-Christou, Jae Park, F. Ahmed et al. · 0 citations
#software testing Book Jul 2026

Using Process Mining to Generate AI Agents from Software Engineering Process Records

This work uses event logs extracted from software repositories to discover project-specific agent roles using a predefined SE role vocabulary grounded in repository behavior and generates matching agent specifications and implementations that are aligned with human expectations.

Saimir Bala, Fabiana Fournier, Lior Limonad et al. · 0 citations
#software testing Open access Aug 2026

IMPACT OF PROXIMAL RELATIONSHIPS ON DRUG USE: A STUDY IN THERAPEUTIC COMMUNITIES

Drug use is an ancient practice, but its associated disorders represent a contemporary public health challenge. This study investigates the impact of proximal processes in childhood/adolescence and adulthood on substance use, focusing on the role of Therapeutic Communities (TCs). Using a qualitative methodology, 19 res...

Marceli de Souza Rosa-Pereira, L. Pessoa · 0 citations
#software testing Open access Aug 2026

Designing of a Currency Counting System with Integrated Counterfeit Currency Detection

The findings demonstrate that a software-based prototype integrating machine learning with image analysis can effectively simulate the core functions of a physical counterfeit-detecting banknote counter.

Morufat D. Gbolagade, Muhammed Faisal Husseini, Sadiq Kalli Kori et al. · 0 citations

A framework for identifying turbulence periods with the relative financial Reynolds number: case study on six construction projects

This study proposes a framework for identifying financial turbulence in construction project cash flows using the Relative Financial Reynolds Number (Re(t)). Inspired by fluid mechanics, the indicator captures transitions between stable, high-risk, and turbulent financial regimes and provides an early-warning mecha...

Erman Tümtürk · 0 citations
#software testing Open access Aug 2026

Predicting patient satisfaction with post-small incision lenticule extraction surgery using open-source machine learning software.

OBJECTIVE To predict patient satisfaction 6 months after small-incision lenticule extraction (SMILE) surgery from preoperative clinical data demonstrating the methodological utility of open-source orange data mining software (Orange) feature selection and machine learning (ML) for practice-based evidence. DESIGN A re...

Rebecca M. Cairns, Richard N. McNeely, Mark C. M. Dunne et al. · 0 citations
#software testing Open access Aug 2026

A cross-sectional latent class analysis of depressive and anxiety symptoms in people aged 65 and older

Key factors contribute to differences in depression and anxiety symptoms among older adults: gender, body mass index, ethnicity, occupation before retirement, marital status, physical disability status, independence in activities of daily living, number of chronic diseases, smoking and drinking habits, dietary habits,...

Jing Zhang, Feng Li, Yun-Tong Yao et al. · 0 citations
#software testing Open access Aug 2026

An in silico framework for dissecting the mechanistic origins of in vivo recorded neuronal activity.

Making ISF available as a standalone online resource, it is believed it will facilitate the generation, simulation and analysis of models that reveal mechanistic origins of in vivo recorded activity beyond the barrel cortex for which it was originally designed.

B. Meulemeester, A. Bast, M. Royo et al. · 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.