Improved error reporting for software that uses black box components (2007)

by C Rossbach J Ha, I Roy J Davis, D Porter H Ramadan, D Chen, E Witchel
Venue:In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI