Skip to content

Category

software testing

3,351 papers

A Study on TSC (Technical Safety Concept) Design and Verification in EMB (Brake by Wire) Systems

<div class="section abstract"><div class="htmlview paragraph">The Electro-Mechanical Brake (EMB) system is a dry-type Brake-by-Wire technology that eliminates hydraulic components and directly controls friction braking using electrical actuators at each wheel. The EMB architecture consists of a Main Center Control Unit...

Dokun Kim · 0 citations
#large language models Book Open access Sep 2026

UMOKWAI Supervision Meta-Router — Selective-loading system for the validation of LLM-generated technical drafts

UMOKWAI Supervision Meta-Router — Selective-loading system for the validation of LLM-generated technical draftsThis work introduces the Supervision Meta-Router, a modular selective-loading operational system designed to review the responses produced by the UMOKWAI Ontological Router. The Meta-Router rests on two non-ne...

Marco Falsetti · 0 citations
#software testing Open access Sep 2026

OrthoGather: a local platform for orthology-based proteome comparison and Gene Ontology enrichment

A locally hosted web application that integrates orthology inference with Gene Ontology enrichment for comparative proteome analysis. It retrieves reference and non-reference proteomes from UniProt, runs OrthoFinder to infer orthogroups, explores orthogroup composition across species through interactive UpSet plots, an...

Carlos Vivas-Rodríguez, David Matallanas, Colm J. Ryan et al. · 0 citations
#large language models Book Open access Sep 2026

UMOKWAI Supervision Meta-Router — Selective-loading system for the validation of LLM-generated technical drafts

UMOKWAI Supervision Meta-Router — Selective-loading system for the validation of LLM-generated technical draftsThis work introduces the Supervision Meta-Router, a modular selective-loading operational system designed to review the responses produced by the UMOKWAI Ontological Router. The Meta-Router rests on two non-ne...

Marco Falsetti · 0 citations
#software testing Open access Sep 2026

spatial-coverage-audit: Reproducible deployment-aligned coverage auditing for environmental prediction intervals

A reproducible audit package for evaluating environmental prediction-interval claims across deployment groups, split designs, finite-output behavior, and target-information budgets. Archive version 0.1.1 adds the Forest Ecosystems evidence extension v2. The software core remains version 0.1.0. The evidence bundle conta...

Liwei Deng, Lu Wang, Zhufang Kuang · 0 citations
#software testing Open access Sep 2026

OrthoGather: a local platform for orthology-based proteome comparison and Gene Ontology enrichment

A locally hosted web application that integrates orthology inference with Gene Ontology enrichment for comparative proteome analysis. It retrieves reference and non-reference proteomes from UniProt, runs OrthoFinder to infer orthogroups, explores orthogroup composition across species through interactive UpSet plots, an...

Carlos Vivas-Rodríguez, David Gomez Matallanas, Colm J. Ryan et al. · 0 citations
#small language model Open access Sep 2026

An Edge-AI-Driven Crystal Structure Exploration Tool for Secondary School Chemistry: Design and Implementation

Crystal structure is one of the most abstract topics in secondary school chemistry. Textbookspresent three-dimensional lattices as flat diagrams, and physical models cannot be modified, sostudents often memorize conclusions such as "NaCl has a coordination number of 6" withoutunderstanding how structure determines prop...

Kerong He · 0 citations
#artificial intelligence Open access Sep 2026

A Right to One's Own Method: Worker-paired AI memory and the recording paradox in Union law

A class of AI system now entering professional workplaces maintains a persistent, individualised record of how a particular worker works, and adapts its outputs to that record. Existing and proposed Union instruments in this field — the GDPR’s automated-decision provisions, the Platform Work Directive, the AI Act’s hig...

Sean MacNiven · 0 citations
#artificial intelligence Open access Sep 2026

A Right to One's Own Method: Worker-paired AI memory and the recording paradox in Union law

A class of AI system now entering professional workplaces maintains a persistent, individualised record of how a particular worker works, and adapts its outputs to that record. Existing and proposed Union instruments in this field — the GDPR’s automated-decision provisions, the Platform Work Directive, the AI Act’s hig...

Sean MacNiven · 0 citations
#software testing Open access Sep 2026

Autonomous emergency braking optimal coordination control strategy for commercial buses considering safety and comfort

The traditional dual-stage warning and dual-grade braking autonomous emergency braking (AEB) control strategy has sudden change in the expected braking deceleration during the switch of working state, which will easily lead to significant longitudinal jerk of the vehicle and affect ride comfort during emergency braking...

Shou-Lin Gao, Xing-Yu Liu, Jian-Long Hu et al. · 0 citations
#artificial intelligence Preprint Sep 2026

What is the Difference Between Me and You? Benchmarking the Quality Gap Between Human-Written and AI-Generated Code

This work compares human-written and AI-generated code at scale, characterize structural complexity and statistical naturalness, and map static-analysis findings onto Orthogonal Defect Classification for defects and the Common Weakness Enumeration for vulnerabilities, making authors and languages directly comparable.

Cristina Improta, Pietro Liguori, D. Cotroneo · 0 citations
#artificial intelligence Preprint Sep 2026

NDT Factory: Synthesizing Verified Network Digital Twins from Semantic Models via Multi-Agent LLM

The NDT factory is introduced, a multi-agent software system that synthesizes executable behavioral NDTs on demand from semantic models using Large Language Model (LLM), demonstrating reliable synthesis with deterministic, verifiable execution.

Sudipta Acharya, P. Djukic, Burak Kantarci · 0 citations

From tech blogs

See all →
Microsoft Research Blog Nov 5, 2026

Formally verifying agent-written full-stack web apps with PDD Kit

AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…

GPT-Lab Nov 3, 2026

Sovereignty Is the Option to Leave

Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.

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.

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