Thanh Nga Dang Abhik Roychoudhury Tulika Mitra Prabhat Mishra Generating test programs to cover pipeline interactions. 142-147 2009 DAC http://doi.acm.org/10.1145/1629911.1629953 conf/dac/2009 db/conf/dac/dac2009.html#DangRMM09