Generating test programs to cover pipeline interactions. - Thanh Nga Dang; Abhik Roychoudhury; Tulika Mitra; Prabhat Mishra 001 (DAC, 2009)