Generating test programs to cover pipeline interactions - Thanh, N.D. (2013)
Proceedings - Design Automation Conference