An Interval-Based Model for Detecting Software Defect Using Alias Analysis | IEEE Conference Publication | IEEE Xplore