Test Programming by Program Composition and Symbolic Simulation (opens in new tab)

Test Programming by Program Composition and Symbolic Simulation Shirley, Mark H. Classical test generation techniques rely on search through gate-level circuit descriptions, which results in long runtimes. In some instances, classical techniques cannot be used because they would take longer than the lifetime of the product to generate tests which are needed when the first devices come off the assembly line. Despite these difficulties, human experts often succeed in writing test programs for v...