Jinn: synthesizing dynamic bug detectors for foreign language interfaces (0)

by B Lee, B Wiedermann, M Hirzel, R Grimm, K S McKinley
Venue:PLDI