A Novel Approach for Static Slicing of Inter-Procedural Programs | IEEE Conference Publication | IEEE Xplore