Automatic test-generation for predicatesAmit ParadkarIbm T. J. Watsonet al.1996IEEE Transactions on Reliability