Abderrahmane Feliachi
Abderrahmane Feliachi is named as a co-author of the technical paper Test Program Generation for a Microprocessor: A Case-Study, alongside Achim D. Brucker, Yakoub Nemouchi, and Burkhart Wolff. [C1]
Affiliation
In the paper's author listing, Feliachi is associated with affiliation 2: "Univ. Paris-Sud, Laboratoire LRI, UMR8623, Orsay, F-91405, France" and "CNRS, Orsay, F-91405, France." The same listing gives the shared LRI email pattern {feliachi, nemouchi, wolff}@lri.fr. [C2]
Publication context
The cited paper appears as an author version of a work in TAP 2013, LNCS 7942, pages 76–95, published by Springer-Verlag in 2013. [C3]
Technical contribution represented by the co-authored paper
The paper addresses certification-related testing for hardware platforms by presenting a case study that uses a formal model of a microprocessor to generate test programs. According to the abstract, these generated programs are intended to validate that a microprocessor implements the specified instruction set correctly. [C4]
The case study is built on an existing model developed in Isabelle/HOL together with an operating system, and it uses HOL-TestGen, described in the paper as a model-based testing environment extending Isabelle/HOL. The authors report several conformance test scenarios in which processor models were used to synthesize test programs that were run against real hardware in the loop. [C5]
Related entities
- Test Program Generation for a Microprocessor: A Case-Study — co-authored publication. [C1]
- Univ. Paris-Sud, Laboratoire LRI — listed institutional affiliation. [C2]