Shady Copty, Itai Jaeger, Yoav Katz. Path-Based System Level Stimuli Generation. In Shmuel Ur, Eyal Bin, Yaron Wolfsthal, editors, Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Volume 3875 of Lecture Notes in Computer Science, pages 1-13, Springer, 2005. [doi]
Abstract is missing.