An efficient method for generating exhaustive test sets

This publication has 29 references indexed in Scilit:

• CATAPULT: concurrent automatic testing allowing parallelization and using limited topology
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Extracting local don't cares for network optimization
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• TSUNAMI: a path oriented scheme for algebraic test generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• EST: the new frontier in automatic test-pattern generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Boolean division and factorization using binary decision diagrams
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Test pattern generation for sequential MOS circuits by symbolic fault simulation
  Published by Association for Computing Machinery (ACM) ,1989
• SOCRATES: a highly efficient automatic test pattern generation system
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
• On the Acceleration of Test Generation Algorithms
  IEEE Transactions on Computers, 1983
• Analyzing Errors with the Boolean Difference
  IEEE Transactions on Computers, 1968
• On the Necessity to Examine D-Chains in Diagnostic Test Generation—An Example [Letter to the Editor]
  IBM Journal of Research and Development, 1967