I would like to thank Dr. Simanta Mitra at Iowa State University for many useful discussions on program slicing, and my partner, Daekyoon Kim, for his great effort on the original version of this report, as of our semester project of Com Sci 417 - Software Testing and Validation.