Jani Pesonen, Mika Katara, Tommi Mikkonen. Production-Testing of Embedded Systems with Aspects. 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 90-102, Springer, 2005. [doi]
Abstract is missing.