Stem jinn$ (all stems)
1 papers:
PLDI-2010-LeeWHGM #debugging #detection #interface #named- Jinn: synthesizing dynamic bug detectors for foreign language interfaces (BL, BW, MH, RG, KSM), pp. 36–49.
PLDI-2010-LeeWHGM #debugging #detection #interface #named