Skip to Main content Skip to Navigation
New interface
Conference papers

Test Program Generation for a Microprocessor -- A Case-Study

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01765545
Contributor : Burkhart Wolff Connect in order to contact the contributor
Submitted on : Thursday, April 12, 2018 - 10:16:22 PM
Last modification on : Friday, October 7, 2022 - 3:46:17 AM

Identifiers

  • HAL Id : hal-01765545, version 1

Citation

Achim D. Brucker, Abderrahmane Feliachi, Nemouchi Yakoub, Burkhart Wolff. Test Program Generation for a Microprocessor -- A Case-Study. Proceedings of the 6th Intl. Conf. on Test and Proof (TAP '13), 2013, Budapest, France. ⟨hal-01765545⟩

Share

Metrics

Record views

80