Skip to content

Category

software testing

2,573 papers

#software testing Open access Sep 2026

Humanistic Logic Routing: A Conceptual Architecture for Ethical Machine Decision Control

This conceptual paper introduces Humanistic Logic Routing, a tri‑gate decision architecture designed to embed ethical reflexes directly into hardware logic flows. The framework explores how autonomous systems can prioritize human survival independent of cloud‑based guardrails, brittle software constraints, or centraliz...

Mike Seahorn · 0 citations
#software testing Open access Sep 2026

balmame7-mld/fpga-transformer-ccontrol-flow: Release — FPGA Transformer accelerator artifact

release accompanying the paper "A Validated FPGA Transformer Accelerator for Embedded C Control-Flow Classification: A Deployment and Debugging Case Study." Contains the complete deployment pipeline: PyTorch training notebook, Vitis HLS kernel sources, ARM Cortex-A9 firmware, the 200-example evaluation set, and per-mod...

mohamed_lamine_djenepo · 0 citations
#edge computing Open access Sep 2026

pq-verify: Independent verification for ML-KEM / ML-DSA implementations

Fixed --vector-dir was ignored for every bundled file. The loader consulted the pinned bundle first by file name, so a caller-supplied vector directory was never read for any file pq-verify also ships, while the report named that directory as the source. A directory with a corrupted expected answer reported 240/240; it...

Nicholas Daniel Maino · 0 citations
#software testing Dataset Open access Sep 2026

Data and code for assessing cold-region rural human settlements under decision uncertainty

This dataset supports the manuscript “When composite assessment masks intervention needs: Burden–support mismatch and priority reclassification in cold-region rural human settlements” (ECOLIND-62108). Version 2 adds Reproducibility_Package.zip, containing the harmonised performance-normalised 41-region by 23-indicator...

Jiahua Li, Yufan Lai · 0 citations
#software testing Open access Sep 2026

duncan-clark/PPDisentangle: v0.2.0 — current major-revision analysis and paper reproduction

This release brings the public software archive up to the current major-revision analysis and provides the matching Oklahoma paper-reproduction workflow. The companion results v2 contains Oklahoma job 8804859 plus its ATE backfill: 818 post-treatment events, a 250-day temporal cutoff, 512 attempted bootstrap replicates...

Dr Duncan Clark · 0 citations
#software testing Open access Sep 2026

IDSX v0.2.1: Domain Rules, Audit Semantics and Reference Implementation

IDSX v0.2.1 is a software distribution combining the IDSX specification with executable reference implementations for domain-rule validation and normative audit resolution. IDSX complements the buildingSMART Information Delivery Specification (IDS) by addressing engineering requirements involving domain relationships,...

Daniel Luiz de Mattos Nascimento · 0 citations
#software testing Open access Sep 2026

Artificial intelligence based image recognition using limited-resource hardware for an aerial drone application

Existing search and rescue (SAR) systems using aerial drones depend on transmitting images to ground stations for decision making, as drones typically lack on-board image processing capability – particularly those at the lower end of the market. Despite technological advances, lightweight, low-cost and small-size image...

Siu Chung Kevin Shek · 0 citations
#software testing Open access Sep 2026

EXPERIMENTAL AND SIMULATED PERFORMANCE STUDY OF A SMALL-SCALE GAS TURBINE ENGINE USING JET A-1 AND PALM OIL BIODIESEL BLENDS

The experimental and simulated performance of an Armfield CM4 turbojet engine was investigated for conventional Jet A-1 fuel as well as its blends with palm oil biodiesel (PME), a form of fatty acid methyl ester (FAME). The volumetric blends of PME with Jet A-1 are 20, 50, 70 and 100% (B20, B50, B70 and B100). Fuel hea...

Ezanee Gires · 0 citations
#software testing Open access Sep 2026

The Role of the Ministry of Economy in Controlling Consumer Goods Prices Amidst Exchange Rate Fluctuations in Libya

This research paper addresses the issue of the continuous rise and fluctuation of consumer goods prices in Libya, and the resulting direct impacts on citizens' purchasing power and standard of living. The study focuses on the effectiveness of the Ministry of Economy's interventions in controlling prices and managing th...

Mohamed Abdel-Ali Masoud · 0 citations
#software testing Open access Sep 2026

Green Economy and Sustainable Economic Development in Thane District, An Empirical Analysis

Abstract This study examines the interrelationship between sustainable financial development and the green economy in the Thane district of Maharashtra State. Primary data was collected from 200 respondents. The level of sustainable financial development and the green economy were assessed using questions based on a fi...

Sanket Sanjay Sneha Kulkarni · 0 citations
#software testing Open access Sep 2026

Numerical Stability and Perturbation Behaviour in TF-IDF-Based Similarity Systems

A self-contained implementation and analysis of a TF-IDF-based document similarity and ranking system, written to make the algebraic structure and perturbation behaviour of the pipeline explicit. The work treats ranking stability as a first-class object, characterising it through score-separation margin distributions,...

Matthew Maksymilian Miezaniec · 0 citations
#software testing Open access Sep 2026

Conformal Effort Intervals: Distribution-Free Prediction Intervals for Software Effort and Their Empirical Reliability under Deployment Shift

Replication package for Conformal Effort Intervals: Distribution-Free Prediction Intervals for Software Effort and Their Empirical Reliability under Deployment Shift. Conformal prediction turns any effort estimator into one that outputs an interval with a coverage guarantee that is distribution-free and holds for any b...

Amany M. Draz, Manal A. Abdel-Fattah, Safaa Magdy Azzam · 0 citations

From tech blogs

See all →
MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

GPT-Lab Sep 23, 2026

Requirements Don’t Live in Isolation: What We’re Exploring with Req-Space

Requirements in large systems rarely exist in isolation. Their meaning depends on the wider project context - other requirements, policies, decisions, tests, and implementation details. That becomes especially important when AI is used for review, because spotting a possible conflict or gap is only the beginning. ReqSpace explores how AI, visualisation, and connected project context can help reviewers understand those findings, trace the relationships behind them, and focus on the questions that…

GPT-Lab Sep 17, 2026

Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering

AI is making software generation faster, but speed does not remove the need for expertise. As more work is delegated to AI, tacit knowledge may become one of the most important human advantages in software engineering. The post Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering appeared first on GPT-Lab.

MIT News · Artificial Intelligence Aug 17, 2026

Q&A: Rethinking how innovation happens

In his latest book, Professor Eugene Fitzgerald examines the forces that turn breakthroughs into value — and why innovation resists simple formulas.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.