Skip to content

Category

software testing

3,200 papers

#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.

The study did not include learners with visual impairment, Braille teachers, rehabilitation specialists, or other end users, and it did not collect quantitative measures of accuracy across the full character set, writing speed, embossing quality, latency, durability, safety, and user satisfaction.

I. Mahariq, Ibrahim Arpaci, A. 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
#software testing Preprint Sep 2026

Geometry-Based Metrics for Early-Stage Hull-Form Producibility Screening

This paper presents a representation-aware framework for geometry-based screening of hull-form producibility at early design stages. The proposed signature combines dimensionless total and signed developability deviation with curvature-class area fractions, distributed fields, metric-specific validity, and representati...

Unknown authors · 0 citations
#software testing Review Sep 2026

The people-process-technology triad in BIM implementation: structural analysis of hierarchical interdependence

Despite widespread adoption of building information modelling (BIM), the architecture, engineering and construction (AEC) industry continues to report suboptimal implementation outcomes due to misaligned people, process and technology (PPT) factors. While sociotechnical systems theory posits these elements interact...

F. Guribie, A. Dauda, Joyce Twumwaa Akubah et al. · 0 citations
#data science Open access Oct 2026

Status of the GRATTIS Mission

The Gravitational Reference Advanced Technology Test In Space (GRATTIS) mission will demonstrate the functionality and sensitivity performance of the Simplified Gravitational Reference Sensor (S-GRS), an ultra-precise inertial sensor for future Earth geodesy missions. These sensors are used to measure or compensate for...

John W. Conklin · 0 citations
#software testing Open access Sep 2026

MINDSET 2.0: feasibility of digital decision support for epilepsy self-management

Background The Managing Epilepsy Well Network (MEWN) epilepsy self-management (ESM) training programs assist people with epilepsy (PWE) in improving their ESM and co-morbidities. The online bilingual Management Information & Decision Support Epilepsy Tool (MINDSET) was enhanced to provide recommendations for these prog...

Refugio Sepulveda, Ross Shegog, Katarzyna Czerniak et al. · 0 citations

From tech blogs

See all →
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.

Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring 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.