Boolean algebraic test generation using a distributed system

This publication has 10 references indexed in Scilit:

• ON THE ACCELERATION OF TEST GENERATION ALGORlTHMS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• TSUNAMI: a path oriented scheme for algebraic test generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Efficient implementation of a BDD package
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Sequential circuit test generation on a distributed system
  Published by Association for Computing Machinery (ACM) ,1993
• Portable parallel test generation for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Parallel test generation for sequential circuits on general-purpose multiprocessors
  Published by Association for Computing Machinery (ACM) ,1991
• Performance trade-offs in a parallel test generation/fault simulation environment
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
• Improved deterministic test pattern generation with applications to redundancy identification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• A parallel branch and bound algorithm for test generation
  Published by Association for Computing Machinery (ACM) ,1989
• An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
  IEEE Transactions on Computers, 1981