software testing

Artifact of Lessons to Define Testing Oracles for Hybrid Quantum–Classical Software

HQC Runtime Test Oracles: Artifact Abstract Hybrid quantum–classical (HQC) software poses a fundamental test-oracle problem: executions are stochastic, correct outputs are often unknown in advance, and final results conceal the optimisation process that produced them. A decade of research has characterised major HQC fa...

Reproducibility Package: A Nondimensional Langevin Model for Driven Stochastic Computing

NTC-1 Reproducibility Package Nondimensional Driven Langevin Transport Model This repository contains Python source code, processed simulation outputs, configuration files, and figure-generation scripts supporting the revised manuscript: A Nondimensional Langevin Model for Driven Stochastic Computing: Conceptual Phonon...

Entwickeln eines automatisierten Schaltgetriebes für Motorräder

Zukünftige Emissionsziele erfordern einen hohen Wirkungsgrad des Antriebes. Dabei sind automatisierte Getriebe erforderlich, deren Schaltverhalten durch die Motorelektronik beeinflusst werden kann. Herkömmliche Automatik- bzw. Doppelkupplungsgetriebe bieten ein hervorragendes Schaltverhalten. Nachteilig bei diesen Getr...

Central Asian aerosol size and vertical regimes track the seasons rather than monthly stability anomalies: data, outputs and code

Processed research data, analysis outputs and code for the study “Central Asian aerosol size and vertical regimes track the seasons rather than monthly stability anomalies”. This is the data and code archive; the manuscript and Supplementary Information themselves are available through the journal. Version v11 (revised...

The Study on Green Finance Awareness Among Lecturers in Politeknik Ungku Omar

Green finance has become a critical mechanism for addressing environmental challenges through sustainable economic development. As climate concerns grow, digital tools are giving green finance an advance. Fintech innovations are making sustainable investments easier to understand, quicker to access and open to more peo...

Biological Pauli Holes: analysis code and numerical results

Analysis code and numerical results for a study of whether Pauli confinement of a transferring hydrogen can contribute to enzyme catalysis, tested in soybean lipoxygenase. Contains the analysis code (the confined-hydrogen solver, the SAPT exchange-curvature campaigns, the range-weight budget, the transverse proton Hess...

ROLES OF COMMUNITY PHARMACISTS IN IMPROVING THERAPEUTIC ADHERENCE AMONG ADULTS WITH DIABETES: A CROSS-SECTIONAL STUDY IN THE KHÉNIFRA REGION, MOROCCO

Diabetes Federation, diabetes affects hundreds of millions of adults worldwide with a substantial proportion remaining undiagnosed .With the advancement of diabetes management strategies, therapeutic adherence has emerged as a pivotal component of care, and diabetic patients increasingly turn to community pharmacists a...

Triangulating Prompt Engineering Effectiveness for Edge Case Detection: Integrating Expert Quality Review with Association Rule Mining in LLM-Driven Software Testing

Biological Pauli Holes: analysis code and numerical results

Analysis code and numerical results for a study of whether Pauli confinement of a transferring hydrogen can contribute to enzyme catalysis, tested in soybean lipoxygenase. Contains the analysis code (the confined-hydrogen solver, the SAPT exchange-curvature campaigns, the range-weight budget, the transverse proton Hess...

TyMill/FedGridSim: v1.2.0

FedGridSim v1.2.0 — Reviewer Revision Release Overview FedGridSim v1.2.0 is the reproducibility release accompanying the revised manuscript: "Federated Learning for Resilient Smart-Grid Monitoring: A Physics-Based Simulation Framework for Distributed Energy Networks." The release consolidates the simulation, federated-...

From Untestable to Testable: Metamorphic Testing in the Age of Large Language Models

This article discusses the challenges of testing software systems with increasingly integrated AI and LLM functionalities. LLMs are powerful but unreliable, and labeled ground truth for testing rarely scales. Metamorphic Testing solves this by turning relations among multiple test executions into executable test oracle...

Simulation and Deployment Tools

This chapter surveys the simulation environments and deployment workflows used throughout the book. It begins by examining the role of simulation in the development and evaluation of learning-based control systems. The chapter then compares two primary implementation environments used in the projects presented in the b...