Achim D. Brucker

Person

Achim D. Brucker is identified in the 2013 paper "Test Program Generation for a Microprocessor: A Case-Study" as one of its authors and as affiliated with SAP AG in Karlsruhe, Germany. The paper presents a case study on generating microprocessor test programs from a formal model using Isabelle/HOL and HOL-TestGen.

First seen 5/25/2026

Last seen 6/8/2026

Evidence 3 chunks

Wiki v1

WIKI

Overview

Achim D. Brucker is a co-author of the technical paper "Test Program Generation for a Microprocessor: A Case-Study". In the paper's author listing, Brucker is affiliated with SAP AG, located at Vincenz-Priessnitz-Str. 1, 76131 Karlsruhe, Germany, and is listed with the email address achim.brucker@sap.com.

Authored work

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections

Test Program Generation for a Microprocessor: A Case-Study ← authored by 100% 2e

The paper is authored by Achim D. Brucker.

SAP AG part of → 100% 1e

Achim D. Brucker is affiliated with SAP AG.

LINKED ENTITIES

2 links

Test Program Generation for a Microprocessor: A Case-Study AUTHORED Extracted graph relationship

SAP AG AFFILIATED_WITH Extracted graph relationship

CITATIONS

5 sources

5 citations — click to expand

[1] Achim D. Brucker is listed as an author of "Test Program Generation for a Microprocessor: A Case-Study". Test Program Generation for a Microprocessor: A Case Study

[2] Achim D. Brucker is affiliated with SAP AG at Vincenz-Priessnitz-Str. 1, 76131 Karlsruhe, Germany, in the paper's author listing. Test Program Generation for a Microprocessor: A Case Study

[3] The paper presents a case study using a formal model of a microprocessor to generate test programs that validate correct implementation of the specified instruction set. Test Program Generation for a Microprocessor: A Case Study

[4] The case study builds on an existing Isabelle/HOL model and uses HOL-TestGen, a model-based testing environment extending Isabelle/HOL. Test Program Generation for a Microprocessor: A Case Study

[5] The paper states that reaching Common Criteria EAL 7 requires formal verification of specification properties and thorough implementation testing, including hardware-platform tests. Test Program Generation for a Microprocessor: A Case Study