Chương trình theo www.cs.unc.edu/Research/assist/bats/index.html