Symbolic functional test generation with guaranteed low-level fault detection

• Authors:

• Mark Charles Hansen

• Affiliations:

• The Univ. of Michigan

• Venue:
• Symbolic functional test generation with guaranteed low-level fault detection
• Year:
• 1996