Jinn: Synthesizing a dynamic bug detector for foreign language interfaces (2010)

by B LEE, M HIRZEL, R GRIMM, B WIEDERMANN, K S MCKINLEY
Venue:In Proceedings of the ACM Conference on Programming Language Design and Implementation