RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection.
Published in CCS, 2020
Download here
Publications
RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection.
Published in CCS, 2020
Download here