Skip to content

Category

software testing

3,351 papers

#software testing Open access Sep 2026

Truth-Blind Lifecycle-Conditioned Metamorphic Testing: OpenSees Tier-A Evidence and Software

Prospective truth-blind lifecycle-conditioned metamorphic-testing artifact for rollback-sensitive numerical software. The release records OpenSees 3.8.0 at commit 6e55293513192aa05c7e1205e66a5a1a1ed088c4, a frozen information-flow protocol, 24 constructed cases, 72 fresh native processes, isolated truth sidecars, detec...

Yangqi Ma, Weiji Sun, Bing Liang et al. · 0 citations
#software testing Open access Sep 2026

Investigation of Antiretroviral Therapy (ART) use and drug resistance characteristics in HIV-positive patients

Objective In recent years, the global increase in drug resistance rates against antiretroviral therapy (ART) regimens has underscored the importance of incorporating HIV drug resistance testing into routine clinical practice and its critical role in treatment success. The aim of this study was to determine HIV drug res...

Şeyma Topal, Özgür Günal, tulin demir et al. · 0 citations

Nexus Point: The Tech & Strategy Hub

The Tech and Strategy Hub will have booths related to the following areas VoiceThread (Michelle Holland): Moving Past Silent Screens to Hearing Student Voices with VoiceThread - This session will introduce VoiceThread as a simple, effective tool for increasing student interaction, especially in asynchronous and online...

Unknown authors · 0 citations
#small language model Review Open access Sep 2026

Digital Language Laboratories in Indian Secondary Education: Effectiveness, Pedagogical Integration, Implementation Challenges and Policy Alignment

Digital language laboratories have re-emerged in Indian school-education discussions as networked environments for listening, speaking, pronunciation, multimedia practice, formative feedback and digitally mediated interaction. Their educational value, however, cannot be inferred from the presence of computers, headsets...

N. Raja, G. Kalaiyarasan · 0 citations
#artificial intelligence Open access Sep 2026

The Generation-Governance Impedance Mismatch: Protocol-Governed Systems in the AI Era

The increasing adoption of generative artificial intelligence (AI) in software development introduces a structural asymmetry: implementation generation now occurs at machine speed, while behavioral governance remains constrained by institutional deliberation. These processes are not merely mismatched in velocity; they...

Bhash Ganti, Bhash Ganti · 0 citations
#artificial intelligence Open access Sep 2026

The Generation-Governance Impedance Mismatch: Protocol-Governed Systems in the AI Era

The increasing adoption of generative artificial intelligence (AI) in software development introduces a structural asymmetry: implementation generation now occurs at machine speed, while behavioral governance remains constrained by institutional deliberation. These processes are not merely mismatched in velocity; they...

Bhash Ganti, Bhash Ganti · 0 citations
#software testing Open access Aug 2026

Multi-Agent Strategies for Bridging Programming Language Gaps in Code Generation

This work introduces XL-CoGen, a three-stage multilingual code-generation pipeline that starts from a natural-language specification and a shared test list to generate correct implementations across multiple target languages and repairs the best candidate through diagnosis and minimal patching.

Micheline Bénédicte Moumoula, Serge Lionel Nikiema, Albérick Euraste Djiré et al. · 0 citations
#software testing Open access Aug 2026

Pengaruh Integrated Marketing Communication terhadap Minat Nasabah pada Produk Pembiayaan Gadai Emas di Bank Riau Kepri Syariah KCP Siak Perawang

This study investigates the influence of Integrated Marketing Communications (IMC) on customer interest in Rahn (gold pawn) financing at Bank Kepri Syariah KCP Siak Perawang, Riau, utilizing Partial Least Squares (PLS) analysis. The research is motivated by the observation that marketing communication efforts for the R...

Devina Devina · 0 citations
#software testing Open access Aug 2026

Optimasi Pemanfaatan Ruang Parkir Pinggir Jalan Berbasis Internet of Things (IoT) untuk Mendukung Smart City

IoT utilization holds significant potential to support the digital transformation of efficient, transparent, and sustainable urban transportation management and empirical insights showing that complex urban parking occupancy relies on real-time multi-variable data integration beyond simple traffic flow are provided.

Muhammad Ghrandiaz Tengku Idris, Adi Widiantono · 0 citations
#software testing Open access Aug 2026

Volatile Organic Compounds as In Vitro Biomarkers of Leishmania major

The in vitro VOC profile of Leishmania major represents a metabolic fingerprint of parasite activity and highlights candidate biomarkers with diagnostic potential and support further investigation of VOC-based tools for automated culture detection and noninvasive diagnosis in resource-limited settings.

Alex Green, A. Zabala, Phillip Scott et al. · 0 citations

Vibe Coding: An Experiment with Test-Driven Development

This exploratory study aims to investigate how humans and CLLMs can collaborate as peers through vibe coding, an approach that integrates principles from prompt engineering, agile design, and human-AI co-creation to enhance collaboration.

Moritz Mock, Barbara Russo · 0 citations

From Tool Use to Technological Agency: LoopCAT as a Local-First, Open-Source Tool for Translation Technology Education

LoopCAT is presented, an Apache-2.0-licensed, local-first computer-assisted translation environment co-created with OpenAI Codex using GPT-5.5 and GPT-5.6, and a framework connecting workflow competence, evaluative judgement, and technological agency is proposed.

Gökhan Doğru, Adrià Martín Mor · 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.