Overview

Yakoub Nemouchi is a researcher named as a co-author of the paper "Test Program Generation for a Microprocessor: A Case-Study" together with Achim D. Brucker, Abderrahmane Feliachi, and Burkhart Wolff. [C1]

Affiliation

In the paper author block, Nemouchi is associated with Univ. Paris-Sud, Laboratoire LRI, UMR8623, Orsay, F-91405, France; the same affiliation block also lists CNRS, Orsay, F-91405, France and gives the contact pattern {feliachi, nemouchi, wolff}@lri.fr. [C2]

Research contribution represented in the evidence

The cited publication presents a case study on generating test programs from a formal microprocessor model. The generated programs are intended to validate whether a microprocessor correctly implements a specified instruction set. [C3]

The work is described as using an existing Isabelle/HOL model and HOL-TestGen, a model-based testing environment extending Isabelle/HOL. The paper reports several conformance test scenarios in which processor models were used to synthesize test programs run against real hardware in the loop. [C4]

Publication context

The paper appears in the TAP 2013 proceedings edited by M. Veanes and L. Viganò, in LNCS volume 7942, pages 76–95, and is identified as a 2013 Springer-Verlag publication in the provided source. [C5]