Generating Test Programs to Cover Pipeline Interactions. - Thanh Nga Dang; Roychoudhury, Abhik; Mitra, Tulika; Mishra, Prabhat (DAC: Annual ACM/IEEE Design Automation Conference, 2009)