Jinn : synthesizing dynamic bug detectors for foreign language interfaces

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Jinn : synthesizing dynamic bug detectors for foreign language interfaces
Συγγραφείς: Lee, Byeongcheol, Wiedermann, Ben, Hirzel, Martin, Grimm, Robert, McKinley, Kathryn S.
Πηγή: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation. :36-49
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1806596.1806601
Βάση Δεδομένων: ACM Full-Text Collection