The Case for Cooperation between White-Box and Black-Box Test Tools