Patent

Aharon, A., Malka, J. and Lichtenstein, Y. (1999). Test Program Generator. Aharon, A., Malka, Y., Lichtenstein, Y.

Aharon, A., Fournier, L., Gluska, A., Lichtenstein, Y. and Malka, J. (1998). Method for Measuring Architectural Test Coverage for Design Verification. Aharon, A., Fournier, L., Gluska, A., Lichtenstein, Y. & Malka, J.