Program Learning Using Static Information and Dynamic Program Execution Slices | IEEE Conference Publication | IEEE Xplore