Using Model Checking to Generate Tests from Specifications

Created November 01, 1998, Updated February 11, 2009