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

In the paper metadata, Achim D. Brucker is listed with the affiliation "SAP AG, Vincenz-Priessnitz-Str. 1, 76131 Karlsruhe, Germany" and the email address "achim.brucker@sap.com".[C1]

Technical context of the cited work

The cited publication presents a case study on generating test programs from a formal model of a microprocessor. The work uses Isabelle/HOL and HOL-TestGen to synthesize conformance test programs that are run against real hardware in the loop, with the goal of validating that a microprocessor implements its specified instruction set correctly.[C2]

Associated people

• Achim D. Brucker — listed as affiliated with SAP AG in the cited publication.[C1]