SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing | IEEE Conference Publication | IEEE Xplore