Skip to content

Category

software testing

2,639 papers

#software testing Open access Sep 2026

DL-MRS: a module-level microglial response score for Alzheimer disease transcriptomics

Analysis code, module definitions and provenance, processed module-level inputs derived from public GEO datasets, fold assignments, preprocessing parameters, and fold-specific neural-network weights supporting the DL-MRS study. The package contains three ensembles: the primary eight-feature model, the common-gene eight...

Lei Ren, Wenhao Ouyang, Zijia Lai et al. · 0 citations
#software testing Open access Sep 2026

DL-MRS: a module-level microglial response score for Alzheimer disease transcriptomics

Analysis code, module definitions and provenance, processed module-level inputs derived from public GEO datasets, fold assignments, preprocessing parameters, and fold-specific neural-network weights supporting the DL-MRS study. The package contains three ensembles: the primary eight-feature model, the common-gene eight...

Lei Ren, Wenhao Ouyang, Zijia Lai et al. · 0 citations
#edge computing Open access Sep 2026

brunetch123/K2-Annotator: K2 Annotator v3.1.0

Release produced from an independent scientific and software review of v3.0.21 against the manuscripts the pipeline implements (Koelmel et al. 2022, Brunet et al. NYCSS manuscript + SI, Kwiecien et al. 2015). Finding IDs (S-* scientific, D-* design) refer to that review; every finding is pinned by a test in the new tes...

Christopher Brunet · 0 citations
#edge computing Dataset Open access Sep 2026

Laboratory dataset for a locally fabricated flat Coanda-effect screen: 52 clear-water runs and model capacity predictions

Laboratory dataset for a locally fabricated flat Coanda-effect screen Fifty-two clear-water runs on a flat Coanda-effect screen intake fabricated from locally available materials, with the measured capture compared against the predictions of the Coanda-effect screen analysis software distributed by the US Bureau of Rec...

Eduardo Carrión Coronel · 0 citations
#edge computing Open access Sep 2026

Daimon Interceptor

Based on the provided documentation, here is a comprehensive summary of the automated interceptor system's architecture, divided into its core subsystems and physical requirements. Core Functional Disciplines An automated short-range or counter-unmanned aerial system (C-UAS) interceptor is split into three foundational...

francis lee · 0 citations
#edge computing Open access Sep 2026

Daimon Interceptor

Based on the provided documentation, here is a comprehensive summary of the automated interceptor system's architecture, divided into its core subsystems and physical requirements. Core Functional Disciplines An automated short-range or counter-unmanned aerial system (C-UAS) interceptor is split into three foundational...

francis lee · 0 citations
#software testing Dataset Open access Sep 2026

Enhancing Near-Real-Time Amazon Forest Monitoring Using GeoAI: A Case Study on Selective Logging — companion reproducibility data

This record contains the companion data for the paper Enhancing Near-Real-Time Amazon Forest Monitoring Using GeoAI: A Case Study on Selective Logging. It is organised into seven categories: the pretraining corpus for the spatiotemporal masked-autoencoder foundation model; the labelled dataset the downstream model is t...

Evandro Taquary, Guilherme Mataveli, Sérgio Nogueira et al. · 0 citations
#software testing Open access Oct 2026

On the SHELX, PLATON and IUCr/checkCIF crystal structure validation platform.

With checkCIF the IUCr has created a unique platform for the validation and archiving of the result of a small-molecule crystal structure study. That information, supplied in CIF (crystallographic information file) format, should include not only the numerical results of that study but also much of the supporting exper...

A. L. Spek · 0 citations
#software testing Preprint Sep 2026

SoK: You Find What You Seek: Rethinking Oracles, Guidance, and Input Generation in Hardware Fuzzing

This SoK examines which lessons from software fuzzing carry over to hardware and where unique approaches are needed and suggests that mainstream adoption of hardware fuzzing will require reusable interfaces, target-specific verification assets, reproducible evaluations, and transparent reporting of cost and user effort...

Unknown authors · 0 citations
#software testing Review Sep 2026

Design and functional verification of an automated Perkins Brailler accessory with audio feedback.

PURPOSE: This study presents a proof-of-concept automated accessory designed to actuate selected functions of a standard Perkins Brailler. MATERIALS AND METHODS: The prototype uses push-type electromagnetic solenoids to operate the Brailler keys, a gear motor to support carriage return, and a computer-based interface t...

Ibrahim Mahariq, İbrahim Arpacı, Ahmad Alazmi et al. · 0 citations
#software testing Preprint Sep 2026

A fully implicit electromagnetic energy- and charge-conserving PIC model for simulations of high-$\beta$ plasma

The paper presents a 3D numerical model of plasma in which a fully implicit PIC method with exact conservation of global energy and local charge is generalized to the electromagnetic case. This opens the possibility of simulating plasma equilibria with a high (up to an extreme) ratio of plasma pressure to magnetic fiel...

V. Kurshakov, I. Timofeev · 0 citations
#software testing Preprint Sep 2026

Verified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal Control

This work fine-tune a code-centric LLM on transformations produced by Wyvern and embed Alive2 into a feedback loop that enforces semantic preservation for every generated rewrite, demonstrating that generative AI components can be safely integrated into compiler pipelines through deterministic validation and structured...

Devyani Singh, Rong Feng, Suman Saha · 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.