Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante. High-level test generation for hardware testing and software validation. In Eighth IEEE International High-Level Design Validation and Test Workshop 2003, San Francisco, CA, USA, November 12-14, 2003. pages 143-148, IEEE Computer Society, 2003. [doi]
Abstract is missing.