SAP AG

Organization

SAP AG is identified in the available evidence as the institutional affiliation of Achim D. Brucker in a 2013 technical publication on model-based test program generation for microprocessors.

First seen 5/25/2026

Last seen 5/26/2026

Evidence 1 chunks

Wiki v1

WIKI

Overview

SAP AG appears in the provided technical evidence as the affiliation of Achim D. Brucker, one of the authors of the 2013 paper Test Program Generation for a Microprocessor: A Case Study.[C1]

Documented affiliation

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

Achim D. Brucker ← part of 100% 1e

Achim D. Brucker is affiliated with SAP AG.

LINKED ENTITIES

1 links

Achim D. Brucker AFFILIATED_WITH Extracted graph relationship

CITATIONS

2 sources

2 citations — click to collapse

[1] Achim D. Brucker was listed as affiliated with SAP AG at Vincenz-Priessnitz-Str. 1, 76131 Karlsruhe, Germany in the cited 2013 publication. Test Program Generation for a Microprocessor: A Case Study

[2] The cited paper describes generating test programs from a formal microprocessor model using Isabelle/HOL and HOL-TestGen to validate instruction-set conformance on real hardware. Test Program Generation for a Microprocessor: A Case Study