Early Filtering of Polluting Method Calls for Mining Temporal Specifications | IEEE Conference Publication | IEEE Xplore