Generating test programs to cover pipeline interactions.

Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra

Browse the full DAC paper archive.