Maryna Kaminska, Roman Prikhodchenko, Artem Kubirya, Pavel Mocar. Testability analysis method for hardware and software based on assertion libraries. In 2008 East-West Design & Test Symposium, EWDTS 2008, Lviv, Ukraine, October 9-12, 2008. pages 163-167, IEEE, 2008. [doi]
Abstract is missing.