Software testing: a graph theoretic approach. (20th April 2007)