Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek. Test Program Generation for Functional Verification of PowerPC Processors in IBM. In DAC. pages 279-285, 1995. [doi]
@inproceedings{AharonGLLMMMS95,
title = {Test Program Generation for Functional Verification of PowerPC Processors in IBM},
author = {Aharon Aharon and Dave Goodman and Moshe Levinger and Yossi Lichtenstein and Yossi Malka and Charlotte Metzger and Moshe Molcho and Gil Shurek},
year = {1995},
doi = {10.1145/217474.217542},
url = {http://doi.acm.org/10.1145/217474.217542},
tags = {program verification, functional programming, testing},
researchr = {https://researchr.org/publication/AharonGLLMMMS95},
cites = {0},
citedby = {0},
pages = {279-285},
booktitle = {DAC},
}