Yakoub Nemouchi
PersonYakoub Nemouchi is listed as a co-author of the 2013 paper "Test Program Generation for a Microprocessor: A Case-Study" and is affiliated in that publication with Univ. Paris-Sud, Laboratoire LRI, UMR8623, Orsay, France, with CNRS also listed for the same author group.
First seen 5/25/2026
Last seen 6/8/2026
Evidence 3 chunks
Wiki v1
WIKI
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
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connectionsThe paper is authored by Yakoub Nemouchi.
Yakoub Nemouchi is affiliated with Université Paris-Sud.
CITATIONS
5 sources5 citations — click to expand
[1] C1: Yakoub Nemouchi is listed as a co-author of "Test Program Generation for a Microprocessor: A Case-Study" with Achim D. Brucker, Abderrahmane Feliachi, and Burkhart Wolff. Test Program Generation for a Microprocessor: A Case Study
[2] C2: The publication associates Nemouchi with Univ. Paris-Sud, Laboratoire LRI, UMR8623, Orsay, France, and lists CNRS in the same affiliation block. Test Program Generation for a Microprocessor: A Case Study
[3] C3: The paper presents a case study using a formal microprocessor model to generate test programs that validate correct implementation of a specified instruction set. Test Program Generation for a Microprocessor: A Case Study
[4] C4: The paper uses an Isabelle/HOL model and HOL-TestGen, and reports conformance test scenarios with synthesized test programs run against real hardware in the loop. Test Program Generation for a Microprocessor: A Case Study
[5] C5: The publication context is TAP 2013, LNCS 7942, pages 76–95, 2013, with Springer-Verlag indicated in the source. Test Program Generation for a Microprocessor: A Case Study