Detecting Interpreter Bugs via Filling Function Calls in Skeletal Program Enumeration | IEEE Conference Publication | IEEE Xplore