Sign in

Jinn: synthesizing dynamic bug detectors for foreign language interfaces.

Byeongcheol LeeBen WiedermannMartin HirzelRobert GrimmKathryn S. McKinley
Published in: PLDI (2010)
Keyphrases