Jinn: synthesizing dynamic bug detectors for foreign language interfaces.

Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley

Browse the full PLDI paper archive.