1. Automated Software Testing in the Absence of SpecificationsTao Xie North Carolina State University Department of Computer Science Nov 2005http://www.csc.ncsu.edu/faculty/xie/…