Skip to content

Category

software testing

2,643 papers

#software testing Open access Sep 2026

A model carbonized papyrus scroll opens a novel path to identifying readable scrolls of the Herculaneum Library.

We report the successful fabrication of a laboratory-made carbonized papyrus scroll and the virtual unrolling and reading of its custom leaded ink text, using X-ray tomography. We believe this is the first confirmed proof of concept to show that the presence of lead in Herculaneum scrolls would greatly increase the pro...

Douglas Seiler, J. LaManna, Michael F. McOsker et al. · 0 citations
#software testing Open access Sep 2026

Stability Analysis on Double Diffusive Convection for a Non Newtonian Fluid with Relaxation Stress, Thermal Diffusion and Internal Heat Generation

The investigation, Stability Analysis on Double Diffusive Convection with relaxation stress, Thermal Diffusion and Internal Heat Generation was carried out for non-Newtonian fluid systems. The Boussinesq approximation was used for the density variation with temperature and concentration. Also, the Rosseland approxim...

K. T. Davies · 0 citations

SEEDS: a framework for socio-environmental decision support in early-stage building design

Building sustainability certification systems often assess criteria in isolation, overlooking interactions and trade-offs between aspects. This paper introduces SEEDS (Socio-Environmental Early-stage Decision Support), a tool designed to help stakeholders in building design identify and evaluate the impact of socia...

Anna Elisabeth Kristoffersen, C. Schultz, A. Kamari · 0 citations
#software testing Open access Sep 2026

Evaluation of Forensic Genetic Efficiency Parameters of 23 Autosomal STR Markers (PowerPlex® Fusion 6C system) in a Population Sample of Hadoti Region

Rajasthan’s southeastern part is known as “the land of Hada (Clan) Rajputs” i.e Hadoti. In this study, genetic structure of Hadoti population, who exhibited diverse ethanographic past, have been explored using 23 autosomal STR loci [PowerPlex® Fusion 6C (PPF) system] by the way of determining allele distribution and fo...

B. Poonia, Sangita Gupta · 0 citations
#software testing Open access Sep 2026

Effect of 3D superimposition software on intraoral scanner accuracy and monitoring outcome

To determine whether 3D superimposition software (“Apps”) systematically affects 3D deviation outcomes derived from intraoral scanner (IOS) data, using two quantile‑range accuracy metrics (Q90_Q10_half and Q95_Q05_half). Two jaw‑sized reference models were digitized with a high‑resolution optical scanner (ATOS III) to...

A. Mehl, Jenny Buhl, A. Ender · 0 citations

Process parameter effects on the mechanical behavior of FDM-printed PLA/CF

Abstract In this study, the effects of printing temperature and travel speed on the mechanical properties of carbon fiber–reinforced polylactic acid (PLA/CF) filaments, fabricated by the fused deposition modeling (FDM) process, are investigated. Surface morphology, crystallinity, and functional groups were characterize...

H. Kebir, M. Ö. Öteyaka, W. Zouari et al. · 0 citations
#software testing Preprint Sep 2026

Symplectic lattice gauge theories in the Grid framework: domain wall fermions and continuum extrapolations

We report the results of the first numerical lattice study using domain-wall fermions in the Sp(4) gauge theory coupled to two flavours of (Dirac) fermions, transforming in the fundamental representation of the gauge group. This theory plays a prominent role in the literature on extensions of the Standard Model with co...

E. Bennett, Peter A. Boyle, L. Del Debbio et al. · 1 citation
#federated learning Dataset Open access Sep 2026

"Classical vs. AI-Based Methods in Autonomous Vehicles - Reproducible Experiments from Perception to Field Safety Data"

"AV-Stack-Eval is a reproducible research dataset for comparing classical and AI-based methods across the autonomous vehicle (AV) software stack. It packages the inputs, source code, per-replicate results, summary statistics, tables and figures of twelve controlled experiments (E1\u2013E12). The experiments cover perce...

Ajay Waghmare · 0 citations
#software testing Preprint Sep 2026

Flash-Radiomics: A Scalable Hybrid CPU-CUDA Engine for Standardized Scalar Radiomics and Accelerated Spatial Mapping

Background and Objectives: Spatial mapping retains the spatial distribution of radiomic features, but computational cost and fragmented software limit its use. We developed Flash-Radiomics with scalar extraction and spatial mapping, a central processing unit (CPU) backend, a hybrid Compute Unified Device Architecture (...

Shan-Li Ding, Yi-Yi Hu, Zi-Yu Fu et al. · 0 citations
#software testing Preprint Sep 2026

FloatLib: Verified Floating-Point Arithmetic in Lean

We present FloatLib, a verified arbitrary-precision floating-point arithmetic library in Lean 4 that combines broad format coverage, machine-checked correctness, and efficient certified execution. To our knowledge, FloatLib is the first Lean library to unify IEEE binary and decimal arithmetic, arbitrary-width posits, P...

Robert Joseph George, W. Adkisson, Anima Anandkumar · 0 citations
#software testing Open access Sep 2026

Risk Alert System to Facilitate Universal Suicide Risk Screening in Emergency Care: Protocol for a Prediction Model and Software Development Study Using a Co-Design Approach.

The Clinical Risk Alert System for Suicide Risk Screening in Emergency Settings (CARES) project aims to lower the practical threshold for universal screening by developing a risk alert system software prototype for use among patients presenting to emergency care, prompting a brief, validated suicide risk screening and...

Montserrat López-Fernández, Raúl Rodríguez Valderas, Ana Portillo-Van Diest et al. · 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.